31 citations · 70 across the 19 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.SC2012★ 7 cited
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Changbo Chen, Marc Moreno Maza
In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and…
cs.SE2012★ 1 cited
Generating Program Invariants via Interpolation
Marc Moreno Maza, Rong Xiao
This article focuses on automatically generating polynomial equations that are inductive loop invariants of computer programs. We propose a new algorithm for this task, which is ba…