Search Portage:
Email:
Password:
Remember Me:
Login
Register
Language Tools
Newest
News
GLSAs
Search
Browse
USE Flags
More...
- List View -
Browse sci-mathematics
agda
Agda is a proof assistant in Haskell.
axiom
Axiom is a general purpose Computer Algebra system
calc
An arbitrary precision C-like arithmetic system
coq
Coq is a proof assistant written in O'Caml
drgeo
Interactive geometry package
euler
Mathematical programming environment
fann
Fast Artificial Neural Network Library implements multilayer artificial neural networks in C
freemat
Environment for rapid engineering and scientific processing
geomview
Interactive Geometry Viewer
gimps
GIMPS - The Great Internet Mersenne Prime Search
ginac
GiNaC : a free CAS (computer algebra system)
glpk
GNU Linear Programming Kit
gmm
GMM++ is a generic C++ template library for sparse, dense and skyline matrices.
gretl
Regression, econometrics and time-series library
koctave
A KDE GUI for Octave numerical computing system
kseg
Interactive geometry program for exploring Euclidean geometry
lybniz
A function plotter program written in PyGTK
Macaulay2
research tool for commutative algebra and algebraic geometry
mathomatic
Automatic algebraic manipulator
maxima
Free computer algebra environment based on Macsyma
num-utils
A set of programs for dealing with numbers from the command line
nusmv
NuSMV: new symbolic model checker
octave
GNU Octave is a high-level language (MatLab compatible) intended for numerical computations
octave-forge
A collection of custom scripts, functions and extensions for GNU Octave
otter
An Automated Deduction System.
pari
pari (or pari-gp) : a software package for computer-aided number theory
pspp
Program for statistical analysis of sampled data.
rkward
An IDE/GUI for the R-project
scilab
Scientific software package for numerical computations (Matlab lookalike)
singular
Computer algebra system for polynomial computations
snns
Stuttgart Neural Network Simulator
wxmaxima
Graphical frontend to Maxima, using the wxWidgets toolkit.
xmds
XMDS - The eXtensible Multi-Dimensional Simulator
yacas
very powerful general purpose computer algebra system
agda
gmm
octave-forge
axiom
gretl
otter
calc
koctave
pari
coq
kseg
pspp
drgeo
lybniz
rkward
euler
Macaulay2
scilab
fann
mathomatic
singular
freemat
maxima
snns
geomview
num-utils
wxmaxima
gimps
nusmv
xmds
ginac
octave
yacas
glpk
