Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 31 (2023): Issue 1 (September 2023)
Volume 31 (2023): Issue 1 (Sep 2023)
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)
Volume 31 (2023)
Issue 1 (September 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
27 articles
Open Access
|
Sep 2023
Abstract
On Bag of 1. Part I
Yasushige Watase
Open Access
|
Sep 2023
Abstract
Differentiation on Interval
Noboru Endou
Open Access
|
Sep 2023
Abstract
Elementary Number Theory Problems. Part VII
Artur Korniłowicz
Open Access
|
Sep 2023
Abstract
Introduction to Graph Enumerations
Sebastian Koch
Open Access
|
Sep 2023
Abstract
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Hiroyuki Okazaki
Open Access
|
Sep 2023
Abstract
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Takashi Mitsuishi
Open Access
|
Oct 2023
Abstract
Introduction to Algebraic Geometry
Yasushige Watase
Open Access
|
Oct 2023
Abstract
About Regular Graphs
Sebastian Koch
Open Access
|
Oct 2023
Abstract
Elementary Number Theory Problems. Part VIII
Artur Korniłowicz
Open Access
|
Oct 2023
Abstract
Internal Direct Products and the Universal Property of Direct Product Groups
Alexander M. Nelson
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