Gentoo Portage Overlays - Browse sci-mathematics

Newest News Repository news GLSAs Browse USE Flags Overlays More...

Browse sci-mathematics in overlay gentoo

software package for algebraic, geometric and combinatorial problems

An arbitrary precision C-like arithmetic system

C++ library for geometric algorithms and data structures

Coq is a proof assistant written in O'Caml

A program for scientific visualization and statistical analyis

Mathematical programming environment

Fast Artificial Neural Network Library implements multilayer artificial neural networks in C

FriCAS is a fork of Axiom computer algebra system

Frobby is a software system and project for computations with monomial ideals

Genius Mathematics Tool and the GEL Language

Interactive Geometry Viewer

Gfan computes Groebner fans and tropical varities

GIMPS - The Great Internet Mersenne Prime Search

C++ library and tools for symbolic calculations

GNU Linear Programming Kit

Generic C++ template library for sparse, dense and skyline matrices

Regression, econometrics and time-series library

Automatic algebraic manipulator

Free computer algebra environment based on Macsyma

metamath-databases

Normaliz is a tool for computations in affine monoids and more

A set of programs for dealing with numbers from the command line

High-level interactive language for numerical computations

Graphical output functions for Matlab and Octave

An Automated Deduction System.

A software package for computer-aided number theory

Program for statistical analysis of sampled data.

An IDE/GUI for the R-project

Computer algebra system for polynomial computations

A package for computing Triangulations Of Point Configurations and Oriented Matroids.

Graphical frontend to Maxima, using the wxWidgets toolkit.

Powerful general purpose computer algebra system