|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1110-1115, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Desargues, rank, formalization, projective geometry, Coq |
34 | Roger D. Maddux |
Identities Generalizing the Theorems of Pappus and Desargues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(8), pp. 1382, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Bernhild Stroppel, Markus J. Stroppel |
Desargues, doily, dualities and exceptional isomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 57, pp. 251-270, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
34 | Nicolas Magaud, Julien Narboux, Pascal Schreck |
A case study in formalizing projective geometry in Coq: Desargues theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 45(8), pp. 406-424, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Yanzhong Hu, Hongfang Luo |
Study of the Non-planarity of the Desargues Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSISE (3) ![In: Advances in Computer Science, Intelligent System and Environment [Proceedings of CSISE 2011, Volume 3, September 24-25, 2011, Guangzhou, China], pp. 7-11, 2011, Springer, 978-3-642-23752-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Vincent Frémont, Ryad Chellali, Jean-Guy Fontaine |
Generalization of the Desargues Theorem for Sparse 3D Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Humanoid Robotics ![In: Int. J. Humanoid Robotics 6(1), pp. 49-69, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Choubeila Maaoui, Ryad Chellali, Jean-Guy Fontaine |
Desargues theorem for augmented reality applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Edmonton, Alberta, Canada, August 2-6, 2005, pp. 2542-2547, 2005, IEEE, 0-7803-8912-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ryad Chellali, Choubeila Maaoui, Jean-Guy Fontaine |
The Desargues theorem to build matching graph for N images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2004, December 1-3, 2004, Singapore, pp. 416-421, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 160(1-3), pp. 105-113, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Victor Pambuccian |
Early Examples of Resource-Consciousness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 81-86, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(1), pp. 61-85, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Foundations of Computer Vision ![In: Geometry, Morphology, and Computational Imaging, 11th International Workshop on Theoretical Foundations of Computer Vision Dagstuhl Castle, Germany, April 7-12, 2002, Revised Papers, pp. 268-281, 2002, Springer, 3-540-00916-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|