Pages that link to "Item:Q798314"
From MaRDI portal
The following pages link to Definability and fast quantifier elimination in algebraically closed fields (Q798314):
Displaying 17 items.
- Sparse difference resultant (Q5891997) (← links)
- A Gröbner free alternative for polynomial system solving (Q5938584) (← links)
- Kronecker's and Newton's approaches to solving: a first comparison (Q5938585) (← links)
- Back-and-forth systems for generic curves and a decision algorithm for the limit theory (Q5946087) (← links)
- Computing bases of complete intersection rings in Noether position (Q5946450) (← links)
- On computing absolutely irreducible components of algebraic varieties with parameters (Q5962004) (← links)
- Finding connected components of a semialgebraic set in subexponential time (Q5966655) (← links)
- Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability (Q6043379) (← links)
- Irredundant bases for finite groups of Lie type (Q6043861) (← links)
- Surjective morphisms from affine space to its Zariski open subsets (Q6087759) (← links)
- Exploring implications of trace (inversion) formula and Artin algebras in extremal combinatorics (Q6139280) (← links)
- Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results (Q6170822) (← links)
- Spectral equivalence of smooth group schemes over principal ideal local rings (Q6203808) (← links)
- Variety evasive subspace families (Q6599767) (← links)
- A single exponential time algorithm for homogeneous regular sequence tests (Q6601873) (← links)
- Interpolation by decomposable univariate polynomials (Q6614422) (← links)
- An approach to the moments subset sum problem through systems of diagonal equations over finite fields (Q6631502) (← links)
