( en | de | ru )

 

Disambiguierung von "Bertot, Yves"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distant decimals of $π$.

, , und . CoRR, (2017)

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.

Yves Robert

Yves Morvan

Yves Hermann

Yves Matthess

Yves Steinmetz

 

Weitere Publikationen von Autoren mit dem selben Namen

A Short Presentation of Coq.. TPHOLs, Volume 5170 von Lecture Notes in Computer Science, Seite 12-16. Springer, (2008)Type-Theoretic Functional Semantics., , und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2002)Reasoning with Executable Specifications., und . TAPSOFT, Volume 915 von Lecture Notes in Computer Science, Seite 531-545. Springer, (1995)Formal Study of Plane Delaunay Triangulation., und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 211-226. Springer, (2010)Vérification formelle d'extractions de racines entières.. Technique et Science Informatiques, 24 (9): 1161-1185 (2005)Coq in a Hurry. CoRR, (2006)Distant decimals of $π$., , und . CoRR, (2017)Affine functions and series with co-inductive real numbers. CoRR, (2006)QArith: Coq Formalisation of Lazy Rational Arithmetic., und . TYPES, Volume 3085 von Lecture Notes in Computer Science, Seite 309-323. Springer, (2003)Using Structural Recursion for Corecursion., und . TYPES, Volume 5497 von Lecture Notes in Computer Science, Seite 220-236. Springer, (2008)