( en | de | ru )

 

Disambiguierung von "Théry, Laurent"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning About the Reals: The Marriage of HOL and Maple.

, und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 351-353. Springer, (1993)

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.

Laurent Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Laurent Herschke

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Pearl: Revisiting the Mini-rubik in Coq.. TPHOLs, Volume 5170 von Lecture Notes in Computer Science, Seite 310-319. Springer, (2008)Primality Proving with Elliptic Curves., und . TPHOLs, Volume 4732 von Lecture Notes in Computer Science, Seite 319-333. Springer, (2007)A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers., und . IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 423-437. Springer, (2006)Reasoning About the Reals: The Marriage of HOL and Maple., und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 351-353. Springer, (1993)A Certified Version of Buchberger's Algorithm.. CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 349-364. Springer, (1998)A Proof Development System for HOL.. HUG, Volume 780 von Lecture Notes in Computer Science, Seite 115-128. Springer, (1993)Proof by Pointing., , und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 141-160. Springer, (1994)Quantitative Continuity and Computable Analysis in Coq., , und . ITP, Volume 141 von LIPIcs, Seite 28:1-28:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Skeptic's Approach to Combining HOL and Maple., und . J. Autom. Reason., 21 (3): 279-294 (1998)Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation., , und . J. Autom. Reason., 61 (1-4): 33-71 (2018)