Hide Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Science and Engineering
Go directly to another tagGo directly to another tagAll Libraries for Mathematics (38 items)
Back to full tag viewACL2
ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University o...
Axiom
General purpose computer algebra system. The project started in 1971 at IBM as a research system named Scratchpad. Scratchpad was renamed to Axiom in the 1990s and sold to NAG, which distributed it as...
CL-Graph
A package for creating and manipulating graphs (in the graph-theoretic sense). Creates a set of CLOS classes for graphs, vertices, edges. Provides algorithms for traversing, counting, searching for ve...
CL-MathStats
A collection of mathematical routines for combinatorics, statistics, functions, matrices, vectors, and more.
CL-Variates
A portable random number generator that produces the same results regardless of platform, and provides additional random distributions such as Poisson, exponential, and more.
CLEM
Common Lisp Egregious Matrix library.
CafeOBJ
CafeOBJ is an algebraic specification and programming language that is a successor of OBJ. In addition to OBJ features, it implements new paradigms such as rewriting logic, hidden algebra, and their c...
Com-lisp-utils
The Common Lisp Utilities project "intends to be a repository for packages that run on any compliant implementation of ANSI Common Lisp". It contains code for data and control structures, financial fu...
Common Lisp and IEEE 754
Comformance test suite for Common Lisp implementations purporting to conform to the IEEE 754 standard for floating point operations.
FSet
FSet is a functional set-theoretic collections library for Common Lisp. All update operations return a new collection, rather than modifying an existing one in place. FSet has sets, bags (multisets)...
Femlisp
Femlisp (A Common Lisp framework for Finite Element Methods) is a framework for solving partial differential equations with the finite element method.
It provides interfaces to direct solvers (SuperLU...
Float numbers input-output
A library for reading and writing binary IEEE-754 float numbers.
Functional Geometry
A functional geometry explorer, i.e. an application for describing and drawing pictures with functional programs. It can can generate PostScript output.
GNU Scientific Library for Lisp
An interface that allows the use of the GNU Scientific Library (GSL) from Lisp. The GSL is a library of applied mathematics commonly used in science and engineering.
Infix
Infix provides a reader macro for reading mathematical expressions in infix form.
Kenzo
Kenzo is a constructive algebraic topology program.
MT19937
MT19937 is a portable Mersenne Twister random number generator.
Matlisp
Wrapper around BLAS and LAPACK linear algebra libraries. Limited to CMUCL and Allegro (CLisp port in progress). Keywords: matrix, vector, eigenvalue.
Maxima
Advanced computer algebra system that is a descendant of DOE Macsyma, whose origins date back to the late 1960s at MIT. Macsyma was revolutionary in its day, and many later systems, such as Maple and ...
Maxima-repl
"A very gross hack to hook up maxima to mcclim". It is a listener for the Maxima computer algebra system: the user can type expressions, see the results and reuse the results by clicking on them.
MoDisc
MoDisc is a Bayesian-based application for identifying the most probable model that best matches experimental data. It is suited for biological and chemical phenomena. It requires LispWorks CAPI for i...
NLisp
NLISP provides an interactive numerical computation environment, similar to packages like Matlab and IDL.
Numerical Recipes Multi-Language Code CDROM
The source code from the books "Numerical Recipes", available as a commercial product for a number of programming languages including Common Lisp.
Numerical Recipes in Common Lisp (Broughan/Senac Version)
A version of code from the book "Numerical Recipes in Fortran" (first edition), translated by Kevin Broughan from Fortran.
Numerical Recipes in Common Lisp (Ken Olum Variant)
A version of the Common Lisp code from the book "Numerical Recipes" slightly rewritten by Ken Olum. The code was translated by Kevin Broughan from Fortran from the first edition of the book.
PatXi-2
A mathematical library for statistics, derivatives, linear algebra, linear programming, least squares, random numbers, interpolation, Monte Carlo, and more.
Polygonizer
An implicit geometric surface polygonizer. It computes the surface of a function and graphically displays the output.
Postscript Lindenmayer Systems
This code is a generator of Lindenmayer systems, with PostScript output. A Lindenmayer system is a fractal for describing plants.
Spartns
Sparse tensor representation library. There are no external dependencies; Spartns works on any data type and is heavily optimized.
SubX
A Common Lisp extension for using expressions in infix notation.
The Alias Method
An implementation of the Alias Method for generating a function that returns the value of a random variable with a specified probability. It is described in "On the alias method for generating random ...
cl-calculator
A command line style calculator application, which includes a postfix to infix parsing library.
cl-octave
The goal of this project is to provide a link between the Octave programming language and Common-Lisp.
cl-randist
This package is a manual translation from C to common lisp of some random number generation functions of GSL library. The package also include the alias method implementation of Mario S. Mommer and my...
fftw-ffi
An UFFI-based generator of Common Lisp FFI bindings to the FFTW (Fastest Fourier Transform in the West) C library.
gecol
gecol provides bindings to gecode in order to enjoy constraint programming in Lisp.
ieee-floats
Provides functions for converting floats to and from binary format.
read-bytes-standalone
Library for reading and writing integer and IEEE floating-point numbers from binary I/O streams.