IEEE Transactions on Computers
Automatic reasoning about numerical stability of rational expressions
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
ADA software for teaching modern computer arithmetic
ACM SIGNUM Newsletter
Systolic Super Summation with Reduced Hardware
IEEE Transactions on Computers
An interactive approach for extending IEEE arithmetic: auxiliary processor AP87
APL '92 Proceedings of the international conference on APL
Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations
IEEE Transactions on Computers
ACM Transactions on Mathematical Software (TOMS)
Interval analysis and fuzzy set theory
Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Not seeing the roots for the branches: multivalued functions in computer algebra
ACM SIGSAM Bulletin
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
Journal of Computational and Applied Mathematics
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS
Numerical Validation in Current Hardware Architectures
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
Numerical Validation in Current Hardware Architectures
Using C-XSC for high performance verified computing
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Best k-digit rational bounds for irrational numbers: Pre- and super-computer era
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |