Roland Coghetto
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A case study of transporting Urysohn's lemma from topology via open sets into topology via neighborhoods Formalized Mathematics | 2024-08-26 | Paper |
| Tarski geometry axioms. V: Half-planes and planes Formalized Mathematics | 2024-06-18 | Paper |
| Non-trivial universes and sequences of universes Formalized Mathematics | 2024-04-22 | Paper |
| Duality notions in real projective plane Formalized Mathematics | 2022-09-09 | Paper |
| Pappus's hexagon theorem in real projective plane Formalized Mathematics | 2022-03-29 | Paper |
| Klein-Beltrami model. III Formalized Mathematics | 2021-03-24 | Paper |
| Klein-Beltrami model. IV Formalized Mathematics | 2021-03-24 | Paper |
| Pythagorean tuning: pentatonic and heptatonic scale Formalized Mathematics | 2019-07-10 | Paper |
| Cross-ratio in real vector space Formalized Mathematics | 2019-05-24 | Paper |
| Tarski geometry axioms. IV: Right angle Formalized Mathematics | 2019-05-24 | Paper |
| Klein-Beltrami model. I Formalized Mathematics | 2018-10-17 | Paper |
| Klein-Beltrami model. II Formalized Mathematics | 2018-10-17 | Paper |
| Tarski geometry axioms. III Formalized Mathematics | 2018-10-16 | Paper |
| Gauge integral Formalized Mathematics | 2018-01-11 | Paper |
| Pascal's theorem in real projective plane Formalized Mathematics | 2017-10-06 | Paper |
| Group of homography in real projective plane Formalized Mathematics | 2017-06-07 | Paper |
| Homography in \(\mathbb{R}\mathbb{P}^2\) Formalized Mathematics | 2017-04-03 | Paper |
| Double sequences and iterated limits in regular space Formalized Mathematics | 2017-03-15 | Paper |
| Quasi-uniform space Formalized Mathematics | 2017-03-15 | Paper |
| Uniform space Formalized Mathematics | 2017-03-15 | Paper |
| Cousin's Lemma Formalized Mathematics | 2017-01-06 | Paper |
| Chebyshev distance Formalized Mathematics | 2017-01-06 | Paper |
| Tarski geometry axioms. II Formalized Mathematics | 2017-01-06 | Paper |
| Circumcenter, circumcircle and centroid of a triangle Formalized Mathematics | 2016-09-01 | Paper |
| Altitude, orthocenter of a triangle and triangulation Formalized Mathematics | 2016-09-01 | Paper |
| Summable family in a commutative group Formalized Mathematics | 2016-04-20 | Paper |
| Topology from neighbourhoods Formalized Mathematics | 2016-04-20 | Paper |
| Convergent filter bases Formalized Mathematics | 2015-10-07 | Paper |
| Groups -- additive notation. Formalized Mathematics | 2015-08-19 | Paper |
| Morley's trisector theorem Formalized Mathematics | 2015-08-19 | Paper |
| Finite product of semiring of sets Formalized Mathematics | 2015-08-19 | Paper |
| Some facts about trigonometry and Euclidean geometry Formalized Mathematics | 2015-07-14 | Paper |
| Semiring of sets Formalized Mathematics | 2014-11-05 | Paper |
| Semiring of sets: examples Formalized Mathematics | 2014-11-05 | Paper |
Research outcomes over time
This page was built for person: Roland Coghetto
