Formaliz. Math.

Keyphrases

Publications

volume 31, number 1, 2023

volume 30, number 1, 2022

volume 30, number 2, 2022

volume 30, number 3, 2022

volume 30, number 4, 2022

Christoph Schwarzweller
Existence and Uniqueness of Algebraic Closures. Formaliz. Math. 30 (4) (2022)
Karol Pak
Prime Representing Polynomial with 10 Unknowns. Formaliz. Math. 30 (4) (2022)
Karol Pak
Prime Representing Polynomial with 10 Unknowns - Introduction. Part II. Formaliz. Math. 30 (4) (2022)
Hiroyuki Okazaki
Formalization of Orthogonal Decomposition for Hilbert Spaces. Formaliz. Math. 30 (4) (2022)

volume 29, number 1, 2021

Sebastian Koch
Miscellaneous Graph Preliminaries. Part I. Formaliz. Math. 29 (1) (2021)
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
Algebraic Extensions. Formaliz. Math. 29 (1) (2021)
Kazuhisa Nakasho, Yuichi Futa
Inverse Function Theorem. Part I1. Formaliz. Math. 29 (1) (2021)

volume 29, number 2, 2021

volume 29, number 3, 2021

volume 29, number 4, 2021

Noboru Endou
Improper Integral. Part I. Formaliz. Math. 29 (4) (2021)
Karol Pak
Prime Representing Polynomial. Formaliz. Math. 29 (4) (2021)
Noboru Endou
Improper Integral. Part II. Formaliz. Math. 29 (4) (2021)
Noboru Endou
Relationship between the Riemann and Lebesgue Integrals. Formaliz. Math. 29 (4) (2021)
Wojciech Kusmierowski, Adam Grabowski
Automatization of Ternary Boolean Algebras. Formaliz. Math. 29 (4) (2021)
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29 (4) (2021)
Roland Coghetto
Duality Notions in Real Projective Plane. Formaliz. Math. 29 (4) (2021)
Sebastian Koch
About Graph Sums. Formaliz. Math. 29 (4) (2021)
Hiroyuki Okazaki, Kazuhisa Nakasho
The 3-Fold Product Space of Real Normed Spaces and its Properties. Formaliz. Math. 29 (4) (2021)
Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller
Quadratic Extensions. Formaliz. Math. 29 (4) (2021)