|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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: )
|
|