Fast theorem-proving and Wu's method

DOI10.1007/BF02948789MaRDI QIDQ1966111zbMATH OpenFDO

Authors Lian Li, Jimin Wang

Publication date 9 April 2000

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02948789

Mathematics Subject Classification ID

Cites work

• Applying Linear Quantifier Elimination
• scientific article; zbMATH DE number 1003259 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• On radical zero-dimensional ideals
• ON THE NORMAL PARAMETERIZATION OF CURVES AND SURFACES
• Quantifier elimination for real algebra -- the quadratic case and beyond
• Symbolic treatment of geometric degeneracies
• The complexity of the word problems for commutative semigroups and polynomial ideals
• The computational complexity of logical theories

This page was built for publication: Fast theorem-proving and Wu's method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1966111)