( en | de | ru )

 

Disambiguierung von "Grabowski, Adam"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
All Liouville Numbers are Transcendental

, , und . Formalized Mathematics, (2017)
DOI: 10.1515/forma-2017-0004

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alice Grabowski

Heinrich Grabowski

Ottomar Grabowski

Burkhard Grabowski

Blazej Grabowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Tarski Geometry Axioms. Part III., und . Formalized Mathematics, 25 (4): 289-313 (2017)On the Lattice of Intervals and Rough Sets., und . Formalized Mathematics, 17 (1-4): 237-244 (2009)Prime Filters and Ideals in Distributive Lattices.. Formalized Mathematics, 21 (3): 213-221 (2013)Solving Two Problems in General Topology Via Types.. TYPES, Volume 3839 von Lecture Notes in Computer Science, Seite 138-153. Springer, (2004)Introduction to Liouville Numbers., und . Formalized Mathematics, 25 (1): 39 (2017)Formalizing Two Generalized Approximation Operators., und . Formalized Mathematics, 26 (2): 183-191 (2018)Sequences of Prime Reciprocals. Preliminaries.. Formalized Mathematics, 26 (1): 69-79 (2018)Basic Formal Properties of Triangular Norms and Conorms.. Formalized Mathematics, 25 (2): 93-100 (2017)Automated Discovery of Properties of Rough Sets.. Fundam. Informaticae, 128 (1-2): 65-79 (2013)Formalization of Quasilattices., und . Formaliz. Math., 28 (2): 217-225 (2020)