Roland Coghetto

38 papers Journal 36Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
U-Small and U-Locally Small Categories.
Formaliz. Math.
Roland Coghetto
2023 J jnl
Tarski Geometry Axioms. Part V - Half-planes and Planes.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2022 J jnl
Non-Trivial Universes and Sequences of Universes.
Formaliz. Math.
Roland Coghetto
2021 J jnl
Duality Notions in Real Projective Plane.
Formaliz. Math.
Roland Coghetto
2021 J jnl
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.
Roland Coghetto
2021 J jnl
Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.
Arch. Formal Proofs
Roland Coghetto
2020 J jnl
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods.
Formaliz. Math.
Roland Coghetto
2020 J jnl
Klein-Beltrami model. Part III.
Formaliz. Math.
Roland Coghetto
2020 J jnl
Klein-Beltrami model. Part IV.
Formaliz. Math.
Roland Coghetto
2019 J jnl
Cross-Ratio in Real Vector Space.
Formaliz. Math.
Roland Coghetto
2019 J jnl
Tarski Geometry Axioms. Part IV - Right Angle.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2018 J jnl
Klein-Beltrami Model. Part I.
Formaliz. Math.
Roland Coghetto
2018 J jnl
Klein-Beltrami Model. Part II.
Formaliz. Math.
Roland Coghetto
2018 J jnl
Pythagorean Tuning: Pentatonic and Heptatonic Scale.
Formaliz. Math.
Roland Coghetto
2017 J jnl
Gauge Integral.
Formaliz. Math.
Roland Coghetto
2017 J jnl
Group of Homography in Real Projective Plane.
Formaliz. Math.
Roland Coghetto
2017 J jnl
Pascal's Theorem in Real Projective Plane.
Formaliz. Math.
Roland Coghetto
2017 J jnl
Tarski Geometry Axioms. Part III.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2017 — conf
Topological structures as a tool for formal modelling of rough sets.
FedCSIS (Position Papers)
Adam Grabowski, Roland Coghetto
2016 J jnl
Altitude, Orthocenter of a Triangle and Triangulation.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Chebyshev Distance.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Circumcenter, Circumcircle and Centroid of a Triangle.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Cousin's Lemma.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Double Sequences and Iterated Limits in Regular Space.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Homography in ℝℙ.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Quasi-uniform Space.
Formaliz. Math.
Roland Coghetto
2016 J jnl
Tarski Geometry Axioms - Part II.
Formaliz. Math.
Roland Coghetto, Adam Grabowski
2016 — conf
Tarski's Geometry and the Euclidean Plane in Mizar.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Adam Grabowski, Roland Coghetto
2016 J jnl
Uniform Space.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Convergent Filter Bases.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Finite Product of Semiring of Sets.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Groups - Additive Notation.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Morley's Trisector Theorem.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Summable Family in a Commutative Group.
Formaliz. Math.
Roland Coghetto
2015 J jnl
Topology from Neighbourhoods.
Formaliz. Math.
Roland Coghetto
2014 J jnl
Semiring of Sets.
Formaliz. Math.
Roland Coghetto
2014 J jnl
Semiring of Sets: Examples.
Formaliz. Math.
Roland Coghetto
2014 J jnl
Some Facts about Trigonometry and Euclidean Geometry.
Formaliz. Math.
Roland Coghetto