On the computer solution of symmetric homogeneous triangle inequalities
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Quantifier elimination and the sign variation method for real root isolation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Defect-controlled numerical methods and shadowing for chaotic differential equations
Proceedings of the eleventh annual international conference of the Center for Nonlinear Studies on Experimental mathematics : computational issues in nonlinear science: computational issues in nonlinear science
Solving problems in scientific computing using MAPLE and MATLAB
Solving problems in scientific computing using MAPLE and MATLAB
Analytical Optimization Using Computer Algebraic Manipulation
ACM Transactions on Mathematical Software (TOMS)
| Hi-index | 0.00 |