The following pages link to Volker Weispfenning (Q231497):
Displaying 50 items.
- Deciding polynomial-transcendental problems (Q654031) (← links)
- Quantifier elimination for real algebra -- the quadratic case and beyond (Q677553) (← links)
- Non-commutative Gröbner bases in algebras of solvable type (Q752147) (← links)
- The complexity of almost linear diophantine problems (Q753494) (← links)
- Existential equivalence of ordered abelian groups with parameters (Q914661) (← links)
- Existentially closed semilattices (Q1083457) (← links)
- The complexity of the word problem for abelian l-groups (Q1095897) (← links)
- The complexity of linear problems in fields (Q1103602) (← links)
- Computing dimension and independent sets for polynomial ideals (Q1116332) (← links)
- On the number of term orders (Q1177866) (← links)
- Comprehensive Gröbner bases (Q1199704) (← links)
- Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162) (← links)
- A new approach for automatic theorem proving in real geometry (Q1272610) (← links)
- Simulation and optimization by quantifier elimination (Q1368693) (← links)
- Canonical comprehensive Gröbner bases (Q1878493) (← links)
- Comprehensive Gröbner bases and regular rings (Q2457335) (← links)
- Multiple object semilinear motion planning (Q2457425) (← links)
- (Q2702031) (← links)
- (Q2751364) (← links)
- (Q2760235) (← links)
- (Q3021921) (← links)
- (Q3028985) (← links)
- Applying Linear Quantifier Elimination (Q3140556) (← links)
- Quantifier Elimination for Distributive Lattices and Measure Algebras (Q3338227) (← links)
- Deciding linear-trigonometric problems (Q3454738) (← links)
- Local quantifier elimination (Q3454748) (← links)
- (Q3470575) (← links)
- Robust Stability for Parametric Linear ODEs (Q3508503) (← links)
- (Q3669394) (← links)
- (Q3693512) (← links)
- (Q3697076) (← links)
- (Q3708785) (← links)
- Quantifier elimination for modules (Q3749043) (← links)
- (Q3758805) (← links)
- (Q3767392) (← links)
- Admissible orders and linear forms (Q3801689) (← links)
- (Q3801690) (← links)
- (Q3838772) (← links)
- (Q3910513) (← links)
- (Q3964534) (← links)
- The model-theoretic significance of complemented existential formulas (Q3967521) (← links)
- (Q3998158) (← links)
- Two Model Theoretic Proofs of Ruckert's Nullstellensatz (Q4044569) (← links)
- Infinitary Model-Theoretic Properties Of χ-Saturated Structures (Q4055985) (← links)
- Negative-existentially complete structures and definability in free extensions (Q4101814) (← links)
- On the elementary theory of Hensel fields (Q4116442) (← links)
- Nullstellensätze — A Model Theoretic Framework (Q4163197) (← links)
- A note on ℵ0-categorical model-companions (Q4194940) (← links)
- (Q4226937) (← links)
- (Q4234205) (← links)
