 The LEGO Proof Assistant  Randy Pollack; University of Edinburgh
A tool for interactive proof development in the natural deduction style. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus of Constructions (CC), the Generalized Calculus of Constructions (GCC), and the Unified
...more>>
 Lehmer's Problem  Michael Mossinghoff; Dept. of Mathematics, UCLA
A page that summarizes what is known about Lehmer's conjecture. It includes descriptions of algorithms, histories of searches performed, and various lists of polynomials with small measure. With slides from an introductory talk on Mahler's measure and
...more>>
 Leibniz's 333yearold problem solved  Vladimir Sotirov
Arithmetizations of the traditional syllogistic. The first Leibniz trial to arithmetize the Aristotelian syllogistic explored divisibility of integers; it was unsuccessful. The second one used pairs of coprime numbers and was successful, as Slupecki
...more>>
 L'Equipe de Logique Mathématique
 Université DenisDiderot, Paris, France
In English and French. Mathematical Logic Team. People, seminars, preprints, links to other logic sites in France.
...more>>
 Lesson Plans and Teaching Materials (The Geometry Junkyard)  David Eppstein, Theory Group, ICS, UC Irvine
An extensive annotated list of links to lesson plans that teach some real mathematics as students perform projects, and to auxiliary material.
...more>>
 Lessons, Tutorials, and Lecture Notes (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive, alphabetical, annotated listing of sites providing course material for teachers and students of mathematics. Includes topics from almost every field of math, at every level: K12, college and beyond. Algebra; Analysis; Arithmetic; Calculus;
...more>>
 levmar: LevenbergMarquardt nonlinear least squares algorithms in C/C++  Manolis Lourakis
GPL package containing four flavors of the LevenbergMarquardt nonlinear
least squares algorithm. The package is written in C, it's also usable
from C++ and includes double and single precision LM implementations, both
with analytic and finite difference
...more>>
 LFunctions
The starting point for the Lfunctions site, with qualitative and quantitative information about Lfunctions from the Selberg class S. The site attempts to list as many properties and features of specific Lfunctions as possible, and also to allow for
...more>>
 Library of Congress
A Global Electronic Library linking to WWW meta indexes and search tools, federal government information, and other WWW resources by subject. Search using a keyword (such as mathematics) to find relevant pages, then use your browser's 'find' function
...more>>
 Libuninum  Bill Poser
This is a library for conversion between integers and Unicode strings representing integers in the great majority of numeral systems. It allows programs to accept input and produce output using numerals of many types (e.g. Chinese, Roman, Tibetan, Old
...more>>
 LINDO Systems
Software tools (linear, nonlinear, and integer programming solvers) for building and solving optimization models.
...more>>
 Linear and Matrix Algebra (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive list of links to sites with information about linear algebra, classified by level and type of resource.
...more>>
 Linear and Multilinear Algebra (LAMA)  William Watkins, Editor; The Gordon and Breach Publishing Group
This journal publishes research papers, research problems, expository or survey articles at the research level, and reviews of selected researchlevel books or software in linear and multilinear algebra and cognate areas. Appropriate areas include spaces
...more>>
 Linear logic in computer science  Institut de Mathématiques de Luminy (IML)
A network of research groups (part of the European Training and Mobility for Researchers program) concerned with the relation between logic and theoretical computer science. Description of research areas; description of the sites; list of meetings and
...more>>
 Linear & Nonlinear Programming Publications, Preprints, & FAQs  Technical University of Braunschweig
PostScript files and some abstracts. Many articles in German.
...more>>
 Linear Programming FAQ  Optimization Technology Center, Northwestern University and Argonne National Laboratory
Posted monthly to the newsgroup sci.opresearch. Answers to questions such as: "What is Linear Programming?" "Where is there a good code to solve LP problems?" "Oh, and we also want to solve it as an integer program." "I wrote an optimization code. Where
...more>>
 Linguistic Geometry (LG)  Boris Stilman; Dept. of Computer Science & Engineering, Univ. of ColoradoDenver
Solving search problems of high dimension. Since 1991, Professor Stilman has been developing a new area in Artificial Intelligence, Linguistic Geometry, based on the investigation into sophisticated human heuristics resulting in highly selective searches,
...more>>
 Links to ASL members  Herbert Enderton
Links to Web pages of members of the Association for Symbolic Logic. Includes a link to How to Join.
...more>>
 LINK, The Visionary Information Service  Bertelsmann Springer
Hundreds of journals and electronic books from a variety of publishers, together with online data on available books and journals of the Springer publishing group, and on CDROM publications, software products, and catalogues. LINK is divided according
...more>>
 L'Institut des Hautes Études Scientifiques  IHÉS
L'Institut des Hautes Études Scientifiques de BuressurYvette (France) est un institut de recherche avancée en mathématiques et physique théorique avec une ouverture vers l'épistémologie et l'histoire des sciences. Il offre à des savants d'envergure
...more>>
 Linux Applications and Utilities Page  Bill Latura
A collection of commercial, shareware and freeware application and utility programs and servers for Linux with their own WWW home pages. All of the programs listed here either have a Linux native binary available, or have source code available which has
...more>>
 LiteralMath  Eugenio Vilar
LiteralMath is a text editor with the two additional capabilities of math notation and hypertext. Requires a PC compatible computer with 32MB memory running Windows 98, 2000, XP.
...more>>
 LiveGraph: RealTime Data Series Plotter  Greg Paperin
A tool which allows to graph data series in realtime while they are being generated by another application. The concise GUI is specifically tailored for convenient and efficient handling of a large number of data series and contains basic but very useful
...more>>
 Liz's Research Interests  Liz Bradley, Department of Computer Science, University of Colorado
Artificial intelligence projects include Chaography, a pair of tools that use mathematics to generate choreographic variations: Chaographer, which uses a chaotic mapping to generate variations on a musical piece; and MotionMind, which uses machine learning
...more>>
 LLEK Bookmarks  Scientific Search Engines (Mathematics)  Wickermeier
A comprehensive catalog of scientific resources and media worldwide but especially in German and English: Directories of Mathematics Journals; Mathematicsrelated catalogs of scientific search engines; and additional starting points and sites of special
...more>>
 Logic and Computation Group  University of Pennsylvania, Philadelphia, PA
An interdisciplinary research group composed of faculty and graduate students from the Departments of Computer and Information Science, Mathematics, and Philosophy.
...more>>
 Logic and Foundations of Programming (LFP)  Queen Mary and Westfield College, University of London, U.K.
The LFP group has wide interests covering many aspects of mathematical, philosophical, and computational logic and virtually the whole of the theory of programming languages and the process of programming.
...more>>
 Logic and Set Theory around the World  Sylvain Poirier
Research groups and departments in the foundations of mathematics and computer science (logic, set theory, model theory, theoretical computer science, proof theory, programming languages). Browse the listing by geographic region. See also Poirier's index
...more>>
 Logic and Set Theory (Mathematics Archives)  University of Tennessee, Knoxville (UTK)
An extensive list of links to sites with information about logic and set theory, classified by level and type of resource.
...more>>
 Logic Page  Christian Gottschall; Dept. of Philosophy, Vienna
Links to Web pages, logicians, texts, and programs in logic.
...more>>
 Logic Programming  J. P. Bowen; World Wide Web Virtual Library
Links to information on Logic Programming: General repositories; Prolog; Window system interfaces; Other logic programming systems; Meetings; Books; Related information.
...more>>
 The Logics Workbench (LWB)  Gerhard Jaeger, Leader; University of Bern, Switzerland
The LWB allows work in classical and nonclassical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and
...more>>
 LO Logic (Front for the Mathematics ArXiv)  Univ. of California, Davis
Logic preprints, from the U.C. Davis front end for the xxx.lanl.gov ePrint archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic.
...more>>
 London Mathematical Society (LMS)  Adam Worrall
The Society was established for the promotion and extension of mathematical knowledge. To this end the Society undertakes various publications and holds regular meetings, conferences and symposia. It is the major British learned society for Mathematics,
...more>>
 Lower Bounds for Solving Linear Diophantine Equations on Random Access Machines  Meyer auf der Heide, Friedhelm
Abstract: a lower bound for the complexity of solving linear Diophantine equations such as knapsack problems on an idealised computer. From the Journal of the ACM, Vol.32, No. 4 (Oct. 1985), pp. 929937.
...more>>
 LP Explorer  Hall, Baird; Univ. of Edinburgh, Scotland
A Java applet that enables the (standard) simplex method to be applied to a linear programming (LP) problem and allows the sensitivity of the solution to changes in the problem data to be examined. LP Explorer is of particular value for problems with
...more>>
 LSL Math Traits  Gary T. Leavens
A guide to an archive of mathematical traits written in the Larch Shared Language (LSL), constituting a small LSL handbook. The traits do not duplicate the traits in Guttag and Horning's book, but add to them. Real numbers; Polynomial Functions and Polynomials;
...more>>
 LTSN Maths Stats & OR Network  Learning and Teaching Support Network
A group organized to encourage networking, provide a focal point for information about innovation and good teaching practice, disseminate information proactively, and support and enhance academic practice. This website provides resources including a quarterly
...more>>
 Lumina Decision Systems
Lumina Decision Systems develops, markets, and supports Analytica, software for creating, analyzing, and communicating quantitative business models. Based in Los Gatos, California, Lumina also offers consulting and training in decision support, model
...more>>
 Lycos Internet Guide
Web information retrieval and discovery. Searchable index returns URLs and excerpts; or browse major categories: Autos, Business, Careers, Computers, [Education : Areas of Study : Mathematics,] Entertainment, Games, Health, Home/Family, Kids, Money, News,
...more>>
 Maarten M. Fokkinga
A computer science professor at the University of Twente in the Netherlands. His main interests are or have been algorithmics, also known as the mathematics of program construction, functional programming, semantics of programming systems, and formal
...more>>
 Macaulay  Dave Bayer and Mike Stillman
Macauley is a computer algebra system for mathematical computations in algebraic geometry and commutative algebra. At its core is a carefully tuned implementation of Grobner basis methods for manipulating systems of polynomial equations. See also Macaulay
...more>>
 Macintosh TeX/LaTeX Web Site  Gary L. Gray
Mac versions of TeX and LaTeX, tools, editors and fonts, print references, and a short list of sites to go to for just about "everything you would ever need (or links to it), whether you are a beginner or an old pro."
...more>>
 MacKichan Software, Inc.
Product and technical information, ordering, and news releases for the former TCI software releases: Scientific WorkPlace (click on a palette of symbols when entering mathematics; a LaTeX typesetting system outputs the math, includes the Maple computer
...more>>
 MacStats  David Zatz and Joel West
A clearinghouse for information regarding using the Macintosh for statistical analysis, with an emphasis on marketing and other social science research (also relevant for engineering and hard science applications, but these are not its main focus). Available
...more>>
 Macsyma  Macsyma, Inc.
Publishers of advanced symbolic/numerical/graphical mathematical software and PDEase finite element analysis software. Macsyma is a combination of mathematics program, graphics software and text processor, with advanced graphics and animation, fast calculations,
...more>>
 Magic Cube Generator  Dwane H. Campbell, Keith A. Campbell
This site offers a generator for magic squares, cubes, and hypercubes, along with history, overview of basic concepts, and statistics, and downloads and references. The authors focus primarily on a set of 8 by 8 by 8 magic cubes that are often called
...more>>
 The Magma Computational Algebra System  Computational Algebra Group, University of Sydney
A system designed by the Computational Algebra Group, headed by Dr J. J. Cannon, in the School of Mathematics and Statistics at the University of Sydney, to solve computationally hard problems in algebra, number theory, geometry and combinatorics. Magma
...more>>
 Main Index of Software Libraries  Netlib, UTK and ORNL
Mathematical and statistical software to download.
...more>>
 Mamikon  Mamikon Mnatsakanian
Thoughtprovoking Shockwave Flash animations of geometric constructions, graphs, games, and much more. Mnatsakanian's site http://www.mamikon.com/ links to dozens of the articles he has coauthored with Tom Apostol in journals such as American Mathematical
...more>>
 
