Guillaume Bertholon

According to our database, Guillaume Bertholon authored at least 3 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

At Most 43 Moves, At Least 29: Optimal Strategies and Bounds for Ultimate Tic-Tac-Toe.

Guillaume Bertholon, Rémi Géraud-Stewart, Axel Kugelmann, Théo Lenoir, David Naccache

CoRR, 2020

2019

Towards seamless interfacing between dynamic languages and native code.

Guillaume Bertholon, Stephen Kell

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Primitive Floats in Coq.

Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019