Guillaume Cano

According to our database, Guillaume Cano authored at least 2 papers between 2014 and 2016.

Collaborative distances:

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

2016

Formalized linear algebra over Elementary Divisor Rings in Coq.

Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles

Log. Methods Comput. Sci., 2016

2014

Interaction entre algèbre linéaire et analyse en formalisation des mathématiques. (Interaction between linear algebra and analysis in formal mathematics).

Guillaume Cano

PhD thesis, 2014