Advances on the simplification of sine-cosine equations

Authors:
Jaime Gutierrez;Tomas Recio
Affiliations:
Univ. de Cantobria, Santander, Spain;Univ. de Cantobria, Santander, Spain
Venue:
Journal of Symbolic Computation
Year:
1998

Citing 0
Cited 4

Deciding linear-trigonometric problems

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Cited References

Computer algebra handbook
Rational simplification modulo a polynomial ideal

Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Automated simplification of large symbolic expressions

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract