Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 32 (2024): Issue 1 (August 2024)
Volume 32 (2024): Issue 1 (Aug 2024)
Formalized Mathematics
Open Access
Download
Download
Journal details
Journal details
For authors
Table of contents
Documents
Previous issue
Formalized Mathematics
Next issue
All volumes and issues in this journal
Volume 33 (2025)
Volume 32 (2024)
Issue 1 (August 2024)
Volume 31 (2023)
Volume 30 (2022)
Volume 29 (2021)
Volume 28 (2020)
Volume 27 (2019)
Volume 26 (2018)
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Load more
24 articles
Open Access
|
Aug 2024
Abstract
Elementary Number Theory Problems. Part XIII
Artur Korniłowicz
and
Rafał Ziobro
Open Access
|
Aug 2024
Abstract
Integral of Continuous Three Variable Functions
Noboru Endou
and
Yasunari Shidama
Open Access
|
Aug 2024
Abstract
Separable Polynomials and Separable Extensions
Christoph Schwarzweller
Open Access
|
Nov 2024
Abstract
Elementary Number Theory Problems. Part XIV – Diophantine Equations
Artur Korniłowicz
Open Access
|
Nov 2024
Abstract
Inverse Element for Surreal Number
Karol Pąk
Open Access
|
Dec 2024
Abstract
U-Small and U-Locally Small Categories
Roland Coghetto
Open Access
|
Dec 2024
Abstract
Elementary Number Theory Problems. Part XV – Diophantine Equations
Karol Pąk
and
Artur Korniłowicz
Open Access
|
Dec 2024
Abstract
Formal Proof of Transcendence of the Number e. Part I
Yasushige Watase
Open Access
|
Dec 2024
Abstract
Formal Proof of Transcendence of the Number e. Part II
Yasushige Watase
Open Access
|
Dec 2024
Abstract
Formalization of Orthogonal Complements of Normed Spaces
Hiroyuki Okazaki
1
2
3
eISSN:
1898-9934
|
ISSN:
1426-2630
|
Language:
English
|
Publication frequency:
1 time per year
Published by:
University of Bialystok
In partnership with:
Paradigm Publishing Services
Related subjects:
Mathematics
,
General mathematics
,
Computer sciences
,
Computer sciences, other
Journal RSS Feed