|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
Results
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 |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|