On algorithms for solving systems of polynomial equations
ACM SIGSAM Bulletin
Sufficiency analysis for the calculus of variations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Automatic Error Analysis Using Computer Algebraic Manipulation
ACM Transactions on Mathematical Software (TOMS)
Qualitative analysis of mathematical expressions using computer symbolic mathematics
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Hi-index | 0.00 |