Cites work
Cited in
(6)- Elimination in control theory
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Matroids algebraic over F(t) are algebraic over F
- Invariant computations for analytic projective geometry
- Elimination procedures for mechanical theorem proving in geometry
- Analytically equivalent ideals
This page was built for publication: Some remarks on Hilbert's Nullstellensatz
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q768207)