Login
Register
Reset Password
Publish & Distribute
Publishing Solutions
Distribution Solutions
Subjects
Architecture and Design
Arts
Business and Economics
Chemistry
Classical and Ancient Near Eastern Studies
Computer Sciences
Cultural Studies
Engineering
General Interest
Geosciences
History
Industrial Chemistry
Jewish Studies
Law
Library and Information Science, Book Studies
Life Sciences
Linguistics and Semiotics
Literary Studies
Materials Sciences
Mathematics
Medicine
Music
Pharmacy
Philosophy
Physics
Social Sciences
Sports and Recreation
Theology and Religion
Publications
Journals
Books
Proceedings
Publishers
Blog
Contact
Search
EUR
USD
GBP
English
English
Deutsch
Polski
Español
Français
Italiano
Cart
Home
Journals
Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
Open Access
Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
Share
Download Cover
Download
Previous Issue
Next Issue
27 Articles
Sort By
Open Access | Sep 26, 2023
On Bag of 1. Part I
Yasushige Watase
Yasushige Watase
Open Access | Sep 26, 2023
Differentiation on Interval
Noboru Endou
Noboru Endou
Open Access | Sep 26, 2023
Elementary Number Theory Problems. Part VII
Artur Korniłowicz
Artur Korniłowicz
Open Access | Sep 26, 2023
Introduction to Graph Enumerations
Sebastian Koch
Sebastian Koch
Open Access | Sep 26, 2023
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Hiroyuki Okazaki
Hiroyuki Okazaki
Open Access | Sep 26, 2023
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Takashi Mitsuishi
Takashi Mitsuishi
Open Access | Oct 04, 2023
Introduction to Algebraic Geometry
Yasushige Watase
Yasushige Watase
Open Access | Oct 04, 2023
About Regular Graphs
Sebastian Koch
Sebastian Koch
Open Access | Oct 26, 2023
Elementary Number Theory Problems. Part VIII
Artur Korniłowicz
Artur Korniłowicz
Open Access | Oct 26, 2023
Internal Direct Products and the Universal Property of Direct Product Groups
Alexander M. Nelson
Alexander M. Nelson
Open Access | Nov 01, 2023
Normal Extensions
Christoph Schwarzweller
Christoph Schwarzweller
Open Access | Nov 01, 2023
Antiderivatives and Integration
Noboru Endou
Noboru Endou
Open Access | Dec 23, 2023
Embedding Principle for Rings and Abelian Groups
Yasushige Watase
Yasushige Watase
Open Access | Dec 26, 2023
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Adam Grabowski
Adam Grabowski
Open Access | Dec 26, 2023
Elementary Number Theory Problems. Part IX
Artur Korniłowicz
Artur Korniłowicz
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part X – Diophantine Equations
Artur Korniłowicz
Artur Korniłowicz
Open Access | Dec 31, 2023
Multidimensional Measure Space and Integration
Noboru Endou
Noboru Endou
and
Yasunari Shidama
Yasunari Shidama
Open Access | Dec 31, 2023
Conway Numbers – Formal Introduction
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
The Ring of Conway Numbers in Mizar
Karol Pąk
Karol Pąk
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part XI
Adam Naumowicz
Adam Naumowicz
Open Access | Dec 31, 2023
Elementary Number Theory Problems. Part XII – Primes in Arithmetic Progression
Adam Grabowski
Adam Grabowski
Open Access | Dec 31, 2023
Simple Extensions
Christoph Schwarzweller
Christoph Schwarzweller
and
Agnieszka Rowińska-Schwarzweller
Agnieszka Rowińska-Schwarzweller
Open Access | Dec 31, 2023
Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
Takashi Mitsuishi
Takashi Mitsuishi
Open Access | Dec 31, 2023
Integral of Continuous Functions of Two Variables
Noboru Endou
Noboru Endou
and
Yasunari Shidama
Yasunari Shidama
Open Access | Dec 31, 2023
Tarski Geometry Axioms. Part V – Half-planes and Planes
Roland Coghetto
Roland Coghetto
and
Adam Grabowski
Adam Grabowski
Open Access | Dec 31, 2023
Extensions of Orderings
Christoph Schwarzweller
Christoph Schwarzweller
Search
Journal
Volume
Issue
All Volumes and Issues in this Journal
AHEAD OF PRINT
Volume 31 (2023)
Issue 1 (September 2023)
Volume 30 (2022)
Issue 4 (December 2022)
Issue 3 (October 2022)
Issue 2 (July 2022)
Issue 1 (April 2022)
Volume 29 (2021)
Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 2021)
Volume 28 (2020)
Issue 4 (December 2020)
Issue 3 (October 2020)
Issue 2 (July 2020)
Issue 1 (April 2020)
Volume 27 (2019)
Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 2019)
Volume 26 (2018)
Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)
Volume 25 (2017)
Issue 4 (December 2017)
Issue 3 (October 2017)
Issue 2 (July 2017)
Issue 1 (March 2017)
Volume 24 (2016)
Issue 4 (December 2016)
Issue 3 (September 2016)
Issue 2 (June 2016)
Issue 1 (March 2016)
Volume 23 (2015)
Issue 4 (December 2015)
Issue 3 (September 2015)
Issue 2 (June 2015)
Issue 1 (March 2015)
Volume 22 (2014)
Issue 4 (December 2014)
Issue 3 (September 2014)
Issue 2 (June 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Issue 1 (March 2014)
Volume 21 (2013)
Issue 4 (December 2013)
Issue 3 (October 2013)
Issue 2 (June 2013)
Issue 1 (January 2013)
Volume 20 (2012)
Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)
Volume 19 (2011)
Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)
Volume 18 (2010)
Issue 4 (December 2010)
Issue 3 (September 2010)
Issue 2 (June 2010)
Issue 1 (March 2010)
Volume 17 (2009)
Issue 4 (December 2009)
Issue 3 (September 2009)
Issue 2 (June 2009)
Issue 1 (March 2009)
Volume 16 (2008)
Issue 4 (December 2008)
Issue 3 (September 2008)
Issue 2 (June 2008)
Issue 1 (March 2008)
Volume 15 (2007)
Issue 4 (December 2007)
Issue 3 (September 2007)
Issue 2 (June 2007)
Issue 1 (March 2007)
Volume 14 (2006)
Issue 4 (December 2006)
Issue 3 (September 2006)
Issue 2 (June 2006)
Issue 1 (March 2006)