Pascal Schreck

Available identifiers

zbMath Open schreck.pascalMaRDI QIDQ294371

List of research outcomes

Publication	Date of Publication	Type
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry	2024-04-29	Paper
Formalizing Some “Small” Finite Models of Projective Geometry in Coq	2023-06-30	Paper
Two cryptomorphic formalizations of projective incidence geometry	2019-05-16	Paper
On the mechanization of straightedge and compass constructions	2019-03-06	Paper
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq	2019-02-15	Paper
Using jointly geometry and algebra to determine RC-constructibility	2018-06-14	Paper
A robust and efficient method for solving point distance problems by homotopy	2017-05-15	Paper
Constructibility classes for triangle location problems	2016-06-16	Paper
Automatic constructibility checking of a corpus of geometric construction problems	2016-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2796478	2016-03-24	Paper
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems	2015-11-11	Paper
Equation Systems with Free-Coordinates Determinants	2013-09-20	Paper
A case study in formalizing projective geometry in Coq: Desargues theorem	2012-09-11	Paper
Formalization of Wu’s Simple Method in Coq	2011-11-22	Paper
Formalizing Projective Plane Geometry in Coq	2011-05-26	Paper
Using invariance under the similarity group to solve geometric constraint systems	2011-03-04	Paper
GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH	2007-02-09	Paper
INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH	2007-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4737736	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4531863	2002-05-23	Paper
Sketch-based pruning of a solution space within a formal geometric constraint solver	2000-12-12	Paper
Geometric construction by assembling solved subfigures	1998-08-13	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: Pascal Schreck