default search action
Formalized Mathematics, Volume 24
Volume 24, Number 1, March 2016
- Peter Jaeger:
Modelling Real World Using Stochastic Processes and Filtration. 1-16 - Roland Coghetto:
Circumcenter, Circumcircle and Centroid of a Triangle. 17-26 - Roland Coghetto:
Altitude, Orthocenter of a Triangle and Triangulation. 27-36 - Yuichi Futa, Yasunari Shidama:
Divisible ℤ-modules. 37-47 - Yuichi Futa, Yasunari Shidama:
Lattice of ℤ-module. 49-68 - Noboru Endou:
Product Pre-Measure. 69-79 - Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama:
Conservation Rules of Direct Sum Decomposition of Groups. 81-94
Volume 24, Number 2, June 2016
- Grzegorz Bancerek:
On Multiset Ordering. 95-106 - Roland Coghetto:
Cousin's Lemma. 107-119 - Roland Coghetto:
Chebyshev Distance. 121-141 - Adam Grabowski:
Binary Relations-based Rough Sets - an Automated Approach. 143-155 - Roland Coghetto, Adam Grabowski:
Tarski Geometry Axioms - Part II. 157-166
Volume 24, Number 3, September 2016
- Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
Compactness in Metric Spaces. 167-172 - Roland Coghetto:
Double Sequences and Iterated Limits in Regular Space. 173-186 - Rafal Ziobro:
Prime Factorization of Sums and Differences of Two Like Powers. 187-198 - Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
Riemann-Stieltjes Integral. 199-204 - Roland Coghetto:
Quasi-uniform Space. 205-214 - Roland Coghetto:
Uniform Space. 215-226 - Christoph Schwarzweller, Artur Kornilowicz:
Some Algebraic Properties of Polynomial Rings. 227-237
Volume 24, Number 4, December 2016
- Roland Coghetto:
Homography in ℝℙ. 239-251 - Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
The Basic Existence Theorem of Riemann-Stieltjes Integral. 253-259 - Rafal Ziobro:
On Subnomials. 261-273 - Karol Pak:
Leibniz Series for π. 275-280 - Mariusz Giero:
The Axiomatization of Propositional Logic. 281-290 - Yasushige Watase:
Algebraic Numbers. 291-299 - Artur Kornilowicz, Adam Naumowicz:
Niven's Theorem. 301-308
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.