Pascal Schreck

Available identifiers

zbMath Open schreck.pascalMaRDI QIDQ294371

List of research outcomes

Publication	Date of Publication	Type
Two new ways to formally prove Dandelin-Gallucci's theorem	2025-01-20	Paper
Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach	2024-12-17	Paper
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
Wernick's list: a final update	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
INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH	2007-02-09	Paper
GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP 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

This page was built for person: Pascal Schreck