Automated solving methods for a trigonometric indeterminate equation

MaRDI QIDQ2917043zbMATH OpenFDO

Authors Jia Xu, Yong Yao

Publication date 5 October 2012

Published in Journal of Systems Science and Mathematical Sciences (Search for Journal in Brave)

zbMATH Keywords

automated solvingindeterminate equation

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Diophantine equations (11D99)

Recommendations

• scientific article; zbMATH DE number 3975560
• scientific article; zbMATH DE number 4099410
• scientific article; zbMATH DE number 556282
• Some approaches to finding solutions of algebraic and transcendental equations
• Advances on the simplification of sine-cosine equations

Cited in

(3)

• scientific article; zbMATH DE number 6719570 (Why is no real title available?)
• scientific article; zbMATH DE number 3975560 (Why is no real title available?)
• scientific article; zbMATH DE number 4099410 (Why is no real title available?)

This page was built for publication: Automated solving methods for a trigonometric indeterminate equation

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