Toggle navigation
Home
People
Departments
Research
About
Login
Search
Incidence Simplicial Matrices Formalized in Coq/SSReflect.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Farmer, William Michael
Heras, Jónathan
Poza, María
Dénès, Maxime
Rideau, Laurence
publication date
2011
published in
Calculemus/MKM
Journal
Identity
International Standard Book Number (ISBN) 13
978-3-642-22672-4
Additional Document Info
start page
30
end page
44
volume
6824