9 citations · 10 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010★ 1 cited
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers
Ana Bove, Ekaterina Komendantskaya, Milad Niqui
This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This worksh…
cs.LO2008★ 9 cited
Coinductive Formal Reasoning in Exact Real Arithmetic
Milad Niqui
In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations…