Fast theorem-proving and Wu's method
From MaRDI portal
Publication:1966111
DOI10.1007/BF02948789zbMath0944.68533MaRDI QIDQ1966111
Publication date: 9 April 2000
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- Unnamed Item
- Quantifier elimination for real algebra -- the quadratic case and beyond
- On radical zero-dimensional ideals
- The computational complexity of logical theories
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Symbolic treatment of geometric degeneracies
- Applying Linear Quantifier Elimination
- ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES
This page was built for publication: Fast theorem-proving and Wu's method
