A criterion for dependency of algebraic equations with applications to automated theorem proving
From MaRDI portal
Publication:1333975
zbMath0820.68108MaRDI QIDQ1333975
Xiaorong Hou, Lu Yang, Jing-Zhong Zhang
Publication date: 3 July 1995
Published in: Science in China. Series A (Search for Journal in Brave)
Related Items
Extended Jury criterion, Computing triangular systems and regular systems, Recent advances in automated theorem proving on inequalities