Nicolas Magaud

Available identifiers

zbMath Open magaud.nicolasMaRDI QIDQ448974

List of research outcomes

Publication	Date of Publication	Type
Formalizing Some “Small” Finite Models of Projective Geometry in Coq	2023-06-30	Paper
Some representations of real numbers using integer sequences	2023-02-10	Paper
Two cryptomorphic formalizations of projective incidence geometry	2019-05-16	Paper
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective	2015-07-27	Paper
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls	2013-09-20	Paper
A case study in formalizing projective geometry in Coq: Desargues theorem	2012-09-11	Paper
Designing and proving correct a convex hull algorithm with hypermaps in Coq	2012-09-11	Paper
Formalizing Projective Plane Geometry in Coq	2011-05-26	Paper
Changing Data Representation within the Coq System	2010-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4736398	2004-08-09	Paper
A proof of GMP square root	2003-04-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicolas Magaud