Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Browse and Search the Library
Home : Levels : Research

Library Home || Search || Full Table of Contents || Suggest a Link || Library Help

  All Sites - 1890 items found, showing 951 to 1000

  1. (La)TEX Navigator: A (La)TeX Encyclopaedia - Denis Roegel
    Resources in French, German, and English. Contents: General documentation about (La)TeX; The (La)TeX local guide of the site (LORIA) (in French); Bibliography and indexes; Literate programming; Classes; Macros and packages; Fonts and symbols; Graphics; ...more>>

  2. Lattice Theory and Geometry of Numbers (The Geometry Junkyard) - David Eppstein, Theory Group, ICS, UC Irvine
    An extensive annotated list of links to material on lattices. A lattice is an infinite arrangement of points spaced with sufficient regularity that one can shift any point onto any other point by some symmetry of the arrangement. More formally, a lattice ...more>>

  3. Launchings - David Bressoud
    This monthly column, sponsored by the Mathematical Association of America (MAA), originally aimed "to publicize and expand upon the CUPM Curriculum Guide 2004 and its two companions: the Curriculum Foundations Project, and the CUPM Illustrative Resources." ...more>>

  4. Laurent Habsieger
    A research associate at Laboratoire Algorithmique Arithmétique Expérimentale, Laurent Habsieger studies analytic number theory, coding theory, and combinatorics. Some articles on these topics are available for download in PostScript format. ...more>>

  5. Lavarand - LavaLite
    Lavarand is a system by which a pseudo-random number generator is seeded by the digital output of a photograph of six Lava Lite® lamps. ...more>>

  6. Laws of Form - Richard Shoup
    Inspired by the book Laws of Form by George Spencer-Brown, in which the author built a "calculus of distinctions." Read an interpretation of his laws of calling and crossing as a logical arithmetic; see a simple analysis of Spencer-Brown's Counter; learn ...more>>

  7. Learning Epipolar Geometry - Sylvain Bougnoux
    A discussion of camera angles, using demonstration applets that allow the user to manipulate lines of sight and planes of vision. With two views, things become interesting: if we know m and the projection of a point M onto a camera, its corresponding ...more>>

  8. Lectures - John Conway, Princeton University
    Listen to audio of Conway's lectures: Calendar Conundrums; Archimedes and His World; Cantor's Infinities; Goedel and Undecidability; Geometry, Logic and Physics; Escher and Symmetry; Finally, Fun. Requires Real Player. ...more>>

  9. LEDA Research - Michael Seel
    LEDA is a library of the data types and algorithms of combinatorial computing. Try the Over-The-Net Demo which allows you to play with some computational geometry algorithms provided by LEDA; download commercial or research packages and licenses; read ...more>>

  10. The Legacy of the Reverend Bayes - Keith Devlin (Devlin's Angle)
    How do you use inconclusive evidence to assess the probability that a certain event will occur? One method that has become increasingly popular in recent years depends on a mathematical theorem proved by an 18th Century English Presbyterian minister by ...more>>

  11. 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>>

  12. 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>>

  13. Leibniz's 333-year-old 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 co-prime numbers and was successful, as Slupecki ...more>>

  14. L'Equipe de Logique Mathématique - Université Denis-Diderot, Paris, France
    In English and French. Mathematical Logic Team. People, seminars, preprints, links to other logic sites in France. ...more>>

  15. 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>>

  16. 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: K-12, college and beyond. Algebra; Analysis; Arithmetic; Calculus; ...more>>

  17. levmar: Levenberg-Marquardt non-linear least squares algorithms in C/C++ - Manolis Lourakis
    GPL package containing four flavors of the Levenberg-Marquardt 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>>

  18. L-Functions
    The starting point for the L-functions site, with qualitative and quantitative information about L-functions from the Selberg class S. The site attempts to list as many properties and features of specific L-functions as possible, and also to allow for ...more>>

  19. 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>>

  20. 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>>

  21. LINDO Systems
    Software tools (linear, nonlinear, and integer programming solvers) for building and solving optimization models. ...more>>

  22. 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>>

  23. 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 research-level books or software in linear and multilinear algebra and cognate areas. Appropriate areas include spaces ...more>>

  24. 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>>

  25. Linear & Nonlinear Programming Publications, Preprints, & FAQs - Technical University of Braunschweig
    PostScript files and some abstracts. Many articles in German. ...more>>

  26. Linear Programming FAQ - Optimization Technology Center, Northwestern University and Argonne National Laboratory
    Posted monthly to the newsgroup sci.op-research. 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>>

  27. Linguistic Geometry (LG) - Boris Stilman; Dept. of Computer Science & Engineering, Univ. of Colorado-Denver
    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>>

  28. 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 CD-ROM publications, software products, and catalogues. LINK is divided according ...more>>

  29. L'Institut des Hautes Études Scientifiques - IHÉS
    L'Institut des Hautes Études Scientifiques de Bures-sur-Yvette (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>>

  30. 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>>

  31. 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>>

  32. LiveGraph: Real-Time Data Series Plotter - Greg Paperin
    A tool which allows to graph data series in real-time 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>>

  33. 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>>

  34. 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; Mathematics-related catalogs of scientific search engines; and additional starting points and sites of special ...more>>

  35. 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>>

  36. 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>>

  37. 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>>

  38. 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>>

  39. Logic Page - Christian Gottschall; Dept. of Philosophy, Vienna
    Links to Web pages, logicians, texts, and programs in logic. ...more>>

  40. 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>>

  41. The Logics Workbench (LWB) - Gerhard Jaeger, Leader; University of Bern, Switzerland
    The LWB allows work in classical and non-classical propositional logics, including nonmonotonic approaches. There are several groups of functions: functions concerning provability; simplification of formulas; computation of normal forms; embeddings, and ...more>>

  42. 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 e-Print archive, a major site for mathematics preprints that has incorporated many formerly independent specialist archives. Search by keyword or browse by topic. ...more>>

  43. 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>>

  44. 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. 929-937. ...more>>

  45. 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>>

  46. 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>>

  47. 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>>

  48. 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>>

  49. 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>>

  50. 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>>

Page: [<<first] [<prev] 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 [next>] [last>>]

Search for these keywords:

Click only once for faster results:

all keywords, in any order at least one, that exact phrase
parts of words whole words

Power Search

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.