Numerical computing with IEEE floating point arithmetic

Computer assisted proof of optimal approximability results

SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms

A first course in computational science: (why a math book isn't enough)

SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education

Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit

ACM Transactions on Mathematical Software (TOMS)

Numerical difficulties in pre-university informatics education and competitions

Informatics in education

Floating point arithmetic teaching for computational science

Future Generation Computer Systems - Special issue: Selected papers from the workshop on education in computational sciences held at the ICCS 2002

An Exponentiation Unit for an OpenGL Lighting Engine

IEEE Transactions on Computers

Where did all my decimals go?

Journal of Computing Sciences in Colleges

Real-time arithmetic unit

Real-Time Systems

The design and implementation of the MRRR algorithm

ACM Transactions on Mathematical Software (TOMS)

Black-box algorithms for sampling from continuous distributions

Proceedings of the 38th conference on Winter simulation

Inverse transformed density rejection for unbounded monotone densities

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Algorithm 880: A testing infrastructure for symmetric tridiagonal eigensolvers

ACM Transactions on Mathematical Software (TOMS)

Improved bounds on the average length of longest common subsequences

Journal of the ACM (JACM)

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

Numerical Validation in Current Hardware Architectures

Very-high-order weno schemes

Journal of Computational Physics

Reconfigurable custom floating-point instructions (abstract only)

Proceedings of the 18th annual ACM/SIGDA international symposium on Field programmable gate arrays

An approach to teaching computer arithmetic

VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science

Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors

Proceedings of the 4th International Workshop on Parallel and Symbolic Computation

Random variate generation by numerical inversion when only the density is known

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Deferring dag construction by storing sums of floats speeds-up exact decision computations based on expression dags

ICMS'10 Proceedings of the Third international congress conference on Mathematical software

On the Semidefinite B-Arnoldi Method

SIAM Journal on Matrix Analysis and Applications

A Sinc Function Analogue of Chebfun

SIAM Journal on Scientific Computing

A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing

Fundamenta Informaticae

Bayesian network classifiers with reduced precision parameters

ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I

Length scale for characterising continuous optimization problems

PPSN'12 Proceedings of the 12th international conference on Parallel Problem Solving from Nature - Volume Part I

Most Tensor Problems Are NP-Hard

Journal of the ACM (JACM)

Computation of the monodromy matrix in floating point arithmetic with the Wilkinson Model

Computers & Mathematics with Applications