


default search action
Formalized Mathematics, Volume 29
Volume 29, Number 1, April 2021
- Yasushige Watase:

Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation. 1-8 - Kazuhisa Nakasho, Yuichi Futa:

Inverse Function Theorem. Part I1. 9-19 - Sebastian Koch:

Miscellaneous Graph Preliminaries. Part I. 21-38 - Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller:

Algebraic Extensions. 39-47 - Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama:

Functional Space Consisted by Continuous Functions on Topological Space. 49-62 - Artur Kornilowicz

, Dariusz Surowik:
Elementary Number Theory Problems. Part II. 63-68
Volume 29, Number 2, July 2021
- Roland Coghetto

:
Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en mathématiques et sciences avec assistants de preuve" ASBL (non-profit organization). Enterprise number: 0777.779.751. Belgium. 69-76 - Damian Sawicki, Adam Grabowski

:
On Weakly Associative Lattices and Near Lattices. 77-85 - Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama:

Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. 87-94 - Yasushige Watase:

On Primary Ideals. Part I. 95-101 - Takashi Mitsuishi:

Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear FunctionsThis work has been partially supported in 2019-2020 by the domestic research grant of University of Marketing and Distribution Sciences in Kobe (Japan). 103-115
Volume 29, Number 3, September 2021
- Kazuhisa Nakasho

, Hiroyuki Okazaki, Yasunari Shidama:
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. 117-127 - Christoph Schwarzweller

:
Splitting Fields. 129-139 - Hiroshi Fujiwara, Ryota Adachi, Hiroaki Yamamoto:

Algorithm NextFit for the Bin Packing ProblemThis work was supported by JSPS KAKENHI Grant Numbers JP20K11689, JP20K11676, JP16K00033, JP17K00013, JP20K11808, and JP17K00183. 141-151
Volume 29, Number 4, December 2021
- Wojciech Kusmierowski, Adam Grabowski:

Automatization of Ternary Boolean Algebras. 153-159 - Roland Coghetto

:
Duality Notions in Real Projective Plane. 161-173 - Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama:

Finite Dimensional Real Normed Spaces are Proper Metric Spaces. 175-184 - Noboru Endou:

Relationship between the Riemann and Lebesgue Integrals. 185-199 - Noboru Endou:

Improper Integral. Part I. 201-220 - Karol Pak

:
Prime Representing Polynomial. 221-228 - Christoph Schwarzweller, Agnieszka Rowinska-Schwarzweller:

Quadratic Extensions. 229-240 - Hiroyuki Okazaki, Kazuhisa Nakasho:

The 3-Fold Product Space of Real Normed Spaces and its Properties. 241-248 - Sebastian Koch:

About Graph Sums. 249-278 - Noboru Endou:

Improper Integral. Part II. 279-294

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













