Jump to Content
Jump to Main Navigation
Home
About us
Subject Areas
Contacts
Advanced Search
Help
Sciendo
degruyter.com
Sign In
Create Profile
English
Deutsch
Home
About us
Subject Areas
Contacts
Advanced Search
Help
Sciendo
degruyter.com
Sign In
Create Profile
English
Deutsch
Volume 28 (2020): Issue 2 (Jul 2020)
in
Formalized Mathematics
Renamings and a Condition-free Formalization of Kronecker’s Construction
By:
Christoph Schwarzweller
Pages: 129–135 (7 total)
Refined Finiteness and Degree Properties in Graphs
By:
Sebastian Koch
Pages: 137–154 (18 total)
About Graph Unions and Intersections
By:
Sebastian Koch
Pages: 155–171 (17 total)
Unification of Graphs and Relations in Mizar
By:
Sebastian Koch
Pages: 173–186 (14 total)
Partial Correctness of a Fibonacci Algorithm
By:
Artur Korniłowicz
Pages: 187–196 (10 total)
Multiplication-Related Classes of Complex Numbers
By:
Rafał Ziobro
Pages: 197–210 (14 total)
Grothendieck Universes
By:
Karol Pąk
Pages: 211–215 (5 total)
Formalization of Quasilattices
By:
Dominik Kulesza
and
Adam Grabowski
Pages: 217–225 (9 total)
OPEN ACCESS
Journal + Issues
Formalized Mathematics
Journal Information
Online ISSN:
1898-9934
First Published:
09 Jun 2008
Language:
English
Publisher:
Sciendo
Search
Search
Issue
Journal
Find Article
[18.215.185.97]
18.215.185.97
