Search results
From MaRDI portal
- de/entity/Q5132749 2020-11-12 Paper Formula Simplification for Real Quantifier Elimination Using Geometric Invariance 2020-09-09 Paper DTM-Based Filtrations...10 bytes (13 words) - 10:05, 6 October 2023
- 1998-10-26 Paper Simulation and optimization by quantifier elimination 1997-09-29 Paper Quantifier elimination for real algebra -- the quadratic case and beyond...10 bytes (15 words) - 08:56, 25 September 2023
- cyclotomic polynomial 2012-08-30 Paper Variant quantifier elimination 2012-05-23 Paper Variant real quantifier elimination: algorithm and application 2012-05-13...10 bytes (13 words) - 10:55, 8 December 2023
- Paper Weak quantifier elimination for the full linear theory of the integers 2008-09-10 Paper New Domains for Applied Quantifier Elimination 2008-07-04...10 bytes (16 words) - 00:01, 25 September 2023
- 2013-07-30 Paper Quantifier Elimination and Provers Integration 2013-04-19 Paper From Strong Amalgamability to Modularity of Quantifier-Free Interpolation...10 bytes (15 words) - 17:46, 6 October 2023
- 2009-01-20 Paper Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators 2007-11-28 Paper Quantifier elimination for approximate...10 bytes (14 words) - 08:17, 25 September 2023
- pre-university problems1 2021-01-20 Paper Formula Simplification for Real Quantifier Elimination Using Geometric Invariance 2020-09-09 Paper On multivariate Hermitian...10 bytes (13 words) - 12:46, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3536332 2008-11-21 Paper Quantifier elimination supported proofs in the numerical treatment of fluid flows 2008-09-10...10 bytes (13 words) - 19:01, 6 October 2023
- fields and dimension functions 2013-01-07 Paper Corrigendum to: ``Quantifier elimination in valued Ore modules 2012-06-19 Paper On differentially closed...10 bytes (15 words) - 21:17, 9 December 2023
- Inequalities in GeoGebra by using Tarski 2022-01-03 Paper Projection and Quantifier Elimination Using Non-uniform Cylindrical Algebraic Decomposition 2020-09-09...10 bytes (15 words) - 20:24, 24 September 2023
- generation of logical constraints on approximation spaces using quantifier elimination 2013-11-28 Paper How an agent might think 2013-06-11 Paper Converse-PDL...10 bytes (14 words) - 20:34, 12 December 2023
- engineering: a note on existential quantifier elimination under parametric inequality constraints 2001-04-09 Paper Quantifier elimination in applied mechanics problems...10 bytes (15 words) - 12:17, 28 January 2024
- Fürstenberg's proof of the infinity of primes 2008-09-16 Paper Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type 2008-08-15...10 bytes (14 words) - 18:05, 24 September 2023
- 2014-07-08 Paper Corrigendum to: ``Quantifier elimination in valued Ore modules 2012-06-19 Paper Quantifier elimination in valued Ore modules 2010-10-04...10 bytes (13 words) - 10:29, 6 October 2023
- Paper Polar varieties and efficient real elimination 2001-01-01 Paper Straight-line programs in geometric elimination theory 2000-05-29 Paper Deformation techniques...10 bytes (13 words) - 23:42, 8 December 2023
- Date of Publication Type Partial quantifier elimination and property generation 2024-01-12 Paper Quantifier elimination by dependency sequents 2014-12-05...10 bytes (14 words) - 19:11, 6 October 2023
- which preserve semipositivity and quantifier elimination theory for real numbers 2022-03-18 Paper Quantifier elimination theory and maps which preserve semipositivity...10 bytes (14 words) - 04:59, 25 September 2023
- Publication Date of Publication Type Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited...10 bytes (15 words) - 19:53, 9 December 2023
- Manipulating Programs by Tiling 2019-09-16 Paper A layered algorithm for quantifier elimination from linear modular constraints 2017-07-26 Paper Symbolic trajectory...10 bytes (14 words) - 11:21, 7 October 2023
- Paper Quantifier elimination for the reals with a predicate for the powers of two 2007-02-26 Paper On the equivalence of two quantifier elimination tests...10 bytes (13 words) - 12:05, 6 October 2023
