 Ke Xu's Benchmarks for Hard Problems  Ke Xu
All benchmarks are generated based on exact phase transitions of Model RB, including forced satisfiable benchmarks of SAT/CSP and benchmarks with hidden optimum solutions for 01 Programming and graph problems (Independent Set, Vertex Cover, Clique and
...more>>
 Key Issues for the Mathematics Community  The Math Forum
Links to Web resources addressing key issues, compiled in the following categories: Key Questions; Key Problems and Opportunities; Equity and Access (Minorities and Mathematics; Women and Mathematics; Resources for People with Disabilities; NonEnglish
...more>>
 Key Problems and Opportunities  Key Issues in Mathematics at The Math Forum
Third International Mathematics and Science Study (TIMSS); National Science Foundation in Peril; The Necessity of Setting Research Priorities.
...more>>
 Key Questions  Key Issues in Mathematics at the Math Forum
Links to Web resources addressing questions such as: Why should the public support mathematics? Why is a research mathematics program necessary for graduate science programs? Why are we wellsuited to teach mathematics to scientists and engineers? Why
...more>>
 Keyword search of AI publications  College of Computing, Georgia Tech University
To search, simply enter a query and press the 'search' button. If you enter two or more words, any document that contains ANY of the words will be found.
...more>>
 Kinetic Theory and its Applications  Stepan Amossov
A resource dedicated to mathematical aspects of kinetic theory and its applications in physics, chemistry, and economics. In English and Russian (the Russian version is more developed).
...more>>
 Kinetic Theory  Stepan A. Amossov
A site devoted to mathematical problems of kinetic theory and its applications in physics, chemistry and economics, with some papers, information about forthcoming seminars and conferences, and links to other resources in related fields. Best in Internet
...more>>
 The King of Infinite Space: Donald Coxeter, The Man Who Saved Geometry  Siobhan Roberts
As a companion to The King of Infinite Space, a biography of Donald Coxeter, this website provides photographs, archives, papers, video footage, links and other resources, allowing readers to further explore Donald Coxeter’s infinite passion for geometry.
...more>>
 The Klein Project
Revisiting the intent of Felix Klein's Elementary Mathematics from an Advanced Standpoint on the centenary of its publication, this IMU/ICMIcommissioned project aims to produce a book for upper secondary teachers that communicates the breadth and vitality
...more>>
 Knot  Flaming Pear Software
The Knot program lets you create large 3D color animations and stills of abstract knots. You design the knot's form, color, motion, backgrounds and lighting, or design and render entire animations automatically. Makes standard QuickTime and TIFF files.
...more>>
 The KnotPlot Site  Robert Scharein
A collection of knots and links, viewed from a partly mathematical perspective. Images on this site were created with KnotPlot, a program designed to visualize and manipulate mathematical knots in three and four dimensions. A picture gallery, description
...more>>
 Knot Theory  Robert Scharein
A branch of algebraic topology where one studies what is known as the placement problem, or the embedding of one topological space into another. The simplest form of knot theory involves the embedding of the unit circle into threedimensional space. For
...more>>
 Knot Theory (The Geometry Junkyard)  David Eppstein, Theory Group, ICS, UC Irvine
An extensive annotated list of links to material on geometric questions arising from knot embeddings.
...more>>
 Knowles Science Teaching Foundation  KSTF
The Knowles Science Teaching Foundation was established by Janet H. and C. Harry Knowles to cultivate and support exemplary science and mathematics high school teachers and develop the next generation of leaders in education through generous teaching
...more>>
 Koalog Constraint Solver  Yan Georget, Koalog SARL
KCS is a Java constraint solver for combinatorial optimization problems.
...more>>
 Kolmogorov.com
A site dedicated to the mathematician A. N. Kolmogorov, including a bibliography of his works (some available in PDF format), information on his students, and on the school founded by him and which bears his name, which is looking for books for its library.
...more>>
 Konferenzen, Workshops, Veranstaltungen  DMVFachgruppe Diskrete Mathematik
Listings of discrete math workshops and conferences around the world.
...more>>
 KonradZuseZentrum fur Informationstechnik Berlin  KonradZuseZentrum
The KonradZuseZentrum für Informationstechnik Berlin, a nonuniversity research institute of the State of Berlin, Germany. operates in the field of information technology. Its research and development concentrates on applicationoriented algorithmic
...more>>
 Korean Mathematical Society (KMS)
The Society strives to promote mathematics in Korea and contribute to the country's development. Journals, newsletter, and brief history of the organization. Also available in Korean.
...more>>
 Krawtchouk Polynomials  Vadim Zelenkov; International Sakharov Environmental University
An exposition of properties and applications of classical orthogonal polynomials introduced by M. Krawtchouk in 1929, with historical and biographical information to give the Western reader an idea of the fate of this Ukrainian scientist during the Great
...more>>
 Kriging Description  Fortner Software
The site describes kriging, a sophisticated method of determining the best estimate for each point in a target matrix, based on statistical principles. Kriging is named after a South African engineer, D. G. Krige, who first developed the method. The article
...more>>
 "Kryptos"  Central Intelligence Agency (CIA)
This page showcases the history and mystery of "Kryptos," a sculpture at the CIA by artist James Sanborn. See the Flash video introduction, and learn more about the sculpture, the code, and the artist. Textonly version available.
...more>>
 Ktheory Preprint Archives  Grayson, Jardine; University of Illinois at UrbanaChampaign (UIUC)
The preprint archives for papers in Ktheory. Home and mirror sites; Instructions for authors and for joining the mailing list; a calendar of Ktheory events; a search service which allows you to search an index of online mathematical works for key words;
...more>>
 KT KTheory and Homology (Front for the Mathematics ArXiv)  Univ. of California, Davis
KTheory and Homology 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>>
 Kumar Jeev's Research  Kumar Jeev
Articles in PDF format, PowerPoint presentations, C++ code, and abstracts. Includes "Symbolic Stochastic Systems and the Matrix Tree Theorem," with JeanLouis Lassez, in which an alternative proof for the Matrix Tree Chain theorem, proven by Tom Leighton
...more>>
 Laboratorio Virtual de Triángulos con Cabri  Ricardo Barroso Campos
In Spanish: triangle problems proposed, and solutions via Cabri are requested.
...more>>
 Laboratory for Applied Logic (LAL)  Brigham Young University, Provo, UT
A research unit of the Department of Computer Science specializing in applying mathematical methods to problems in computer dependability. The research conducted in the LAL is currently divided into three major areas: modeling abstract hardware components
...more>>
 Laboratory of Mathematical Logic  Steklov Institute of Mathematics, St. Petersburg, Russia
Staff, activities, seminars, Web pages devoted to Hilbert's Tenth Problem, Relevant links.
...more>>
 La Jolla Covering Repository  Dan Gordon; Center for Communications Research (CCR)
A site that contains tables of coverings C(v,k,t) with v<=32, k<=16, t<=8, and fewer than 5,000 blocks. You may request a covering and fill out a form, and it will be mailed to the email address you give.
...more>>
 LA Linear Algebra (Front for the Mathematics ArXiv)  Univ. of California, Davis
Linear Algebra 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>>
 LAPACK  Linear Algebra PACKage
Written in Fortran77, LAPACK provides routines for solving systems of simultaneous linear equations, leastsquares solutions of linear systems of equations, eigenvalue problems, and singular value problems.
...more>>
 LAPACK++ (Linear Algebra PACKage in C++)  Roldan Pozo
A software library for numerical linear algebra that solves systems of linear equations and eigenvalue problems on high performance computer architectures.
Computational support is provided for various matrix classes for vectors, nonsymmetric matrices,
...more>>
 LAPACK Users' Guide  Anderson, et al.; Society for Industrial and Applied Mathematics (SIAM)
The publication of this third edition of the Users' Guide coincides with the release of version 3.0 of the LAPACK software. LAPACK can solve systems of linear equations, linear least squares problems, eigenvalue problems, and singular value problems,
...more>>
 La pagina della classificazione matematica: MSC2000 librerie Hvolumi  Antonella De Robbio, Alberto Marini, Dario Maguolo
Italian version of Mathematics Subject Classification version 2000 (MSC2000); different points of views, with a comparison of MSC1991 and MSC2000. Includes a description of the project, links to relevant pages, and a preprint of "La versione Draft2000
...more>>
 LaTeX: from quick and dirty to style and finesse  Tony Roberts; Dept. of Mathematics and Computing, University of Southern Queensland, Australia
Pages showing how to transform plain text into a typeset document in LaTeX, introducing the most important fundamentals of LaTeX2e. With links to relevant sites.
...more>>
 (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>>
 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>>
 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>>
 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>>
 Lavarand  LavaLite
Lavarand is a system by which a pseudorandom number generator is seeded by the digital output of a photograph of six Lava Lite® lamps.
...more>>
 Laws of Form  Richard Shoup
Inspired by the book Laws of Form by George SpencerBrown, 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 SpencerBrown's Counter; learn
...more>>
 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>>
 Learning Strategies Database: ContentSpecific Learning Strategies for Mathematics  Center for Advancement of Learning, Muskingum College, New Concord, Ohio
Database of background information, purposes and advantages of various strategies, and descriptions of specific strategies themselves. Includes general tips and suggestions, information organization, substitution and memory strategies.
...more>>
 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>>
 LEDA Research  Michael Seel
LEDA is a library of the data types and algorithms of combinatorial computing. Try the OverTheNet Demo which allows you to play with some computational geometry algorithms provided by LEDA; download commercial or research packages and licenses; read
...more>>
 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>>
 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>>
 
