The parallel numerical method of proving the constructive geometric theorem

zbMath0684.68102MaRDI QIDQ1825683

Mike Deng

Publication date: 1989

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

parallel numerical methodsignificant digit length of parametersthe highest degree in variables of these polynomials

Mathematics Subject Classification ID

Related Items (1)

The parallel numerical method of mechanical theorem proving

This page was built for publication: The parallel numerical method of proving the constructive geometric theorem