![](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 25
Volume 25, Number 1, March 2017
- Noboru Endou:
Fubini's Theorem on Measure. 1 - Artur Kornilowicz
:
Differentiability of Polynomials over Reals. 31 - Adam Grabowski
, Artur Kornilowicz
:
Introduction to Liouville Numbers. 39 - Artur Kornilowicz
, Adam Naumowicz
, Adam Grabowski
:
All Liouville Numbers are Transcendental. 49 - Roland Coghetto
:
Group of Homography in Real Projective Plane. 55 - Christoph Schwarzweller:
Ordered Rings and Fields. 63 - Yuichi Futa, Yasunari Shidama:
Embedded Lattice and Properties of Gram Matrix. 73
Volume 25, Number 2, July 2017
- Artur Kornilowicz
, Karol Pak
:
Vieta's Formula about the Sum of Roots of Polynomials. 87-92 - Adam Grabowski
:
Basic Formal Properties of Triangular Norms and Conorms. 93-100 - Peter Jaeger:
Introduction to Stopping Time in Stochastic Finance Theory. 101-105 - Roland Coghetto
:
Pascal's Theorem in Real Projective Plane. 107-119 - Sebastian Koch
:
About Quotient Orders and Ordering Sequences. 121-139 - Artur Kornilowicz
, Karol Pak
:
Basel Problem - Preliminaries. 141-147 - Karol Pak
, Artur Kornilowicz
:
Basel Problem. 149-155 - Yuichi Futa, Yasunari Shidama:
Dual Lattice of ℤ-module Lattice. 157-169
Volume 25, Number 3, October 2017
- Yuichi Futa, Yasunari Shidama:
Isomorphism Theorem on Vector Spaces over a Ring. 171-178 - Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
F. Riesz Theorem. 179-184 - Christoph Schwarzweller:
On Roots of Polynomials and Algebraically Closed Fields. 185-195 - Marcin Acewicz, Karol Pak
:
Pell's Equation. 197-204 - Ievgen Ivanov, Mykola S. Nikitchenko, Andrii Kryvolap, Artur Kornilowicz
:
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. 205-216 - Roland Coghetto
:
Gauge Integral. 217-225 - Noboru Endou:
Integral of Non Positive Functions. 227-240 - Adam Grabowski
:
Formal Introduction to Fuzzy Implications. 241-248
Volume 25, Number 4, December 2017
- Christoph Schwarzweller:
Formally Real Fields. 249-259 - Peter Jaeger:
Introduction to Stopping Time in Stochastic Finance Theory. Part II. 261-268 - Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Implicit Function Theorem. Part I. 269-281 - Yasushige Watase:
Introduction to Diophantine Approximation. Part II. 283-288 - Roland Coghetto
, Adam Grabowski
:
Tarski Geometry Axioms. Part III. 289-313 - Karol Pak
:
The Matiyasevich Theorem. Preliminaries. 315-322
![](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.