Formalized Mathematics's Cover Image
Accès libre

Formalized Mathematics

Volume 28 (2020): Issue 2 (July 2020)

Télécharger la couverture
L'édition précédente
La prochaine édition
8 Articles
Accès libre | 09 janv. 2021
Renamings and a Condition-free Formalization of Kronecker’s Construction
Christoph Schwarzweller
Christoph Schwarzweller
  
Accès libre | 09 janv. 2021
Refined Finiteness and Degree Properties in Graphs
Sebastian Koch
Sebastian Koch
  
Accès libre | 09 janv. 2021
About Graph Unions and Intersections
Sebastian Koch
Sebastian Koch
  
Accès libre | 09 janv. 2021
Unification of Graphs and Relations in Mizar
Sebastian Koch
Sebastian Koch
  
Accès libre | 09 janv. 2021
Partial Correctness of a Fibonacci Algorithm
Artur Korniłowicz
Artur Korniłowicz
  
Accès libre | 09 janv. 2021
Multiplication-Related Classes of Complex Numbers
Rafał Ziobro
Rafał Ziobro
  
Accès libre | 09 janv. 2021
Grothendieck Universes
Karol Pąk
Karol Pąk
  
Accès libre | 09 janv. 2021
Formalization of Quasilattices
Dominik Kulesza
Dominik Kulesza
 et 
Adam Grabowski
Adam Grabowski
  

Chercher

Tous les volumes et éditions dans cette revue

eISSN:
1898-9934
ISSN:
1426-2630
Langue:
Anglais
Périodicité:
Volume Open
Sujets de la revue:
Informatique, autres, Mathématiques, Mathématiques générales
RSS Feed de la revue