


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













