Roland Coghetto

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 27

Top Topics

Transformation Matrix

Euclidean Plane

Johnson Lindenstrauss

Top Venues

Formaliz. Math.

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Arch. Formal Proofs

FedCSIS (Position Papers)

Publications

Roland Coghetto
Non-Trivial Universes and Sequences of Universes. Formaliz. Math. 30 (1) (2022)
Roland Coghetto
Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid. Arch. Formal Proofs 2021 (2021)
Roland Coghetto
Duality Notions in Real Projective Plane. Formaliz. Math. 29 (4) (2021)
Roland Coghetto
Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en mathématiques et sciences avec assistants de preuve" ASBL (non-profit organization). Enterprise number: 0777.779.751. Belgium. Formaliz. Math. 29 (2) (2021)
Roland Coghetto
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods. Formaliz. Math. 28 (3) (2020)
Roland Coghetto
Klein-Beltrami model. Part III. Formaliz. Math. 28 (1) (2020)
Roland Coghetto
Klein-Beltrami model. Part IV. Formaliz. Math. 28 (1) (2020)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms. Part IV - Right Angle. Formaliz. Math. 27 (1) (2019)
Roland Coghetto
Cross-Ratio in Real Vector Space. Formaliz. Math. 27 (1) (2019)
Roland Coghetto
Pythagorean Tuning: Pentatonic and Heptatonic Scale. Formaliz. Math. 26 (4) (2018)
Roland Coghetto
Klein-Beltrami Model. Part II. Formaliz. Math. 26 (1) (2018)
Roland Coghetto
Klein-Beltrami Model. Part I. Formaliz. Math. 26 (1) (2018)
Roland Coghetto
Gauge Integral. Formaliz. Math. 25 (3) (2017)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms. Part III. Formaliz. Math. 25 (4) (2017)
Adam Grabowski, Roland Coghetto
Topological structures as a tool for formal modelling of rough sets. FedCSIS (Position Papers) (2017)
Roland Coghetto
Pascal's Theorem in Real Projective Plane. Formaliz. Math. 25 (2) (2017)
Roland Coghetto
Group of Homography in Real Projective Plane. Formaliz. Math. 25 (1) (2017)
Adam Grabowski, Roland Coghetto
Tarski's Geometry and the Euclidean Plane in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Roland Coghetto
Altitude, Orthocenter of a Triangle and Triangulation. Formaliz. Math. 24 (1) (2016)
Roland Coghetto
Double Sequences and Iterated Limits in Regular Space. Formaliz. Math. 24 (3) (2016)
Roland Coghetto
Chebyshev Distance. Formaliz. Math. 24 (2) (2016)
Roland Coghetto
Homography in ℝℙ. Formaliz. Math. 24 (4) (2016)
Roland Coghetto
Cousin's Lemma. Formaliz. Math. 24 (2) (2016)
Roland Coghetto
Quasi-uniform Space. Formaliz. Math. 24 (3) (2016)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms - Part II. Formaliz. Math. 24 (2) (2016)
Roland Coghetto
Uniform Space. Formaliz. Math. 24 (3) (2016)
Roland Coghetto
Circumcenter, Circumcircle and Centroid of a Triangle. Formaliz. Math. 24 (1) (2016)
Roland Coghetto
Morley's Trisector Theorem. Formaliz. Math. 23 (2) (2015)
Roland Coghetto
Topology from Neighbourhoods. Formaliz. Math. 23 (4) (2015)
Roland Coghetto
Finite Product of Semiring of Sets. Formaliz. Math. 23 (2) (2015)
Roland Coghetto
Groups - Additive Notation. Formaliz. Math. 23 (2) (2015)
Roland Coghetto
Convergent Filter Bases. Formaliz. Math. 23 (3) (2015)
Roland Coghetto
Summable Family in a Commutative Group. Formaliz. Math. 23 (4) (2015)
Roland Coghetto
Semiring of Sets: Examples. Formaliz. Math. 22 (1) (2014)
Roland Coghetto
Some Facts about Trigonometry and Euclidean Geometry. Formaliz. Math. 22 (4) (2014)
Roland Coghetto
Semiring of Sets. Formaliz. Math. 22 (1) (2014)