![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.