( en | de | ru )

 

Disambiguation of "Naumowicz, Adam"

Author of the publication

copydeleteadd this publication to your clipboard
All Liouville Numbers are Transcendental

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adam Lande

Karl Adam

Adam Sendel

Christoph Adam

Adam Zureck

 

Other publications of authors with the same name

Mizar: State-of-the-art and Beyond., , , , , , , and . CICM, volume 9150 of Lecture Notes in Computer Science, page 261-279. Springer, (2015)System Description: XSL-Based Translator of Mizar to LaTeX., , and . CICM, volume 11006 of Lecture Notes in Computer Science, page 1-6. Springer, (2018)All Liouville Numbers are Transcendental, , and . Formalized Mathematics, (2017)Elementary Number Theory Problems. Part V., and . Formaliz. Math., 30 (3): 229-234 (2022)An Experiment on Mizar Adjectives with Extra Visible Arguments.. SYNASC, page 97-100. IEEE, (2020)Elementary Number Theory Problems. Part I.. Formaliz. Math., 28 (1): 115-120 (2020)Niven's Theorem., and . Formalized Mathematics, 24 (4): 301-308 (2016)Dataset Description: Formalization of Elementary Number Theory in Mizar.. CICM, volume 12236 of Lecture Notes in Computer Science, page 303-308. Springer, (2020)SAT-Enhanced Mizar Proof Checking.. CICM, volume 8543 of Lecture Notes in Computer Science, page 449-452. Springer, (2014)Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics.. CICM Workshops, volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)