The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Desargues with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2021 (12)
Publication types (Num. hits)
article(7) inproceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 5 keywords

Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
95Nicolas Magaud, Julien Narboux, Pascal Schreck Formalizing Desargues' theorem in Coq using ranks. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Desargues, rank, formalization, projective geometry, Coq
34Roger D. Maddux Identities Generalizing the Theorems of Pappus and Desargues. Search on Bibsonomy Symmetry The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
34Bernhild Stroppel, Markus J. Stroppel Desargues, doily, dualities and exceptional isomorphisms. Search on Bibsonomy Australas. J Comb. The full citation details ... 2013 DBLP  BibTeX  RDF
34Nicolas Magaud, Julien Narboux, Pascal Schreck A case study in formalizing projective geometry in Coq: Desargues theorem. Search on Bibsonomy Comput. Geom. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
34Yanzhong Hu, Hongfang Luo Study of the Non-planarity of the Desargues Graph. Search on Bibsonomy CSISE (3) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
34Vincent Frémont, Ryad Chellali, Jean-Guy Fontaine Generalization of the Desargues Theorem for Sparse 3D Reconstruction. Search on Bibsonomy Int. J. Humanoid Robotics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Choubeila Maaoui, Ryad Chellali, Jean-Guy Fontaine Desargues theorem for augmented reality applications. Search on Bibsonomy IROS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Ryad Chellali, Choubeila Maaoui, Jean-Guy Fontaine The Desargues theorem to build matching graph for N images. Search on Bibsonomy RAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Raul Cordovil, António Guedes de Oliveira, Michel Las Vergnas A generalized Desargues configuration and the pure braid group. Search on Bibsonomy Discret. Math. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33Victor Pambuccian Early Examples of Resource-Consciousness. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF BCK logic, affine logic, Pappus and Desargues axioms, Pythagorean theorem, projective geometry
28Marc Bezem, Dimitri Hendriks On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coherent logic, Proof objects, Hessenberg’s theorem, Automated theorem proving
28Peter Veelaert Reestablishing Consistency of Uncertain Geometric Relations in Digital Images. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license