Gentoo Portage Overlays - Browse sci-mathematics

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

Browse sci-mathematics

software package for algebraic, geometric and combinatorial problems

Proof assistant in Haskell

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

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

FriCAS is a fork of Axiom computer algebra system

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

System for computational discrete algebra

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

lattE-macchiato

Automatic algebraic manipulator

Free computer algebra environment based on Macsyma

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

research tool for polyhedral geometry and combinatorics

Program for statistical analysis of sampled data.

Qt4 relational algebra application

An IDE/GUI for the R-project

sage-data-combinatorial_designs

sage-data-conway_polynomials

sage-data-elliptic_curves

sage-data-graphs

sage-data-polytopes_db

sage_numerical_backends_coin

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.

XMDS - The eXtensible Multi-Dimensional Simulator

Powerful general purpose computer algebra system