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-fftw3 - cl-fftw3 provides an interface for Common Lisp programs to use the FFTW3 Fourier transform library
• cl-geometry - cl-geometry is a Common Lisp package for simple two dimensional computational geometry
• cl-gsl - cl-gsl provides bindings to the GNU Scientific Library (GSL) of mathematics routines
• cl-jointgen - CL-JOINTGEN is a Common Lisp implementation of the Joint Generation Algorithm for computing the dual of a monotone boolean function
• cl-numlib - cl-numlib is a Mathematics library that contains functions for numerical optimization (univariate and multivariate), univariate rootfinding, and univariate numerical integration
• cl-satwrap - CL-SATWRAP is a thin generic SAT solver interface to your favorite `industrial-strength' SAT solver: Whichever code wins the next SATRace competition, it is easily glued on as a new backend, no need to change your CL code
• CLLIB - CLLIB is a varied collection of Common lisp tools and routines in CLOCC
• Decimals - A decimal number parser and formatting package for Common Lisp
• embeddable-maxima - embeddable-maxima is the fork of Maxima CAS to make it embeddable into common lisp application
• 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
• floating-point - Floating-point is a Common Lisp library with functions for calculating
• 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 -
• 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
• LispLab - The main purpose of Lisplab is to to integrate all kinds of mathematics capabilities into one framework
• Maxima - Maxima is a GPL'd Common Lisp mathematics application for computer based algebra (an implementation of MIT's Macsyma? system)
• maxima-json-rpc - maxima-json-rpc is http post json-rpc server for embeddable-maxima
• micmac - Common Lisp Mathematics library by Gabor Melis that implements UCT and Metropolis-Hastings MCMC
• Nuprl - A system for manipulating proofs based on the type theory of Martin-Löf
• Oct - Lisp implementation of quad-double floats
• patxi-2 - PatXi-2 is a library for doing numerical computations in 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
• 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
• 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

Linear algebra: (main topic: linear algebra)

• cl-blapack - cl-blapack is a wrapper around the Fortran BLAS and LAPACK libraries for dense linear algebra
• cl-octave - cl-octave is an FFI to the Octave linear algebra language
• cl-tuples - cl-tuples is a libray for writing optimised vector math
• clem - CLEM is a lisp package for representating and performing various operations on matrices
• CLLIB - CLLIB is a varied collection of Common lisp tools and routines in CLOCC
• FSVD - FSVD is a Common Lisp implementation of Simon Funk's quasi SVD as described at http://sifter
• GSLL - The GNU Scientific Library for Lisp (GSLL) allows you to use
• l-math - L-MATH is a library for simple linear algebra in geometric applications
• Linear-algebra - Linear-algebra is a Common Lisp library of numeric linear algebra routines
• lisp-matrix - A matrix linear algebra library for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif
• LispLab - The main purpose of Lisplab is to to integrate all kinds of mathematics capabilities into one framework
• LLA - LLA (Lisp Linear Algebra) aims to provide a convenient
• MatLisp - MatLisp is a BLAS and LAPACK linear algebra library wrapper which makes their features accessible through a set of CLOS classes
• NLISP - NLISP is an environment for numerical computation and visualisation like IDL or Matlab
• Sheafhom - Sheafhom is a package by Mark McConnell for large sparse linear algebra computations over the integers and other exact number types
• spartns - Spartns is a SPARse TeNSor representation library

Statistics: (main topic: statistics)

• cl-randist - This package is a manual translation from C to common lisp of some random number generation functions of GSL library
• cl-random - cl-random is a library for uni- and multivariate probability distributions and statistics functions
• CLLIB - CLLIB is a varied collection of Common lisp tools and routines in CLOCC
• common-lisp-stat - Common Lisp Statistics -- based on LispStat but updated for Common Lisp and incorporating lessons from R
• Mersenne Twister - The Mersenne Twister is a pseudorandom number generation algorithm created by Makoto Matsumoto
• py-random - A translation of the random module in the Python standard library
• RCL - RCL is an FFI to communicate with the R statistics environment
• RCLG - rclg is an R (statistics programming language) FFI for Common Lisp
• sapaclisp - sapaclisp is a collection of Common Lisp functions for spectral analysis
• SimpSamp - SimpSamp is a statistics library for simple random sampling without replacement
• Stats - Stats by Larry Hunter is a statistics library

Other stuff:

• 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: Axiom   Bordeaux-FFT   cl-buchberger   cl-factoradic   cl-fftw3   cl-geometry   cl-gsl   cl-jointgen   cl-numlib   cl-satwrap   CLLIB   Decimals   embeddable-maxima   FEMLISP   FFT   floating-point   Formal Digital Library   Forward Discrete Cosine Transform   GSLL   IMPS   Integrate   LispLab   Maxima   maxima-json-rpc   micmac   Nuprl   Oct   patxi-2   plot-2d   plotting   PRL   SimLab   simplot   TPS   ulimyhmpqs  

Also linked from: index   linear algebra   statistics  

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