Vincent Siles

Available identifiers

zbMath Open siles.vincentMaRDI QIDQ2844695

List of research outcomes

Publication	Date of Publication	Type
A formal proof of Sasaki-Murao algorithm	2019-09-18	Paper
Formalized linear algebra over elementary divisor rings in \textsc{Coq}	2016-07-06	Paper
Computing persistent homology within Coq/SSReflect	2015-09-17	Paper
Pure type system conversion is always typable	2013-08-19	Paper
Coherent and Strongly Discrete Rings in Type Theory	2013-04-19	Paper
A refinement-based approach to computational algebra in Coq	2012-09-20	Paper
Towards a certified computation of homology groups for digital images	2012-07-23	Paper
A Decision Procedure for Regular Expression Equivalence in Type Theory	2011-11-22	Paper

Research outcomes over time

This page was built for person: Vincent Siles