Vincent Siles

Identifiers

• name variant Vincent Siles 0.60 · backfill

Papers (2)

1. Formalized linear algebra over Elementary Divisor Rings in Coq cs.LO · 2016 · author #5
2. Computing Persistent Homology within Coq/SSReflect cs.LO · 2012 · author #4

Mentions

• 1209.1905 #4 · backfill · confidence 0.70 Vincent Siles

Frequent Coauthors

• Anders M\"ortberg 2 shared papers
• Cyril Cohen 1 shared papers
• Guillaume Cano 1 shared papers
• J\'onathan Heras 1 shared papers
• Maxime D\'en\`es 1 shared papers
• Thierry Coquand 1 shared papers