A program complex for solving systems of linear algebraic equations
ACM Transactions on Mathematical Software (TOMS)
High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines
ACM Transactions on Mathematical Software (TOMS) - The MIT Press scientific computation series
Provably monotone approximations
ACM SIGNUM Newsletter
Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations
IBM Journal of Research and Development
Best “ordering” for floating-point addition
ACM Transactions on Mathematical Software (TOMS)
Recipes for geometry and numerical analysis - Part I: an empirical study
SCG '88 Proceedings of the fourth annual symposium on Computational geometry
Automatic reasoning about numerical stability of rational expressions
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Perturbation analysis of Horner's method for nice cases
ACM SIGNUM Newsletter
Some statistics on Gaussian elimination with partial pivoting
ACM SIGNUM Newsletter
Improvement of complex arithmetic by use of double elements
ACM SIGNUM Newsletter
How accurate should numerical routines be?
ACM SIGNUM Newsletter
A new approach for surface intersection
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Fast evaluation of elementary mathematical functions with correctly rounded last bit
ACM Transactions on Mathematical Software (TOMS)
Rounding errors in certain algorithms involving Markov chains
ACM Transactions on Mathematical Software (TOMS)
Science, computational science, and computer science: at a crossroads
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Aberth's method for the parallel iterative finding of polynomial zeros
APL '94 Proceedings of the international conference on APL : the language and its applications: the language and its applications
Science, computational science, and computer science: at a crossroads
Communications of the ACM
Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations
IEEE Transactions on Computers
ACM Transactions on Mathematical Software (TOMS)
A deterministic strongly polynomial algorithm for matrix scaling and approximate permanents
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program
IEEE Transactions on Computers
Complexity estimates depending on condition and round-off error
Journal of the ACM (JACM)
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Automatic Controlled Precision Calculations
Journal of the ACM (JACM)
Computable Error Bounds for Direct Solution of Linear Equations
Journal of the ACM (JACM)
Iterative Refinement in Floating Point
Journal of the ACM (JACM)
Accumulation of Round-Off Error in Fast Fourier Transforms
Journal of the ACM (JACM)
A Mean Square Estimate of the Generated Roundoff Error in Constant Matrix Iterative Processes
Journal of the ACM (JACM)
Some a Posteriori Error Bounds in Floating-Point Computations
Journal of the ACM (JACM)
Some New Bounds on the Condition Numbers of Optimally Scaled Matrices
Journal of the ACM (JACM)
Scaling for Numerical Stability in Gaussian Elimination
Journal of the ACM (JACM)
Reducibility Among Floating-Point Graphs
Journal of the ACM (JACM)
Can Any Stationary Iteration Using Linear Information Be Globally Convergent?
Journal of the ACM (JACM)
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Principles for Testing Polynomial Zerofinding Programs
ACM Transactions on Mathematical Software (TOMS)
Software for Roundoff Analysis
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Developing a Single Numerical Algorithms Library for Different Machine Ranges
ACM Transactions on Mathematical Software (TOMS)
A Portable Fortran Program to Find the Euclidean Norm of a Vector
ACM Transactions on Mathematical Software (TOMS)
Environment Parameters and Basic Functions for Floating-Point Computation
ACM Transactions on Mathematical Software (TOMS)
A Simple but Realistic Model of Floating-Point Computation
ACM Transactions on Mathematical Software (TOMS)
Software for roundoff analysis, II
ACM Transactions on Mathematical Software (TOMS)
A statistical study of the accuracy of floating point number systems
Communications of the ACM - Special 25th Anniversary Issue
Computing standard deviations: accuracy
Communications of the ACM
On the stability of Gauss-Jordan elimination with pivoting
Communications of the ACM
A fast method for solving a class of tridiagonal linear systems
Communications of the ACM
On the distributions of significant digits and roundoff errors
Communications of the ACM
Numerical mathematics and computer science
Communications of the ACM
Variable-precision exponentiation
Communications of the ACM
Automatic errorbounds for simple zeros of analytic functions
Communications of the ACM
A statistical study of the accuracy of floating point number systems
Communications of the ACM
Accurate floating-point summation
Communications of the ACM
Numerical properties of the Ritz-Trefftz algorithm for optimal control
Communications of the ACM
Complex matrix inversion versus real
Communications of the ACM
On accurate floating-point summation
Communications of the ACM
Rapid computation of general interpolation formulas and mechanical quadrature rules
Communications of the ACM
The simplex method of linear programming using LU decomposition
Communications of the ACM
A university's educational program in computer science
Communications of the ACM
An improvement to iterative methods of polynomial factorization
Communications of the ACM
A modified Newton method for polynomials
Communications of the ACM
Communications of the ACM
A stopping criterion for polynomial root finding
Communications of the ACM
An undergraduate curriculum in numerical analysis
Communications of the ACM
Algorithm 256: modified Graeffe method [C2]
Communications of the ACM
Eliminating monotonous mathematics with FORMAC
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
Quantified constraints under perturbation
Journal of Symbolic Computation
Journal of Computational and Applied Mathematics
Digital Analysis of Rotated Images
IEEE Transactions on Pattern Analysis and Machine Intelligence
Applied Mathematics and Computation
Real computations with fake numbers
Journal of Complexity
ACM Transactions on Mathematical Software (TOMS)
Real Computations with Fake Numbers
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On the Complete Pivoting Conjecture for Hadamard Matrices of Order 16
NAA '00 Revised Papers from the Second International Conference on Numerical Analysis and Its Applications
Pseudozeros of multivariate polynomials
Mathematics of Computation
The Michelson-Morley Experiment: A Case Study in Validation
Computing in Science and Engineering
APL functions for precision control in floating-point computations
APL '75 Proceedings of seventh international conference on APL
Computational complexity and numerical stability
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
DAP—a distributed array processor
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Toward mechanical verification of properties of roundoff error propagation
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Some major modifications to a new method for solving ill-conditioned polynomial equations
ACM '72 Proceedings of the ACM annual conference - Volume 2
Optimal n-line Successive Over Relaxation
ACM '69 Proceedings of the 1969 24th national conference
Environment parameters and basic functions for floating-point computation
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Problem formulation using array processing techniques
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Improving iterative improvement
ACM '71 Proceedings of the 1971 26th annual conference
Iterative vs. a directive method for solving fourth order elliptic difference equations
ACM '66 Proceedings of the 1966 21st national conference
Enclosing clusters of zeros of polynomials
Journal of Computational and Applied Mathematics
Using semi-lagrangian formulations with automatic code generation for environmental modeling
Proceedings of the 2004 ACM symposium on Applied computing
A comparison of methods for accurate summation
ACM SIGSAM Bulletin
Journal of Complexity
Mathematics and Computers in Simulation
Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Analysis and applications of Priest's distillation
ACM Transactions on Mathematical Software (TOMS)
ACM SIGNUM Newsletter
Principles and preferences for computer arithmetic
ACM SIGNUM Newsletter
Software basics for computational mathematics
ACM SIGNUM Newsletter
Error control in the numerical inversion of the eigenvector matrix
ACM SIGNUM Newsletter
The singular value decomposition in multivariate statistics
ACM SIGNUM Newsletter
Test for (IN) equality, subtraction, proof of correctness
ACM SIGNUM Newsletter
ACM Transactions on Mathematical Software (TOMS)
Eigenvalue condition numbers: zero-structured versus traditional
Journal of Computational and Applied Mathematics
Pseudozero set of interval polynomials
Proceedings of the 2006 ACM symposium on Applied computing
Error bounds from extra-precise iterative refinement
ACM Transactions on Mathematical Software (TOMS)
Symbolic-numeric sparse interpolation of multivariate polynomials
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Solving linear programs with finite precision: II. algorithms
Journal of Complexity
On counting n-ary compositions
ACM SIGNUM Newsletter
Certifying linear equation solvers
ACM SIGNUM Newsletter
Residual iteration and accurate polynomial evaluation for shape-interrogation applications
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
Evaluation algorithms for multivariate polynomials in Bernstein--Bézier form
Journal of Approximation Theory
A verified method for bounding clusters of zeros of analytic functions
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
A one parameter family of locally quartically convergent zero-finding methods
Journal of Computational and Applied Mathematics
Mixed Precision Iterative Refinement Techniques for the Solution of Dense Linear Systems
International Journal of High Performance Computing Applications
On the Floating Point Representation of Complex Numbers
IEEE Transactions on Computers
ACM Transactions on Mathematical Software (TOMS)
International Journal of Parallel, Emergent and Distributed Systems
Fast Fourier Transforms: for fun and profit
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
Accurate solution of linear algebraic systems: a survey
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
Computer generated graphic segments in a raster display
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
Iterative refinement for Neville elimination
International Journal of Computer Mathematics - RECENT ADVANCES IN COMPUTATIONAL AND APPLIED MATHEMATICS IN SCIENCE AND ENGINEERING
A software system for tracing numerical significance during computer program execution
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Microprogrammed significance arithmetic: a perspective and feasibility study
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Comparing Some Methods and Preconditioners for Hydropower Plant Flow Simulations
High Performance Computing for Computational Science - VECPAR 2008
Journal of Computational and Applied Mathematics
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Floats and Ropes: A Case Study for Formal Numerical Program Verification
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Low cost high performance uncertainty quantification
Proceedings of the 2nd Workshop on High Performance Computational Finance
Maintaining a sparse inverse in the simplex method
IBM Journal of Research and Development
Running error for the evaluation of rational Bézier surfaces
Journal of Computational and Applied Mathematics
Solving linear programs with finite precision: II. Algorithms
Journal of Complexity
Extension of Henrici's method to matrix sequences
Journal of Computational and Applied Mathematics
Optimal adjustment of Fractional-Order Hold circuits
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
Choose the damping, choose the ranking?
Journal of Discrete Algorithms
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability
Proceedings of the 19th international symposium on Software testing and analysis
Improving accuracy for matrix multiplications on GPUs
Scientific Programming
Numeric-symbolic exact rational linear system solver
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Applied Numerical Mathematics
Brief paper: Test of pole-zero cancellation in estimated models
Automatica (Journal of IFAC)
Perturbations of invariant subspaces of unreduced Hessenberg matrices
Computers & Mathematics with Applications
Parallel reduction to hessenberg form with algorithm-based fault tolerance
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Hi-index | 0.42 |