Quentin Canu

Orcid: 0000-0001-8461-2458

According to our database¹, Quentin Canu authored at least 3 papers between 2019 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Formalization of efficient polyhedral computations. (Formalisation de calculs polyédraux efficaces).

[DOI]

PhD thesis, 2025

2023

A Formal Disproof of Hirsch Conjecture.

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2019

Public Group Announcements and Trust in Doxastic Logic.

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019