Recommendations
- The computational complexity of some problems of linear algebra
- The complexity of almost linear diophantine problems
- The proof complexity of linear algebra
- Linear problems in valued fields
- scientific article; zbMATH DE number 4087025
- Complexity of the satisfiability problem for multilinear forms over a finite field
- The computational complexity of some problems of linear algebra (extended abstract)
- STACS 2005
- An upper bound for the complexity of linearized coverings in a finite field
- scientific article; zbMATH DE number 3983069
Cites work
- scientific article; zbMATH DE number 3918343 (Why is no real title available?)
- scientific article; zbMATH DE number 3920550 (Why is no real title available?)
- scientific article; zbMATH DE number 3935016 (Why is no real title available?)
- scientific article; zbMATH DE number 3752829 (Why is no real title available?)
- scientific article; zbMATH DE number 3779296 (Why is no real title available?)
- scientific article; zbMATH DE number 3501006 (Why is no real title available?)
- scientific article; zbMATH DE number 3532959 (Why is no real title available?)
- scientific article; zbMATH DE number 3572309 (Why is no real title available?)
- scientific article; zbMATH DE number 3408928 (Why is no real title available?)
- A Decision Procedure for the First Order Theory of Real Addition with Order
- Bounds on transfer principles for algebraically closed and complete discretely valued fields
- Complexity of Boolean algebras
- Definability and fast quantifier elimination in algebraically closed fields
- Elimination of quantifiers in algebraic structures
- Presburger arithmetic with bounded quantifier alternation
- The complexity of Presburger arithmetic with bounded quantifier alternation depth
- The complexity of logical theories
- The computational complexity of logical theories
Cited in
(82)- On the complexity of quantified linear systems
- Relationships of properties of piecewise affine maps over ordered fields
- Complexity of the satisfiability problem for multilinear forms over a finite field
- A decision algorithm for linear sentences on a PFM
- A proof of Bel'tyukov-Lipshitz theorem by quasi-quantifier elimination. I: Definitions and GCD-lemma
- On Hierarchical Reasoning in Combinations of Theories
- The QSMA algorithm for quantifiers in SMT
- An Algebraic Study of Affine Real Ultrafilters
- Polynomial Bell inequalities
- Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms
- Algorithmic methods for investigating equilibria in epidemic modeling
- Better answers to real questions
- Virtual substitution for SMT-solving
- Adapting real quantifier elimination methods for conflict set computation
- Solution formulas for cubic equations without or with constraints
- A bibliography of quantifier elimination for real closed fields
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
- Testing binomiality of chemical reaction networks using comprehensive Gröbner systems
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- On the parallel complexity of the polynomial ideal membership problem
- A decision procedure for linear ``big O equations
- Tropical effective primary and dual Nullstellensätze
- A representation of convex semilinear sets
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Sur la complexité du principe de Tarski-Seidenberg
- Model-theoretic methods in combined constraint satisfiability
- On quantified linear implications
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Multiple object semilinear motion planning
- scientific article; zbMATH DE number 1405441 (Why is no real title available?)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Some lower bounds for the complexity of the linear programming feasibility problem over the reals
- Reachability relations of timed pushdown automata
- Efficiently and effectively recognizing toricity of steady state varieties
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Algorithmic reduction of biological networks with multiple time scales
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Sets of Linear Forms Which Are Hard to Compute
- A geometric method for model reduction of biochemical networks with polynomial rate functions
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints
- Proof synthesis and reflection for linear arithmetic
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- An exact correspondence of linear problems and randomizing linear algorithms
- A geometric approach to cylindrical algebraic decomposition
- Algorithmic global criteria for excluding oscillations
- On sets of linear forms of maximal complexity
- Some formal tools for analyzing quantum automata.
- Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields
- The complexity of almost linear diophantine problems
- Linear Programs and Convex Hulls Over Fields of Puiseux Fractions
- Quantifier elimination in automatic loop parallelization
- On the complexity of linear arithmetic with divisibility
- Verification of data-aware process models: checking soundness of Data Petri nets
- Quantifier elimination for a class of exponential polynomial formulas
- scientific article; zbMATH DE number 1507955 (Why is no real title available?)
- SMT and functional equation solving over the reals: challenges from the IMO
- Computing Hopf bifurcations in chemical reaction networks using reaction coordinates
- A complexity perspective on entailment of parameterized linear constraints
- Counting and Gröbner bases
- Supporting global numerical optimization of rational functions by generic symbolic convexity tests
- Convex polarities over ordered fields
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- Linear problems in valued fields
- Formulation of linear problems and solution by a universal machine
- Verified Quadratic Virtual Substitution for Real Arithmetic
- Computational complexity of sentences over fields
- A symbolic-numeric approach to multi-objective optimization in manufacturing design
- Weak quantifier elimination for the full linear theory of the integers
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
- On complexity of the existential and universal theories of finite fields
- Analyzing restricted fragments of the theory of linear arithmetic
- Faster one block quantifier elimination for regular polynomial systems of equations
- Positive existential Definability with unit, addition and coprimeness
- scientific article; zbMATH DE number 1866875 (Why is no real title available?)
- Applying term rewriting methods to finite groups
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Linear quantifier elimination
This page was built for publication: The complexity of linear problems in fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103602)
