Search results for "redlog"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	Thomas Sturm 0001	New Domains for Applied Quantifier Elimination.	CASC	2006	DBLP DOI BibTeX RDF
91	Volker Weispfenning	Semilinear Motion Planning in REDLOG.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	REDLOG, Motion planning, Quantifier elimination
53	Andreas Seidl, Thomas Sturm 0001	A generic projection operator for partial cylindrical algebraic decomposition.	ISSAC	2003	DBLP DOI BibTeX RDF	REDLOG, partial CAD, projection operator
44	Thomas Sturm 0001	Reasoning over Networks by Symbolic Methods.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Real quantifier elimination, Diagnosis, Error detection, Network analysis, Network sizing, Automatic reasoning
39	Volker Weispfenning	Semilinear Motion Planning Among Moving Objects in REDLOG.	CASC	2001	DBLP DOI BibTeX RDF
39	Andreas Dolzmann, Thomas Sturm 0001	REDLOG: computer algebra meets computer logic.	SIGSAM Bull.	1997	DBLP DOI BibTeX RDF
39	Thomas Sturm 0001, Volker Weispfenning	Computational Geometry Problems in REDLOG.	Automated Deduction in Geometry	1996	DBLP DOI BibTeX RDF
31	Andreas Dolzmann, Andreas Seidl, Thomas Sturm 0001	Efficient projection orders for CAD.	ISSAC	2004	DBLP DOI BibTeX RDF	partial cad, redlog, projection operator
22	Thomas Sturm 0001, Andreas Weber 0004, Essam O. Abdel-Rahman, M'hammed El Kahoui	Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology.	Math. Comput. Sci.	2009	DBLP DOI BibTeX RDF	quantifier elimination over the reals, logical inconsistency checking, dynamical systems, oscillations, Hopf bifurcations
22	Thomas Sturm 0001, Andreas Weber 0004	Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology.	AB	2008	DBLP DOI BibTeX RDF
22	Melanie Achatz, Scott McCallum, Volker Weispfenning	Deciding polynomial-exponential problems.	ISSAC	2008	DBLP DOI BibTeX RDF	exponential polynomials, decision procedure
22	Aless Lasaruk, Thomas Sturm 0001	Weak quantifier elimination for the full linear theory of the integers.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Integer constraint solving, Implementation, Quantifier elimination
22	Aless Lasaruk, Thomas Sturm 0001	Weak Integer Quantifier Elimination Beyond the Linear Case.	CASC	2007	DBLP DOI BibTeX RDF
22	Hirokazu Anai, Volker Weispfenning	Reach Set Computations Using Real Quantifier Elimination.	HSCC	2001	DBLP DOI BibTeX RDF
22	Andreas Dolzmann	Solving Geometric Problems with Real Quantifier Elimination.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
22	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