( en | de | ru )

 

Disambiguation of "Zimmermann, Théo"

Author of the publication

copydeleteadd this publication to your clipboard
The demon algorithm.

, and . Int. J. Comput. Math., 42 (1-2): 21-31 (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Theo Zimmermann

Nicolaos Théodorou

Théo Trouillon

Panagiotis Theodorou

Wolfgang Theobald

 

Other publications of authors with the same name

Reproducibility of Build Environments through Space and Time., , and . CoRR, (2024)Advantages of maintaining a multi-task project-specific bot: an experience report., , , , and . CoRR, (2022)Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users., , , , , , , and . ITP, volume 268 of LIPIcs, page 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A grounded theory of Community Package Maintenance Organizations-Registered Report., and . CoRR, (2021)Extending the team with a project-specific bot., , , , and . CoRR, (2021)Design and development of a tool based on Coq to write and format mathematical proofs.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 104-105. CEUR-WS.org, (2016)The demon algorithm., and . Int. J. Comput. Math., 42 (1-2): 21-31 (1992)Challenges in the collaborative evolution of a proof language and its ecosystem. (Défis dans l'évolution collaborative d'un langage de preuve et de son écosystème).. Paris Diderot University, France, (2019)ASTRAL: genome-scale coalescent-based species tree estimation., , , , , and . Bioinform., 30 (17): 541-548 (2014)Reliably Reproducing Machine-Checked Proofs with the Coq Platform., , and . CoRR, (2022)