Journal of Computational and Applied Mathematics
Algebraic computation, numerical computation and verified inclusions
Trends in computer algebra
A code optimization package for REDUCE
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Software for Roundoff Analysis
ACM Transactions on Mathematical Software (TOMS)
Efficient Calculation of the Effects of Roundoff Errors
ACM Transactions on Mathematical Software (TOMS)
Automatic Differentiation of Computer Programs
ACM Transactions on Mathematical Software (TOMS)
Software for roundoff analysis, II
ACM Transactions on Mathematical Software (TOMS)
Computer Arithmetic in Theory and Practice
Computer Arithmetic in Theory and Practice
An arbitrary precision real arithmetic package in REDUCE
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Automatic Error Cumulation Control
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Gentran: an automatic code generation facility for REDUCE
ACM SIGSAM Bulletin
A new symbolic-numeric approach to stability analysis of difference schemes
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An approach for floating-point error analysis using computer algebra
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Hi-index | 0.00 |