Gentoo Portage Overlays - Browse sci-mathematics

Newest News GLSAs Browse USE Flags Overlays More...

Browse sci-mathematics

software package for algebraic, geometric and combinatorial problems

Proof assistant in Haskell

A dependently typed programming language

agda-executable

A dependently typed programming language.

An adaptive hierarchical finite element toolbox

high-level interpreted language for numerical analysis

APRON is a library dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation

Interpreter for big integer and multi-precision floating point arithmetic

Program to solve assembly and interlocking puzzles

Field-theory motivated computer algebra system

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

Interactive geometry package

Programs for enumerating and computing with elliptic curves defined over the rational numbers.

Elliptic Curve Method for Integer Factorization

Mathematical programming environment

Extcalc scientific calculator based QT

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

William Hart's GPL'd highly optimized multi-polynomial quadratic sieve for integer factorization

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

Solve PDEs using FEM on 2d and 3d domains

Environment for rapid engineering and scientific processing

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

GUAVA is a package that implements coding theory algorithms in GAP

A tool to help verifying and proving properties on floating-point or fixed-point arithmetic.

This library allows the certificates Gappa generates to be imported by the Coq.

Java Mathematical Graphing System

Genius Mathematics Tool and the GEL Language

genus2reduction

Conductor and Reduction Types for Genus 2 Curves

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

A tool that allows you to create, manipulate and study graphs

Regression, econometrics and time-series library

an efficient universal simulator of neural networks

Qt front-end for Computer Algebra System mainly maxima

A KDE GUI for Octave numerical computing system

Interactive geometry program for exploring Euclidean geometry

lattE-macchiato

lattE-macchiato consists of tools for lattice point enumeration

A program for calculating with L-functions

Double precision SIMD-oriented Fast Mersenne Twister

SIMD-oriented Fast Mersenne Twister

A Computer algebra package for Lie group computations

Fast LTL to Büchi Automata Translation

A function plotter program written in PyGTK

research tool for commutative algebra and algebraic geometry

Automatic algebraic manipulator

Free computer algebra environment based on Macsyma

A Python data processing framework.

Machine Learning PYthon (mlpy) is a high-performance Python library for predictive modeling

NETGEN is an automatic 3d tetrahedral mesh generator

Normaliz is a tool for computations in affine monoids and more

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

NuSMV: new symbolic model checker

High-level interactive language for numerical computations

Graphical output functions for Matlab and Octave

A collection of custom scripts, functions and extensions for GNU Octave

octave-forge-audio

Audio recording, processing and playing tools for use with octave

octave-forge-bioinfo

Bioinformatics manipulation

octave-forge-combinatorics

Combinatorics functions, incuding partitioning.

octave-forge-communications

Digital Communications, Error Correcting Codes (Channel Code), Source Code functions, Modulation and Galois Fields.

octave-forge-control

Additional Octave Control tools

octave-forge-data-smoothing

Algorithms for smoothing noisy data

octave-forge-econometrics

Econometrics functions including MLE and GMM based techniques.

octave-forge-financial

Financial manipulation and plotting functions

octave-forge-fixed

Fixed point real and complex matrix toolbox.

octave-forge-general

General tools for octave.

octave-forge-gsl

Octave bindings to the GNU Scientific Library

octave-forge-ident

Addition System Indentification Control functions.

octave-forge-image

Provides functions for reading, writing, and processing images.

octave-forge-informationtheory

Functions and routines for basic Information Theory definitions, and source coding.

octave-forge-io

Input/Output in external formats.

octave-forge-irsa

Irregular sampling analysis.

octave-forge-linear-algebra

Additional linear algebra code, including general SVD and matrix functions.

octave-forge-meta

Octave forge meta package to pull in all separate octave-forge packages

octave-forge-miscellaneous

Miscellaneous tools including waitbar, xml tools, etc.

octave-forge-nnet

A feed forward multi-layer neural network.

octave-forge-octcdf

A NetCDF interface for octave.

octave-forge-octgpr

Package for interpolating and smoothing scattered multidimensional data using Gaussian Process.

octave-forge-odebvp

Approximate the solution of boundary-value problem by the linear finite-diffence method.

octave-forge-odepkg

A toolkit for Differential Equations and Initial Value Problems.

octave-forge-optim

Unconstrained Non-linear Optimization toolkit.

octave-forge-optiminterp

An optimal interpolation toolbox for octave.

octave-forge-outliers

Grubbs, Dixon and Cochran tests for outlier detection and p-value approximating routines.

octave-forge-parallel

Parallel execution package for cluster computers.

octave-forge-physicalconstants

Physical Constants from Atomic & Molecular Physics, taken from NIST database.

octave-forge-plot

Additional ploting tools for Octave..

octave-forge-quaternion

Package for the manipulation of Quaternion's used for frame transformation

octave-forge-signal

Signal processing tools, including filtering, windowing and display functions.

octave-forge-sockets

Socket functions.

octave-forge-specfun

Special functions including ellipitic functions, etc.

octave-forge-special-matrix

Additional Special Matrices for Octave.

octave-forge-splines

Additional Cubic spline functions.

octave-forge-statistics

Additional statistics functions for Octave.

octave-forge-strings

Additional manipulation functions

octave-forge-struct

Additional Structure manipulations functions.

octave-forge-symbolic

Symbolic toolbox based on GiNaC and CLN.

octave-forge-time

Additional date manipulation tools.

octave-forge-video

Provides functions for creating and reading avi videos

octave-forge-vrml

3D graphics using VRML.

octave-forge-zenity

A set of functions for creating simple graphical user interfaces.

Development environment for Octave.

Symbolic and algebraic computations system

An Automated Deduction System.

A Package for Analyzing Lattice Polytopes

A software package for computer-aided number theory

Model-independent Parameter ESTimation for model calibration and predictive uncertainty analysis.

Library for reasoning about floating point numbers in coq.

Polynomials over Boolean Rings

research tool for polyhedral geometry and combinatorics

Program for statistical analysis of sampled data.

A modular machine learning library for Python

a quantum chemistry package written in Python.

QtOctave is a Qt4 front-end for Octave

Ratpoints tries to find all rational points on a hyperelliptic curve

Qt4 relational algebra application

An IDE/GUI for the R-project

A collection of programs solving rubik's cube

Math software for algebra, geometry, number theory, cryptography and numerical computation

Sage baselayout

sage-baselayout

C library for Sage

Sage's core componenents

sage-data-conway_polynomials

sage-data-cremona-ellcurve

sage-data-cunningham-tables

sage-data-elliptic_curves

sage-data-graphs

sage-data-jones-numfield

sage-data-kohel

sage-data-odlyzko-zeta

sage-data-polytopes_db

sage-data-sloane-oeis

sage-data-stein-watkins-mini

sage-data-symbolic-data

Documentation for Sage

Extcode for Sage

SageTeX package allows to embed code from the Sage mathematics software suite into LaTeX documents

The Sage Notebook is a web-based graphical user interface for mathematical software

sage-notebook-server

Sage's version of singular: Computer algebra system for polynomial computations

Scientific software package for numerical computations

Computer algebra system for polynomial computations

Stuttgart Neural Network Simulator

Frontend to surf to visualize algebraic curves and surfaces

Computes special values of symmetric power elliptic curve L-functions

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

Why is a software verification platform.

Graphical frontend to Maxima, using the wxWidgets toolkit.

XMDS - The eXtensible Multi-Dimensional Simulator

Powerful general purpose computer algebra system

Language for scientific computing and rapid prototyping