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
Introduction to Liouville Numbers. 39 - Artur Kornilowicz
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
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
Basel Problem - Preliminaries. 141-147 - Karol Pak
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
Tarski Geometry Axioms. Part III. 289-313 - Karol Pak
The Matiyasevich Theorem. Preliminaries. 315-322
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.
last updated on 2024-12-16 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: