^^

'math' section (17/1)

/main/4ti2/4ti2

mathematical tool suite for problems on linear spaces -- tools

4ti2 is a mathematical software package for algebraic, geometric and combinatorial problems on linear spaces. . This package provides the 4ti2 tool suite.


Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the Coq support library.


Computational Logic for Applicative Common Lisp: source files

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the lisp source files to the main ACL2 binary.


Computational Logic for Applicative Common Lisp: library sources

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.

/main/acl2/acl2

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the base ACL2 binary.


Computational Logic for Applicative Common Lisp: emacs interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains an emacs interface to ACL2.


Computational Logic for Applicative Common Lisp: infix source

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the source files to the infix interface to ACL2.


Computational Logic for Applicative Common Lisp: library certificates

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This file contains certification records for the various precompiled libraries supplied in the ACL2-books package. ACL2 essentially requires that all included books be certified before use.


Computational Logic for Applicative Common Lisp: compiled libraries

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains numerous precompiled and precertified libraries for use in proving theorems with ACL2. Serious users will no doubt want to install this package.


Computational Logic for Applicative Common Lisp: infix interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

/main/admesh/admesh

Tool for processing triangulated solid meshes. Binary

Currently, ADMesh only reads the STL file format that is used for rapid prototyping applications, although it can write STL, VRML, OFF, and DXF files. Some features of admesh are: Fill holes in the mesh by adding facets. Repair facets by connecting nearby facets. Repair normal directions (i.e. facets should be CCW) Remove degenerate facets (i.e. facets with 2 or more vertices equal)


Automatic theorem prover dedicated to program verification

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the prover as a command-line executable.

/main/ann/ann-tools

Approximate Nearest Neighbor Searching library (tools)

ANN is a library written in C++, which supports data structures and algorithms for both exact and approximate nearest neighbor searching in arbitrarily high dimensions. ANN assumes that distances are measured using any class of distance functions called Minkowski metrics. These include the well known Euclidean distance, Manhattan distance, and max distance. ANN performs quite efficiently for point sets ranging in size from thousands to hundreds of thousands, and in dimensions as high as 20. . This package contains the ann2fig (display ANN output in fig format) and the ann_sample (a sample demonstration for ANN) programs.

/main/apcalc/apcalc

Arbitrary precision calculator (original name: calc)

Calc is an arbitrary precision arithmetic system that uses a C-like language. Calc is useful as a calculator, an algorithm prototyper and as a mathematical research tool. More importantly, calc provides one with a machine independent means of computation. Calc comes with a rich set of builtin mathematical and programmatic functions. . Calc is built on top of the library libcalc that represents numeric values as fractions reduced to their lowest terms. This library can also be used to add arbitrary precision capabilities to your own programs and is available in the Debian package `apcalc-dev'. . The original name of this package is `calc', but it had to be changed to `apcalc' for Debian, because there's already another package called `calc' in Debian. Nevertheless, the binary and manpage installed by this package are still named `calc'.


Arbitrary precision calculator (common files)

Calc is an arbitrary precision arithmetic system that uses a C-like language. Calc is useful as a calculator, an algorithm prototyper and as a mathematical research tool. More importantly, calc provides one with a machine independent means of computation. Calc comes with a rich set of builtin mathematical and programmatic functions. . This package contains architecture independent files required by the main package `apcalc'.


Apophenia Statistical C Library -- binary package

The Apophenia Statistical C Library is an open source C library for working with data sets and statistical models. It provides functions on the same level as those of the typical stats packages (such as OLS, probit, or singular value decomposition) but gives the user more flexibility to be creative in model-building. . Apophenia is meant to scale well, to comfortably work with gigabyte data sets, million-step simulations, or computationally-intensive agent-based models. . Apophenia builds upon the GNU Scientific and SQLite libraries, MySQL/mariaDB is also supported. The core functions are written in C, but experience has shown them to be easy to bind in Python, Julia, Perl, Ruby, etc. The source code is distributed under the GNU General Public License version 2 (GPL2). . This package provides several command line utility examples.

/main/aribas/aribas

interpreter for arithmetic

ARIBAS is an interactive interpreter suitable for big integer arithmetic and multiprecision floating point arithmetic. It has a syntax similar to Pascal or Modula-2, but contains also features from other programming languages like C, Lisp, Oberon.


software for continuation and bifurcation problems in ODE

AUTO can do a limited bifurcation analysis of algebraic systems of the form f(u,p) = 0, f,u in Rn and of systems of ordinary differential equations of the form u'(t) = f(u(t),p), f,u in Rn subject to initial conditions, boundary conditions, and integral constraints. Here p denotes one or more parameters. AUTO can also do certain continuation and evolution computations for parabolic PDEs. It also includes the software HOMCONT for the bifurcation analysis of homoclinic orbits. AUTO is quite fast and can benefit from multiple processors; therefore it is applicable to rather large systems of differential equations.


automatic classification or clustering

AutoClass solves the problem of automatic discovery of classes in data (sometimes called clustering, or unsupervised learning), as distinct from the generation of class descriptions from labeled examples (called supervised learning). It aims to discover the "natural" classes in the data. AutoClass is applicable to observations of things that can be described by a set of attributes, without referring to other things. The data values corresponding to each attribute are limited to be either numbers or the elements of a fixed set of symbols. With numeric data, a measurement error must be provided.


General purpose computer algebra system: regression test inputs

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains input files for Axiom's regression test suite.

/main/axiom/axiom

General purpose computer algebra system: main binary and modules

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the main program binary and all precompiled algebra and autoloadable modules.


General purpose computer algebra system: graphics subsystem

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the binaries for the graphics subsystem. The programs in this package allow axiom to draw plots to separate windows in X as well as to output files in postscript format.


General purpose computer algebra system: source files

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains source files in Axiom's native spad language for the compiled algebra modules supplied in the axiom package.


General purpose computer algebra system: style file for TeX

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains a TeX style file useful in publishing results obtained with Axiom.


General purpose computer algebra system: graphics subsystem

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains required data files for the axiom graphics subsystem.


General purpose computer algebra system: generated text databases

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the text databases generated during the build process used in computing the hierarchical domain structure, among other uses.


General purpose computer algebra system: hypertex subsystem

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains required data files for the axiom hypertex subsystem.


General purpose computer algebra system: hypertex subsystem

Axiom is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. . Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software. . Efforts are underway to extend this software to (a) develop a better user interface (b) make it useful as a teaching tool (c) develop an algebra server protocol (d) integrate additional mathematics (e) rebuild the algebra in a literate programming style (f) integrate logic programming (g) develop an Axiom Journal with refereed submissions. . This package contains the binaries for the hypertex subsystem. The programs in this package provide an interactive online help system describing the many axiom commands.

/main/bc/bc

GNU bc arbitrary precision calculator language

GNU bc is an interactive algebraic language with arbitrary precision which follows the POSIX 1003.2 draft standard, with several extensions including multi-character variable names, an `else' statement and full Boolean expressions. GNU bc does not require the separate GNU dc program.

/main/bc/dc

GNU dc arbitrary precision reverse-polish calculator

GNU dc is a reverse-polish desk calculator which supports unlimited precision arithmetic. It also allows you to define and call macros. . A reverse-polish calculator stores numbers on a stack. Entering a number pushes it on the stack. Arithmetic operations pop arguments off the stack and push the results.