Differentiation in PASCAL-SC: type GRADIENT
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Implementation and test of the ACRITH facility in a system/370
IEEE Transactions on Computers
Numerical stability of geometric algorithms
SCG '87 Proceedings of the third annual symposium on Computational geometry
IEEE Transactions on Computers
ACM SIGPLAN Notices
Recipes for geometry and numerical analysis - Part I: an empirical study
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Fast evaluation of elementary mathematical functions with correctly rounded last bit
ACM Transactions on Mathematical Software (TOMS)
An improved approach to automatic error cumulation control
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
How many operation units are adequate?
ACM SIGARCH Computer Architecture News
ADA software for teaching modern computer arithmetic
ACM SIGNUM Newsletter
Systolic Super Summation with Reduced Hardware
IEEE Transactions on Computers
Error-free boundary evaluation using lazy rational arithmetic: a detailed implementation
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Rounding errors in certain algorithms involving Markov chains
ACM Transactions on Mathematical Software (TOMS)
Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations
IEEE Transactions on Computers
Robust and efficient evaluation of functionals on parametric surfaces
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
IEEE Transactions on Computers
Computational Verifiability and Feasibility of the ASCI Program
IEEE Computational Science & Engineering
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Topological interpretation of fuzzy sets and intervals
Fuzzy Sets and Systems - Special issue: Interfaces between fuzzy set theory and interval analysis
Computer arithmetic and programming languages
APL '82 Proceedings of the international conference on APL
ACM Transactions on Mathematical Software (TOMS)
Towards a formal notion of trust
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
More accuracy at fixed precision
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Complex standard functions and their implementation in the CoStLy library
ACM Transactions on Mathematical Software (TOMS)
The best interval representations of t-norms and automorphisms
Fuzzy Sets and Systems
Additive preconditioning and aggregation in matrix computations
Computers & Mathematics with Applications
Bivariate Product Cubature Using Peano Kernels for Local Error Estimates
Journal of Scientific Computing
A new error-free floating-point summation algorithm
Computers & Mathematics with Applications
High Performance Computing for Computational Science - VECPAR 2008
Dense linear system: a parallel self-verified solver
International Journal of Parallel Programming
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Bounded lattice t-norms as an interval category
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Algorithm 908: Online Exact Summation of Floating-Point Streams
ACM Transactions on Mathematical Software (TOMS)
A hierarchical environment for interactive test engineering
ITC'94 Proceedings of the 1994 international conference on Test
The impact of data distribution in accuracy and performance of parallel linear algebra subroutines
VECPAR'10 Proceedings of the 9th international conference on High performance computing for computational science
Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations
SIAM Journal on Matrix Analysis and Applications
Reconstructing metabolic networks using interval analysis
WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
Reliable computation of eigenvalues of the magnetostatic integral operator
Mathematical and Computer Modelling: An International Journal
Computation of the monodromy matrix in floating point arithmetic with the Wilkinson Model
Computers & Mathematics with Applications
Hi-index | 0.01 |