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.