DOIAbstract
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work
This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verificati...
"The study of the history of mathematics 2018". September 18-21, 2018. edited by Shigeru Jochi. The ...
This note presents an introduction to the Mizar system, followed by a brief comparison between Mizar...
In the article, we continue [7] the formalization of the work devoted to Tarski’s geometry – the boo...
In the article, we continue the formalization of the work devoted to Tarski’s geometry - the book “M...
In our earlier article [12], the first part of axioms of geometry proposed by Alfred Tarski [14] was...
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geom...
International audienceThis paper describes the mechanization of the proofs of the first height chapt...
International audienceThis paper describes the formalization of the arithmetization of Euclidean geo...
The foundation of the Mizar Mathematical Library [2], is first-order Tarski-Grothendieck set theory....
International audienceIn this paper, we report on the formal proof that Hilbert's axiom system can b...
International audienceThis paper describes the formalization of the arithmetization of Euclidean pla...
Abstract We report on a project to use a theorem prover to find proofs of the theorems in Tarskian g...
This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verificati...
Esta dissertação examinará dois temas no âmbito da geometria elementar. O primeiro tratará da expres...
This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verificati...
"The study of the history of mathematics 2018". September 18-21, 2018. edited by Shigeru Jochi. The ...
This note presents an introduction to the Mizar system, followed by a brief comparison between Mizar...
In the article, we continue [7] the formalization of the work devoted to Tarski’s geometry – the boo...
In the article, we continue the formalization of the work devoted to Tarski’s geometry - the book “M...
In our earlier article [12], the first part of axioms of geometry proposed by Alfred Tarski [14] was...
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geom...
International audienceThis paper describes the mechanization of the proofs of the first height chapt...
International audienceThis paper describes the formalization of the arithmetization of Euclidean geo...
The foundation of the Mizar Mathematical Library [2], is first-order Tarski-Grothendieck set theory....
International audienceIn this paper, we report on the formal proof that Hilbert's axiom system can b...
International audienceThis paper describes the formalization of the arithmetization of Euclidean pla...
Abstract We report on a project to use a theorem prover to find proofs of the theorems in Tarskian g...
This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verificati...
Esta dissertação examinará dois temas no âmbito da geometria elementar. O primeiro tratará da expres...
This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verificati...
"The study of the history of mathematics 2018". September 18-21, 2018. edited by Shigeru Jochi. The ...
This note presents an introduction to the Mizar system, followed by a brief comparison between Mizar...
Add to ORKG