7 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 1 cited
Theorem of three circles in Coq
Julianna Zsidó
The theorem of three circles in real algebraic geometry guarantees the termination and correctness of an algorithm of isolating real roots of a univariate polynomial. The main idea…
cs.LO2010★ 7 cited
Initial Semantics for higher-order typed syntax in Coq
Benedikt Ahrens, Julianna Zsido
Initial Semantics aims at characterizing the syntax associated to a signature as the initial object of some category. We present an initial semantics result for typed higher-order…