This package provides the C library of RBio. It can be used for reading and writing sparse matrices in the Rutherford/Boeing format.

SMTInterpol is an SMT solver, that can compute Craig interpolants for various theories.

Arccon is part of the Arcane framework, providing core functionality for the Arcane development platform.

muParser is an extensible high performance math parser library. It is based on transforming an expression into a bytecode and precalculating constant parts of it.

On modern CPUs and GPUs, integer division is several times slower than multiplication. FXdiv implements an algorithm to replace an integer division with a multiplication and two shifts. This algorithm improves performance when an application performs repeated divisions by the same divisor.

HighFive is a header-only C++11 friendly interface for libhdf5. It supports STL vector/string, Boost::UBLAS, Boost::Multi-array and Xtensor; and handles C++ from/to HDF5 with automatic type mapping. HighFive does not require additional libraries.

Matio is a library for reading and writing MAT files. It supports compressed MAT files, as well as newer (version 7.3) MAT files.

Gfan is a software package for computing Gröbner fans and tropical varieties.

The GNU Scientific Library is a library for numerical analysis in C and C++. It includes a wide range of mathematical routines, with over 1000 functions in total. Subject areas covered by the library include: differential equations, linear algebra, Fast Fourier Transforms and random numbers.

The dune-subgrid module marks elements of another hierarchical dune grid. The set of marked elements can then be accessed as a hierarchical dune grid in its own right. Dune-Subgrid provides the full grid interface including adaptive mesh refinement.

AMD is a set of routines for ordering a sparse matrix prior to Cholesky factorization (or for LU factorization with diagonal pivoting).

HDF5 is a suite that makes possible the management of extremely large and complex data collections.

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

GKlib is a library of various helper routines and frameworks used by software from KarypisLab, such as METIS.

The dozenal suite is a set of programs designed to assist with working in the dozenal (also called "duodecimal" or "base twelve") system. It includes number converters (dozenal-to-decimal and decimal-to-dozenal), an RPN calculator, a graphical calculator, a metric system converter (works with imperial, U.S. customary, SI metric, and the dozenal TGM), a pretty-printer for dozenal numbers, a date-and-time program, and a dozenal calendar programs, complete with events and to-dos.

SUNDIALS is a family of software packages implemented with the goal of providing robust time integrators and nonlinear solvers that can easily be incorporated into existing simulation codes.

This DUNE module provides interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

This package provides an interface and implementation for shape functions defined on the DUNE reference elements. In addition to the shape function, interpolation operators and special keys are provided which can be used to assemble global function spaces on finite-element grids.

Py-BOBYQA is a flexible package for solving bound-constrained general objective minimization, without requiring derivatives of the objective. At its core, it is a Python implementation of the BOBYQA algorithm by Powell,but Py-BOBYQA has extra features improving its performance on some problems. Py-BOBYQA is particularly useful when evaluations of the objective function are expensive and/or noisy.

LibPoly is a C library for manipulating polynomials to support symbolic reasoning engines that need to reason about polynomial constraints.

CryptoMiniSat is an incremental SAT solver with both command line and library (C++, C, Python) interfaces. The command-line interface takes a CNF as an input in the DIMACS format with the extension of XOR clauses. The library interfaces mimic this and also allow incremental solving, including assumptions.

This package provides a collection of basic programming tools for numerical computation, including Fast Fourier Transforms, Spherical Harmonic Transforms, non-equispaced Fourier transforms, as well as some concrete applications like 4pi convolution on the sphere and gridding/degridding of radio interferometry data.

This package provides a Django front end for Mathics3.

This package provides a Cython interface to the C++ library primecount.

CCOLAMD is library for computing a permutation vector for a matrix with which the LU factorization becomes sparser. It is a variant of COLAMD which has the the option to apply constraints to the ordering.