Tactics for Reasoning modulo AC in Coq

Technique detection software for Sparse Matrices

Tensors and n-d Arrays:A Mathematics of Arrays (MoA), psi-Calculus and the Composition of Tensor and Array Operations

TeXmacs-Reduce interface

The development of a fuzzy regulator with an entry and an output in Fislab

The generating of Fractal Images Using MathCAD Program

The GF Mathematics Library

The Kernel Quantum Probabilities (KQP) Library

The M4RIE library for dense linear algebra over small fields with even characteristic

The MathScheme Library: Some Preliminary Experiments

The myth of equidistribution for high-dimensional simulation

The NumPy array: a structure for efficient numerical computation

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems

Theory Presentation Combinators

Throughput-Distortion Computation Of Generic Matrix Multiplication: Toward A Computation Channel For Digital Signal Processing Systems

Towards an Efficient Tile Matrix Inversion of Symmetric Positive Definite Matrices on Multicore Architectures

Transferring a symbolic polynomial expression from \emph{Mathematica} to \emph{Matlab}

Tsnnls: A solver for large sparse least squares problems with non-negative variables