Roland Coghetto

Orcid: 0000-0002-4901-0766

According to our database1, Roland Coghetto authored at least 37 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Tarski Geometry Axioms. Part V - Half-planes and Planes.
Formaliz. Math., September, 2023

2022
Non-Trivial Universes and Sequences of Universes.
Formaliz. Math., 2022

2021
Duality Notions in Real Projective Plane.
Formaliz. Math., 2021

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., 2021

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

2020
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods.
Formaliz. Math., 2020

Klein-Beltrami model. Part IV.
Formaliz. Math., 2020

Klein-Beltrami model. Part III.
Formaliz. Math., 2020

2019
Tarski Geometry Axioms. Part IV - Right Angle.
Formaliz. Math., 2019

Cross-Ratio in Real Vector Space.
Formaliz. Math., 2019

2018
Pythagorean Tuning: Pentatonic and Heptatonic Scale.
Formaliz. Math., 2018

Klein-Beltrami Model. Part II.
Formaliz. Math., 2018

Klein-Beltrami Model. Part I.
Formaliz. Math., 2018

2017
Tarski Geometry Axioms. Part III.
Formaliz. Math., 2017

Gauge Integral.
Formaliz. Math., 2017

Pascal's Theorem in Real Projective Plane.
Formaliz. Math., 2017

Group of Homography in Real Projective Plane.
Formaliz. Math., 2017

Topological structures as a tool for formal modelling of rough sets.
Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016
Tarski Geometry Axioms - Part II.
Formaliz. Math., 2016

Homography in ℝℙ.
Formaliz. Math., 2016

Uniform Space.
Formaliz. Math., 2016

Quasi-uniform Space.
Formaliz. Math., 2016

Double Sequences and Iterated Limits in Regular Space.
Formaliz. Math., 2016

Chebyshev Distance.
Formaliz. Math., 2016

Cousin's Lemma.
Formaliz. Math., 2016

Altitude, Orthocenter of a Triangle and Triangulation.
Formaliz. Math., 2016

Circumcenter, Circumcircle and Centroid of a Triangle.
Formaliz. Math., 2016

Tarski's Geometry and the Euclidean Plane in Mizar.
Proceedings of the Joint Proceedings of the FM4M, 2016

2015
Topology from Neighbourhoods.
Formaliz. Math., 2015

Summable Family in a Commutative Group.
Formaliz. Math., 2015

Convergent Filter Bases.
Formaliz. Math., 2015

Groups - Additive Notation.
Formaliz. Math., 2015

Finite Product of Semiring of Sets.
Formaliz. Math., 2015

Morley's Trisector Theorem.
Formaliz. Math., 2015

2014
Some Facts about Trigonometry and Euclidean Geometry.
Formaliz. Math., 2014

Semiring of Sets: Examples.
Formaliz. Math., 2014

Semiring of Sets.
Formaliz. Math., 2014


  Loading...