An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
From MaRDI portal
Recommendations
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
- Partial cylindrical algebraic decomposition for quantifier elimination
- scientific article; zbMATH DE number 1263359
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
Cites work
- scientific article; zbMATH DE number 4084863 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1263329 (Why is no real title available?)
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- scientific article; zbMATH DE number 1157658 (Why is no real title available?)
- scientific article; zbMATH DE number 1157665 (Why is no real title available?)
- scientific article; zbMATH DE number 1984325 (Why is no real title available?)
- scientific article; zbMATH DE number 1440927 (Why is no real title available?)
- Algebraic numbers: An example of dynamic evaluation
- Algorithms in real algebraic geometry
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- An efficient method for analyzing the topology of plane real algebraic curves.
- Applying Linear Quantifier Elimination
- Applying quantifier elimination to the Birkhoff interpolation problem
- Approximate quantified constraint solving by cylindrical box decomposition
- Computing the global optimum of a multivariate polynomial over the reals
- Cylindrical algebraic decomposition using validated numerics
- Efficient Pareto frontier exploration using surrogate approximations
- Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars
- Global Optimization of Polynomials Using Gradient Tentacles and Sums of Squares
- Global optimization of polynomials using generalized critical values and sums of squares
- Global optimization with polynomials and the problem of moments
- Improved projection for CAD's of R 3
- Improved projection for cylindrical algebraic decomposition
- Interval arithmetic in cylindrical algebraic decomposition
- Multi-objective optimization using evolutionary algorithms
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- On propagation of equational constraints in CAD-based quantifier elimination
- Partial cylindrical algebraic decomposition for quantifier elimination
- Polynomial algorithms in computer algebra
- QEPCAD B
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Real quantifier elimination is doubly exponential
- Simulation and optimization by quantifier elimination
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- Solving systems of strict polynomial inequalities
- The complexity of linear problems in fields
- Variant quantifier elimination
Cited in
(63)- Tame decompositions and collisions
- A new idea on the interval-symbol method with correct zero rewriting for reducing exact computations
- Logspace computations in graph products
- Essentially optimal interactive certificates in linear algebra
- Fast arithmetic for the algebraic closure of finite fields
- CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization
- Constructing fewer open cells by GCD computation in CAD projection
- Powers of tensors and fast matrix multiplication
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- The MMO problem
- Bounds for D-finite closure properties
- On isomorphisms of modules over non-commutative PID
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
- Factoring linear differential operators in \(n\) variables
- Sub-cubic change of ordering for Gröbner basis: a probabilistic approach
- Linear independence oracles and applications to rectangular and low rank linear systems
- Formal solutions of a class of Pfaffian systems in two variables
- On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
- On the reduction of singularly-perturbed linear differential systems
- Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
- Sparse multivariate function recovery with a high error rate in the evaluations
- Root counts of semi-mixed systems, and an application to counting Nash equilibria
- Improved algorithm for computing separating linear forms for bivariate systems
- Computing necessary integrability conditions for planar parametrized homogeneous potentials
- Equivariant lattice generators and Markov bases
- Covering of surfaces parametrized without projective base points
- Radical solutions of first order autonomous algebraic ordinary differential equations
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Reduction among bracket polynomials
- Cylindrical algebraic decomposition using local projections
- Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
- QEPCAD B
- A fast algorithm for computing the characteristic polynomial of the \(p\)-curvature
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems
- Evaluating parametric holonomic sequences using rectangular splitting
- Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers
- High performance implementation of the TFT
- Solving higher order linear differential equations having elliptic function coefficients
- Sparse polynomial interpolation codes and their decoding beyond half the minimum distance
- The asymptotic analysis of some interpolated nonlinear recurrence relations
- Multivariate sparse interpolation using randomized Kronecker substitutions
- Mathematics by machine
- scientific article; zbMATH DE number 1263359 (Why is no real title available?)
- Sparse interpolation over finite fields via low-order roots of unity
- Maximum likelihood geometry in the presence of data zeros
- Toric border basis
- Sparse Gröbner bases: the unmixed case
- Faster relaxed multiplication
- Computing the differential Galois group of a parameterized second-order linear differential equation
- Parallel telescoping and parameterized Picard-Vessiot theory
- A near-optimal algorithm for computing real roots of sparse polynomials
- Recent advances in real geometric reasoning
- A new deterministic algorithm for sparse multivariate polynomial interpolation
- Race against the teens -- benchmarking mechanized math on pre-university problems
- A generalized Apagodu-Zeilberger algorithm
- Unimodular completion of polynomial matrices
- LLL reducing with the most significant bits
- Randomized detection of extraneous factors
- Online order basis algorithm and its impact on the block Wiedemann algorithm
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- An a posteriori certification algorithm for Newton homotopies
- On the computation of the topology of plane curves
This page was built for publication: An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q384995)
