Mathematics

• Axiom - Axiom is a general purpose Computer Algebra application
• Bordeaux-FFT - Bordeaux-FFT is a fast, pure-Lisp implementation of Fast Fourier Transforms
• cl-buchberger - cl-buchberger is a Common Lisp implementation of Buchberger's algorithm for the computation of Gröbner bases
• cl-factoradic - cl-factoradic is a Mathematics/Combinatorics? Library that implements calculation and iteration of permutations based on the factoradic numbers system
• cl-gsl - cl-gsl provides bindings to the GNU Scientific Library (GSL) of mathematics routines
• cl-numlib - cl-numlib is a Mathematics library that contains functions for numerical optimization (univariate and multivariate), univariate rootfinding, and univariate numerical integration
• cl-octave - cl-octave is an asdf-installable library for interfacing Common Lisp with the Octave language
• cl-random - cl-random is a Mathematics Library for uni- and multivariate probability distributions and statistical functions
• cl-sparsematrix - cl-sparsematrix is a Mathematics library for simple (generalized) sparse matrices in Common Lisp using hash tables
• clem - CLEM is a lisp package for representating and performing various operations on matrices
• EEL - EEL is a collection of functions and macros to facilitate exploratory mathematics in the field of formal language theory
• FEMLISP - FEMLISP is a Mathematics Application which solves partial differential equations with the help of the finite element method (FEM)
• FFT - A Common Lisp library to do Fast Fourier Transform on a multi-dimensional array of numbers
• Formal Digital Library - A product of the PRL project and descendant of the Nuprl system, FDL is a system implemented in Common Lisp for developing, refining, and collecting formal proofs
• Forward Discrete Cosine Transform -
• FSVD - FSVD is a Common Lisp implementation of Simon Funk's quasi svd
• GSLL - The GNU Scientific Library for Lisp (GSLL) allows you to use
• IMPS - IMPS is an Interactive Mathematical Proof System intended to provide organizational and computational support for the traditional techniques of mathematical reasoning
• Integrate - Integrate is a package to aid in solving differential equations, currently slightly limited in scope
• l-math - L-MATH is a library for simple linear algebra in geometric applications
• lisp-matrix - A matrix mathematics library for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif
• LispLab - Lisplab is a mathematics library in common lisp released under the GNU General Public License (GPL)
• MatLisp - MatLisp is a Mathematics Library which performs elementary and linear algebra operations on matrices
• matrix - Packages for matrix algebra
• Maxima - Maxima is a GPL'd Common Lisp mathematics application for computer based algebra (an implementation of MIT's Macsyma? system)
• Mersenne Twister - The Mersenne Twister is a pseudorandom number generation algorithm created by Makoto Matsumoto
• micmac - Common Lisp Mathematics Library by Gabor Melis that implements UCT and Metropolis-Hastings MCMC
• minpack - minpack is a Mathematics library, which simply contains an ASDF-installable package of the MINPACK library originally written in FORTRAN and translated by f2cl, which is part of CLOCC
• NLISP - NLISP is a Mathematics extension for Common Lisp to provide an environment for numerical computation and visualisation
• Nuprl - A system for manipulating proofs based on the type theory of Martin-Löf
• patxi-2 - PatXi-2 is a Library to do numerical computations on Common Lisp
• plot-2d - Plot-2D is a 2-dimensional data representation and plotting application for Mathematics and scientific data
• plotting - Library and Application packages to produce 2D and 3D plots
• PRL - The Proof (or Program) Refinement Logic program, led by Robert Constable of Cornell
• py-random - A translation of the random module in the Python standard library
• Sheafhom - Sheafhom is a mathematics package by Mark McConnell for large sparse linear algebra computations over the integers and other exact number types
• SimLab - SimLab Is a scientific simulation and analysis tool that uses the weyl computer algebra system
• simplot - Simplot a 2-dimensional data plotting application for Mathematics and scientific data with a simple interface
• SimpSamp - SimpSamp is a mathematics library for simple random sampling without selection
• spartns - Spartns is a SPARse TeNSor representation library
• Stats - Stats by Larry Hunter is a Mathematics Library
• TPS - TPS, standing for Theorem Proving System, is a theorem prover for first-order logic and type theory
• ulimyhmpqs - ulimyhmpqs is an implementation of the Hypercube Multiple Polynomial Quadratic Sieve (HMPQS), an algorithm for the factorisation of large (up to about 110 digits, where the Number Field Sieve (NFS) algorithms become more efficient) integers

• RCL is a library for interfacing Common Lisp with the R environment using CFFI. (October 7 2007) rukubites: RCL doesn't work in SBCL, and requires some small modifications in alien-defs.lisp to accomodate CFFI API changes for defcvar.
• RCLG is an unfinished R interface that works for sbcl but not clisp (as of git version October 7 2007). It seems to have a similar interface as RCL.
• FriCAS is a fork of the Axiom computer algebra system.
• Kenzo is a program for doing computational algebraic topology.
• CommonLispStat (see also GitHub location), is a port/rewrite/re-intentioning of XLispStat to Common Lisp. The goal is to develop an "R like" set of packages which deliver additional functionality to Common Lisp for applied statistical data analysis.

Pages in this topic: array-operations   Axiom   binomial-heap   Bordeaux-FFT   cl-buchberger   cl-factoradic   cl-gsl   cl-numlib   cl-octave   cl-random   cl-sparsematrix   clem   EEL   FEMLISP   FFT   Formal Digital Library   Forward Discrete Cosine Transform   FSVD   GSLL   IMPS   Integrate   l-math   lisp-matrix   LispLab   MatLisp   matrix   Maxima   Mersenne Twister   micmac   minpack   NLISP   Nuprl   patxi-2   plot-2d   plotting   PRL   py-random   Sheafhom   SimLab   simplot   SimpSamp   spartns   Stats   TPS   ulimyhmpqs  

Also linked from: avl-tree   cl-randist   cl-treemaps   heap   index  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively