( en | de | ru )

 

Disambiguierung von "Dufourd, Jean-François"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.

, , und . Automated Deduction in Geometry, Volume 2061 von Lecture Notes in Computer Science, Seite 306-324. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jean-François Stumper

Jean-François Viaud

Jean-François Paillotin

Jean François Savoie

Jean-François Hren

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal specification and proofs for the topology and classification of combinatorial surfaces., und . Comput. Geom., 47 (9): 869-890 (2014)Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps.. STACS, Volume 1 von LIPIcs, Seite 253-264. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Formal Resolution of Geometrical Constraint Systems by Assembling., , und . Symposium on Solid Modeling and Applications, Seite 271-284. ACM, (1997)Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry., , und . Automated Deduction in Geometry, Volume 2061 von Lecture Notes in Computer Science, Seite 306-324. Springer, (2000)Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof.. Theor. Comput. Sci., 403 (2-3): 133-159 (2008)Hypermap Specification and Certified Linked Implementation Using Orbits.. ITP, Volume 8558 von Lecture Notes in Computer Science, Seite 242-257. Springer, (2014)Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling., und . TPHOLs, Volume 1479 von Lecture Notes in Computer Science, Seite 401-422. Springer, (1998)Formalizing the Trading Theorem for the Classification of Surfaces., und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 148-163. Springer, (2002)Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects., und . FME, Volume 1313 von Lecture Notes in Computer Science, Seite 605-623. Springer, (1997)Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm.. ICFEM, Volume 8829 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2014)