scientific article; zbMATH DE number 850969

zbMATH Open0838.68102MaRDI QIDQ4867574FDOQ4867574

Authors: Jingzhong Zhang, Lu Yang, Xiaorong Hou 

Publication date: 28 May 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 800143
• scientific article
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• scientific article; zbMATH DE number 41286
• scientific article; zbMATH DE number 4033134

zbMATH Keywords

Euclid's algorithmWu's divisionWE algorithm

Mathematics Subject Classification ID

Cited In (3)

• Catagenesis condition for approximate theorem-proving
• Automating algebraic proof systems is NP-hard
• Title not available (Why is that?)

This page was built for publication:

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