We stand with Ukraine  

Roland Coghetto

Orcid: 0000-0002-4901-0766

According to our database1, Roland Coghetto authored at least 38 papers between 2014 and 2024.

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

2024
U-Small and U-Locally Small Categories.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2024

2023
Tarski Geometry Axioms. Part V - Half-planes and Planes.
[BibTeX]
[DOI]
Roland Coghetto
,
Adam Grabowski
Formaliz. Math., September, 2023

2022
Non-Trivial Universes and Sequences of Universes.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2022

2021
Duality Notions in Real Projective Plane.
[BibTeX]
[DOI]
Roland Coghetto
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.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2021

Tarski's Parallel Postulate implies the 5th Postulate of Euclid, the Postulate of Playfair and the original Parallel Postulate of Euclid.
[BibTeX]
[DOI]
Roland Coghetto
Arch. Formal Proofs, 2021

2020
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2020

Klein-Beltrami model. Part IV.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2020

Klein-Beltrami model. Part III.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2020

2019
Tarski Geometry Axioms. Part IV - Right Angle.
[BibTeX]
[DOI]
Roland Coghetto
,
Adam Grabowski
Formaliz. Math., 2019

Cross-Ratio in Real Vector Space.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2019

2018
Pythagorean Tuning: Pentatonic and Heptatonic Scale.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2018

Klein-Beltrami Model. Part II.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2018

Klein-Beltrami Model. Part I.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2018

2017
Tarski Geometry Axioms. Part III.
[BibTeX]
[DOI]
Roland Coghetto
,
Adam Grabowski
Formaliz. Math., 2017

Gauge Integral.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2017

Pascal's Theorem in Real Projective Plane.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2017

Group of Homography in Real Projective Plane.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2017

Topological structures as a tool for formal modelling of rough sets.
[BibTeX]
[DOI]
Adam Grabowski
,
Roland Coghetto
Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016
Tarski Geometry Axioms - Part II.
[BibTeX]
[DOI]
Roland Coghetto
,
Adam Grabowski
Formaliz. Math., 2016

Homography in ℝℙ.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Uniform Space.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Quasi-uniform Space.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Double Sequences and Iterated Limits in Regular Space.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Chebyshev Distance.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Cousin's Lemma.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Altitude, Orthocenter of a Triangle and Triangulation.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Circumcenter, Circumcircle and Centroid of a Triangle.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2016

Tarski's Geometry and the Euclidean Plane in Mizar.
[BibTeX]
[DOI]
Adam Grabowski
,
Roland Coghetto
Proceedings of the Joint Proceedings of the FM4M, 2016

2015
Topology from Neighbourhoods.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

Summable Family in a Commutative Group.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

Convergent Filter Bases.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

Groups - Additive Notation.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

Finite Product of Semiring of Sets.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

Morley's Trisector Theorem.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2015

2014
Some Facts about Trigonometry and Euclidean Geometry.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2014

Semiring of Sets: Examples.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2014

Semiring of Sets.
[BibTeX]
[DOI]
Roland Coghetto
Formaliz. Math., 2014


  Loading...