Search: gentoo-sources

sci-libs/coinor-bcp

COIN-OR Branch-Cut-Price Framework

sci-libs/coinor-osi

COIN-OR Open Solver Interface

sci-libs/coinor-smi

COIN-OR Stochastic modelling interface

sci-libs/brial

A C++ library for polynomials over boolean rings

sci-libs/buddy

Binary Decision Diagram Package

sci-libs/cdd+

Another implementation of the double description method

sci-libs/cmpfit

MINPACK-1 Least Squares Fitting Library in C

sci-libs/coinor-clp

COIN-OR linear programming solver

sci-libs/cxsparse

Extended sparse matrix package

sci-libs/galib

Library for genetic algorithms in C++ programs

sci-libs/gamer

Geometry-preserving Adaptive MeshER

sci-libs/givaro

C++ library for arithmetic and algebraic computations

sci-libs/hypre

Parallel matrix preconditioners library

sci-libs/libticonv

Charset conversion library for TI calculators

sci-libs/profnet

Neural network architecture for profacc

sci-libs/punc

Portable Understructure for Numerical Computing

sci-libs/qrupdate

Library for updating of QR and Cholesky decompositions

sci-libs/shapelib

Library for manipulating ESRI Shapefiles

sci-libs/suitesparseconfig

Common configurations for all packages in suitesparse

sci-libs/superlu_mt

Multithreaded sparse LU factorization library

sci-libs/tamu_anova

ANOVA Extensions to the GNU Scientific Library

sci-libs/taucs

C library of sparse linear solvers

sci-libs/xylib

Experimental x-y data reading library

sci-libs/armadillo

Streamlined C++ linear algebra library

sci-libs/clblas

Library containing BLAS routines for OpenCL

sci-libs/hipBLAS

ROCm BLAS marshalling library

sci-libs/hipCUB

Wrapper of rocPRIM or CUB for GPU parallel primitives

sci-libs/hipRAND

CU / ROCM agnostic hip RAND implementation

sci-libs/hipSPARSE

ROCm SPARSE marshalling library

sci-libs/libaec

Adaptive Entropy Coding library

sci-libs/libcifpp

Code to work with mmCIF and PDB files

sci-libs/libigl

A simple C++ geometry processing library

sci-libs/libsc

Support for parallel scientific applications

sci-libs/libsvm

Library for Support Vector Machines

sci-libs/mkl

Intel Math Kernel Library

sci-libs/volk

vector optimized library of kernels

sci-libs/voro++

3D Voronoi cell software library

sci-mathematics/coq-mathcomp

Mathematical Components for the Coq proof assistant

sci-mathematics/bertini

Software for Numerical Algebraic Geometry

sci-mathematics/calc

Arbitrary precision C-like arithmetic system

sci-mathematics/mathmod

Plot parametric and implicit surfaces

sci-mathematics/normaliz

Tool for computations in affine monoids and more

sci-mathematics/picosat

SAT solver with proof and core support

sci-mathematics/why3

Platform for deductive program verification

sci-mathematics/alectryon

Toolkit for literate programming in Coq/Rocq

sci-mathematics/gappalib-coq

Allows the certificates Gappa generates to be imported by the Coq

sci-mathematics/ginac

C++ library and tools for symbolic calculations

sci-mathematics/manifold

Geometry library for topological robustness

sci-mathematics/plfit

Fit power-law distributions to empirical data

sci-mathematics/polymake

Tool for polyhedral geometry and combinatorics