Pierre Boutry

From MaRDI portal
Person:1640644

Available identifiers

zbMath Open boutry.pierreMaRDI QIDQ1640644

List of research outcomes





PublicationDate of PublicationType
Formalization of the Poincaré disc model of hyperbolic geometry2021-06-09Paper
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq2019-02-15Paper
Formalization of the arithmetization of Euclidean plane geometry and applications2018-06-14Paper
Herbrand's theorem and non-Euclidean geometry2016-03-18Paper

Research outcomes over time

This page was built for person: Pierre Boutry

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1640644&oldid=6319104"
Powered by MediaWiki