Concepedia

Guillaume Cano

GC

1

Publications

13

Citations

1

H-Index

2016

Active since

Affiliations

University of Gothenburg(Current)

Guillaume Cano is an author at University of Gothenburg specializing in computer science.

Top concepts

Publications per year

2016–2016

1

Publications

1

Formalized linear algebra over Elementary Divisor Rings in Coq

Guillaume Cano, Cyril Cohen, Maxime Dénès et al. · Logical Methods in Computer Science · 2016 · 13 citations · Full text

, , +6

Rows per page

1–1 of 1