Classifying extrema using intervals

Comments on the Reliability of Lawson and Hanson's Linear Distance Programming Algorithm: Subroutine LDP

Computational Complexity of Iterated Maps on the Interval (Extended Abstract)

Computer validated proofs of a toolset for adaptable arithmetic

Conformal Computing: Algebraically connecting the hardware/software boundary using a uniform approach to high-performance computation for software and hardware applications

Coupling Methodology within the Software Platform Alliances

Data sets of very large linear feasibility problems solved by projection methods

Determination of Orbital Parameters for Visual Binary Stars Using a Fourier-Series Approach

Developing numerical libraries in Java

Development of a Java Package for Matrix Programming

DOLFIN: Automated Finite Element Computing

Efficient Decomposition of Dense Matrices over GF(2)

Efficient Dense Gaussian Elimination over the Finite Field with Two Elements

Efficient Multiplication of Dense Matrices over GF(2)

Estudo e Implementacao de Algoritmos de Roteamento sobre Grafos em um Sistema de Informacoes Geograficas

Evaluating polynomials in several variables and their derivatives on a GPU computing processor

Evaluation of interval extension of the power function by graph decomposition

Factorization of Non-Commutative Polynomials

Fast Computational Algorithms for the Discrete Wavelet Transform and Applications of Localized Orthonormal Bases in Signal Classification

Fast solving of Weighted Pairing Least-Squares systems