Search:

sci-libs/galib

Library for genetic algorithms in C++ programs

sci-libs/gerris

Gerris Flow Solver

sci-libs/hdf

General purpose library and format for storing scientific data

sci-libs/hypre

Parallel matrix preconditioners library

sci-libs/libnova

Celestial Mechanics and Astronomical Calculation Library

sci-libs/mumps

MUltifrontal Massively Parallel sparse direct matrix Solver

sci-libs/netcdf-cxx

C++ library for netCDF

sci-libs/netcdf-fortran

Scientific library and interface for array oriented data access

sci-libs/superlu

Sparse LU factorization library

sci-libs/superlu_mt

Multithreaded sparse LU factorization library

sci-libs/armadillo

Streamlined C++ linear algebra library

sci-libs/ceres-solver

Nonlinear least-squares minimizer

sci-libs/cgnslib

CFD General Notation System standard library

sci-libs/clblas

Library containing BLAS routines for OpenCL

sci-libs/clblast

Tuned OpenCL BLAS

sci-libs/dealii

Solving partial differential equations with the finite element method

sci-libs/dlib

Numerical and networking C++ library

sci-libs/flann

Fast approximate nearest neighbor searches in high dimensional spaces

sci-libs/gmsh

Three-dimensional finite element mesh generator

sci-libs/libcifpp

Code to work with mmCIF and PDB files

sci-libs/libsc

Support for parallel scientific applications

sci-libs/matio

Library for reading and writing matlab files

sci-libs/metis

Package for unstructured serial graph partitioning

sci-libs/mkl

Intel Math Kernel Library

sci-libs/nanoflann

C++ header-only library for Nearest Neighbor (NN) search wih KD-trees

sci-libs/netcdf

Scientific library and interface for array oriented data access

sci-libs/p4est

Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees

sci-libs/parmetis

Parallel (MPI) unstructured graph partitioning library

sci-libs/pastix

Parallel solver for very large sparse linear systems

sci-libs/pcl

2D/3D image and point cloud processing

sci-libs/rtabmap

Real-Time Appearance-Based Mapping (RGB-D Graph SLAM)

sci-libs/sundials

Suite of nonlinear solvers

sci-libs/vtk

The Visualization Toolkit

sci-mathematics/rngstreams

Multiple independent streams of pseudo-random numbers

sci-mathematics/unuran

Universal Non-Uniform Random number generator

sci-mathematics/singular

Computer algebra system for polynomial computations

sci-mathematics/bertini

Software for Numerical Algebraic Geometry

sci-mathematics/cubicle

Model checker for verifying properties of array-based systems

sci-mathematics/dataplot

Program for scientific visualization and statistical analyis

sci-mathematics/glpk

GNU Linear Programming Kit

sci-mathematics/nauty

Computing automorphism groups of graphs and digraphs

sci-mathematics/pari

Computer-aided number theory C library and tools

sci-mathematics/prng

Pseudo-Random Number Generator library

sci-mathematics/prover9

Automated theorem prover for first-order and equational logic

sci-mathematics/spin

An efficient logic-model checker for the verification of multi-threaded code

sci-mathematics/topcom

Computing Triangulations Of Point Configurations and Oriented Matroids

sci-mathematics/twelf

Implementation of the logical framework LF

sci-mathematics/alt-ergo

Automatic theorem prover

sci-mathematics/btor2tools

Generic parser and tools for the BTOR2 format

sci-mathematics/cgal

C++ library for geometric algorithms and data structures