×

Found 2 Documents (Results 1–2)

Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants. (English) Zbl 1385.68013

Bonacina, Maria Paola (ed.) et al., Automated reasoning and mathematics. Essays in memory of William W. McCune. Berlin: Springer (ISBN 978-3-642-36674-1/pbk). Lecture Notes in Computer Science 7788. Lecture Notes in Artificial Intelligence, 189-228 (2013).
MSC:  68N30 03C10 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software