Fillmore--Springer--Cnops Construction Implemented in GiNaC

Finding the "truncated" polynomial that is closest to a function

FISLAB - the Fuzzy Inference Tool-box for SCILAB

Formally Verified Argument Reduction with a Fused-Multiply-Add

Genbit Compress Tool(GBC): A Java-Based Tool to Compress DNA Sequences and Compute Compression Ratio(bits/base) of Genomes

Geometric scaling: a simple preconditioner for certain linear systems with discontinuous coefficients

GPCG: A Case Study in the Performance and Scalability of Optimization Algorithms

GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs

Groebner bases in Java with applications in computer graphics

Having Fun with Lambert W(x) Function

HONEI: A collection of libraries for numerical computations targeting multiple processor architectures

How Can I Do That with ACL2? Recent Enhancements to ACL2

How to obtain efficient GPU kernels: an illustration using FMM & FGT algorithms

How to Run Mathematica Batch-files in Background ?

Hyper-Systolic Matrix Multiplication

Iterative Methods for Systems' Solving - a C# approach

LIBOPT - An environment for testing solvers on heterogeneous collections of problems - Version 1.0

Limits of Educational Soft "GeoGebra" in a Critical Constructive Review

LINPRO: linear inverse problem library for data contaminated by statistical noise

LSMR: An iterative algorithm for sparse least-squares problems