Formalized Mathematics's Cover Image
Accès libre

Formalized Mathematics

Volume 25 (2017): Issue 2 (July 2017)

Télécharger la couverture
L'édition précédente
La prochaine édition
8 Articles
Accès libre | 23 sept. 2017
Vieta’s Formula about the Sum of Roots of Polynomials
Artur Korniłowicz
Artur Korniłowicz
 et 
Karol Pąk
Karol Pąk
  
Accès libre | 23 sept. 2017
Basic Formal Properties of Triangular Norms and Conorms
Adam Grabowski
Adam Grabowski
  
Accès libre | 23 sept. 2017
Introduction to Stopping Time in Stochastic Finance Theory
Peter Jaeger
Peter Jaeger
  
Accès libre | 23 sept. 2017
Pascal’s Theorem in Real Projective Plane
Roland Coghetto
Roland Coghetto
  
Accès libre | 23 sept. 2017
About Quotient Orders and Ordering Sequences
Sebastian Koch
Sebastian Koch
  
Accès libre | 23 sept. 2017
Basel Problem – Preliminaries
Artur Korniłowicz
Artur Korniłowicz
 et 
Karol Pąk
Karol Pąk
  
Accès libre | 23 sept. 2017
Basel Problem
Karol Pąk
Karol Pąk
 et 
Artur Korniłowicz
Artur Korniłowicz
  
Accès libre | 23 sept. 2017
Dual Lattice of ℤ-module Lattice
Yuichi Futa
Yuichi Futa
 et 
Yasunari Shidama
Yasunari Shidama
  

Chercher

Tous les volumes et éditions dans cette revue

eISSN:
1898-9934
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Computer Sciences, other, Mathematics, General Mathematics
RSS Feed de la revue