Guillaume Cano

Identifiers

• name variant Guillaume Cano 0.50 · backfill

Papers (1)

1. Formalized linear algebra over Elementary Divisor Rings in Coq cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Anders M\"ortberg 1 shared papers
• Cyril Cohen 1 shared papers
• Maxime D\'en\`es 1 shared papers
• Vincent Siles 1 shared papers