A product information management system as a workbench for quantifier elimination computations with QEPCAD

Authors:
Dennis S. Arnon
Affiliations:
IBM Bay Area Lab, Foster City, California
Venue:
ACM Communications in Computer Algebra
Year:
2011

Citing 2
Cited 0

Cylindrical algebraic decomposition I: the basic algorithm

SIAM Journal on Computing
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on the use of a Product Information Management system as a convenient front end for invoking and monitoring Quantifier Elimination computations by the QEPCAD program, and for user-friendly storage and analysis of accumulated outputs.