Search results for "QEPCAD"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
82	Laura I. Meikle, Jacques D. Fleuriot	Combining Isabelle and QEPCAD-B in the Prover's Palette.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
70	Elena Kartashova, Scott McCallum	Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
58	Laura I. Meikle, Jacques D. Fleuriot	Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.	CAV	2008	DBLP DOI BibTeX RDF
56	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou	Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs
35	Zoltán Kovács, Róbert Vajda	Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities.	CICM Workshops	2021	DBLP BibTeX RDF
35	Laura I. Meikle, Jacques D. Fleuriot	Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.	UITP	2010	DBLP DOI BibTeX RDF
35	Dennis S. Arnon	A product information management system as a workbench for quantifier elimination computations with QEPCAD.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
35	Christopher W. Brown 0001	QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition.	SIGSAM Bull.	2004	DBLP DOI BibTeX RDF
35	Christopher W. Brown 0001	QEPCAD B: a program for computing with semi-algebraic sets using CADs.	SIGSAM Bull.	2003	DBLP DOI BibTeX RDF
23	Behzad Akbarpour, Lawrence C. Paulson	MetiTarski: An Automatic Prover for the Elementary Functions.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
23	Hirokazu Anai, Volker Weispfenning	Reach Set Computations Using Real Quantifier Elimination.	HSCC	2001	DBLP DOI BibTeX RDF
23	Volker Weispfenning	Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond.	Appl. Algebra Eng. Commun. Comput.	1997	DBLP DOI BibTeX RDF	Fast quantifier elimination and decision methods, First-order theory of reals, Constraint solving, Automatic theorem proving