Search results for "Desargues"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Nicolas Magaud, Julien Narboux, Pascal Schreck	Formalizing Desargues' theorem in Coq using ranks.	SAC	2009	DBLP DOI BibTeX RDF	Desargues, rank, formalization, projective geometry, Coq
34	Roger D. Maddux	Identities Generalizing the Theorems of Pappus and Desargues.	Symmetry	2021	DBLP DOI BibTeX RDF
34	Bernhild Stroppel, Markus J. Stroppel	Desargues, doily, dualities and exceptional isomorphisms.	Australas. J Comb.	2013	DBLP BibTeX RDF
34	Nicolas Magaud, Julien Narboux, Pascal Schreck	A case study in formalizing projective geometry in Coq: Desargues theorem.	Comput. Geom.	2012	DBLP DOI BibTeX RDF
34	Yanzhong Hu, Hongfang Luo	Study of the Non-planarity of the Desargues Graph.	CSISE (3)	2011	DBLP DOI BibTeX RDF
34	Vincent Frémont, Ryad Chellali, Jean-Guy Fontaine	Generalization of the Desargues Theorem for Sparse 3D Reconstruction.	Int. J. Humanoid Robotics	2009	DBLP DOI BibTeX RDF
34	Choubeila Maaoui, Ryad Chellali, Jean-Guy Fontaine	Desargues theorem for augmented reality applications.	IROS	2005	DBLP DOI BibTeX RDF
34	Ryad Chellali, Choubeila Maaoui, Jean-Guy Fontaine	The Desargues theorem to build matching graph for N images.	RAM	2004	DBLP DOI BibTeX RDF
34	Raul Cordovil, António Guedes de Oliveira, Michel Las Vergnas	A generalized Desargues configuration and the pure braid group.	Discret. Math.	1996	DBLP DOI BibTeX RDF
33	Victor Pambuccian	Early Examples of Resource-Consciousness.	Stud Logica	2004	DBLP DOI BibTeX RDF	BCK logic, affine logic, Pappus and Desargues axioms, Pythagorean theorem, projective geometry
28	Marc Bezem, Dimitri Hendriks	On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
28	Peter Veelaert	Reestablishing Consistency of Uncertain Geometric Relations in Digital Images.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )