 MUltlog  Gernot Salzer et al.
MUltlog is a system that takes as input the specification of a finitelyvalued firstorder logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic. All generated rules are optimized regarding their
...more>>
 MUltseq  Gil, Salzer
MUltseq is a generic sequent prover for propositional finitelyvalued logics. It is intended as companion for MUltlog, which computes optimized sequent rules from the truth tables of a finitely valued logic. MUltseq uses these rules to construct derivations
...more>>
 MuPAD: Multi Processing Algebra Data tool  The MuPAD Group at University of Paderborn
MuPAD is a general purpose computer algebra system for symbolic and numerical computations. Users can view the library code, implement their own routines and data types, and can also dynamically link C/C++ compiled modules to meet their preferences for
...more>>
 Museum of the History of Science  Oxford University, U.K.
The Museum houses a collection of historic scientific instruments in the Old Ashmolean on Broad Street, Oxford, covering almost all aspects of the history of science, from antiquity to the early twentieth century. Particular strengths include the collections
...more>>
 The Mutilated Checkerboard in Set Theory  John McCarthy
An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by dominoes each of which covers two rectilinearly adjacent squares. This site presents a set theory description of the proposition and an informal proof that the covering
...more>>
 MVC (Metroplex Voice Computing)
Hands and mousefree arithmetic and math programs for the physically impaired student who cannot use the keyboard. Voiced mathematics products include: ArithmeticTalk (grades 15, for addition, subtraction, division, and multiplication); MathTalk (grades
...more>>
 Myronn Hlynka's Queuing Theory Page  Dr. Myron Hlynka
Provides general information and links to books, researchers, software,
humour, and applications of queuing theory/ queues/wait times.
...more>>
 NANet  Jack Dongarra, Director; Netlib software repository
A system developed to serve the numerical analysis community and other researchers, composed of two independent databases: Email and White Pages (a directory service). Also the NA Digest, a weekly collection of articles on topics related to numerical
...more>>
 NA Numerical Analysis (Front for the Mathematics ArXiv)  Univ. of California, Davis
Numerical Analysis 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>>
 NASA Technical Report Server (NTRS)  National Aeronautics and Space Administration
Keyword search of the following databases: Ames Research Center; Astronomy & Astrophysics (ADS); Dryden Flight Research Center; Glenn Research Center; Goddard Institute for Space Studies; Goddard Space Flight Center; ICASE; Jet Propulsion Laboratory;
...more>>
 National Academy of Sciences
A private, nonprofit, selfperpetuating society of distinguished scholars engaged in scientific and engineering research, dedicated to the furtherance of science and technology and to their use for the general welfare. The Academy has a mandate to advise
...more>>
 National Center for Health Statistics (NCHS)  Centers for Disease Control and Prevention
The source for information about health and vital statistics in the United States. View tables of important statistics online or download data sets and reports (often in PDF format.)
...more>>
 National Foundation for the Improvement of Education (NFIE)  National Education Association
NFIE provides teachers, other school employees, and higher education faculty and staff with opportunities to develop and test solutions to the challenges facing American public education through grants, technical assistance, professional collaboration,
...more>>
 National Institute of Adult Continuing Education (NIACE) (U.K.)  National Institute of Adult Continuing Education (NIACE) (U.K.)
The National Institute of Adult Continuing Education (NIACE) aims to encourage all adults to engage in learning of all kinds. It seeks to accomplish this through advocacy, development and research, consultancy, training, and more.
...more>>
 National Physical Laboratory  United Kingdom Department of Trade and Industry
The United Kingdom's National Standards Laboratory. The searchable site contains year 2000 countdown; news and information on upcoming symposia and other conferences and events; usability services; dimensional metrology; a pressure and vacuum section;
...more>>
 National Research and Development Centre
The National Research and Development Centre (NRDC) is a consortium of partners, led by the Institute of Education in the United Kingdom. It was established by the Department for Education and Skills as part of the Skills for Life Strategy. NRDC is dedicated
...more>>
 National Science Foundation (NSF)  U.S. Government
An independent U.S. government agency responsible for promoting science and engineering through programs that invest over $3.3 billion per year in almost 20,000 research and education projects. Overview of the NSF home page; Visitor Information; Staff
...more>>
 Nature: International Weekly Journal of Science  Macmillan Publishers Ltd.
Sciencepolicy news, archives and indices, web specials (a collection of fulltext articles and webonly material), job openings, events and announcements, a Nature meetings guide, a marketplace, science update (for the general reader), and Nature past
...more>>
 Nauty  Brendan D. McKay; Australian National University
A program for computing automorphism groups of graphs and digraphs that can also produce a canonical labelling.
...more>>
 NBody / Particle Simulation Methods  Amara Graps
An article summarizing different methods for modeling the gravitational interaction of an arbitrary number of particles, including the particleparticle, treecode, and symplectic methods. Mirrors at http://galileo.mpihd.mpg.de/~graps/other/nbody.html
...more>>
 The nCategory Café  John Baez, David Corfield, and Urs Schreiber
A blog devoted to "that heady interface between physics, mathematics and philosophy." Read posts, many with MathML, that date back to August, 2006.
...more>>
 Nearest Neighbors and Voronoi Diagrams (The Geometry Junkyard)  David Eppstein, Theory Group, ICS, UC Irvine
An extensive annotated list of links to material on Delaunay triangulations and Voronoi Diagrams.
...more>>
 Neil J. A. Sloane
Neil Sloane's research ranges far and wide and includes coding theory, sphere packing, lattices and quadratic forms, packing lines, and planes, spherical codes and designs, quantizing, geometry, combinatorics, the design of experiments, integer sequences,
...more>>
 NEOS Guide (NetworkEnabled Optimization System)  The Optimization Technology Center
A thumbnail sketch, outlines of the major algorithms, and pointers to software packages on optimization and its various subdisciplines: integer programming, stochastic programming, network programming, bound constrained, nonlinearly constrained, linear
...more>>
 Nerdy TShirt  Thomas Reuter
Humorous math equation tshirts. Each garment features a math equation followed by a corresponding word related to some characteristic of the equation. For example, a shirt displaying an equation for changes in acceleration bears the word "Jerk." Each
...more>>
 Nesting Software for Cutting Glass, Metal, Cutting Optimizer  Tom Tang
Nesting software for reducing scrap and generating optimum layouts for
cutting and nesting in sheet metal layout, fabrication, glass, building
panel, and woodworking industries. Samples and free demo downloads.
...more>>
 Nesting Software: PLUS (PaneL Utilization Software)
Software for reducing scrap and generating optimum layouts for cutting in sheet metal layout, fabrication, glass, building panel, and woodworking industries. Samples and free demo downloads.
...more>>
 Netherlands Society for Statistics and Operations Research (VVS)
Membership information and benefits, awards, and events of interest. Also available in Dutch.
...more>>
 Netlib Conference Database Search Form
The Netlib Conferences Database contains information about upcoming conferences, lectures, and other meetings relevant to the fields of mathematics and computer science. Unless otherwise specified in the "Starting Date" field below, your search will be
...more>>
 Netlib Repository at UTK and ORNL  AT&T Bell Labs, Univ. of Tennessee, Oak Ridge National Laboratory
The Netlib repository contains freely available mathematical and statistical software, documents, and databases of interest to the numerical, scientific computing, and other communities. The repository is maintained by AT&T Bell Laboratories, the
...more>>
 NetSolve  Jack Dongarra
NetSolve is a clientserver system that enables users to solve complex scientific problems remotely. The system allows users to access both hardware and software computational resources distributed across a network. Matlab and Mathematica client interfaces
...more>>
 Network Resources for Colouring a Graph  Michael Trick
A document that tries to bring together resources available on the Internet to help in formulating and solving graphcoloring problems. A Brief Survey of Applications and Algorithms (1994); Bibliographies; Solution Codes; Test Instances; People and Papers.
...more>>
 Networks and Nonlinear Dynamics Group (NNDG)  Maurice Dodson (Director and Head)
A research group at the University of York studying the control, prediction and optimization of complex systems. Specific interests include telecommunications networks and reducing vehicle traffic. Read about the group's projects (major projects include
...more>>
 New Foundations  Randall Holmes
Developing site for the set theory "New Foundations," first introduced by W.V.O. Quine in 1937. A refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Site
...more>>
 A New Kind of Science  The Wolfram Institute, LLC
A forthcoming book by Stephen Wolfram (creator of Mathematica) arguing that the "rules" science searches for should include algorithms like those used in computer programs, not just mathematical equations. Site includes a summary, table of contents,
...more>>
 New Mathematical Constant Discovered  Keith Devlin (Devlin's Angle)
Descendent of Two Thirteenth Century Rabbits: A recent mathematical result by Divakar Viswanath, a young computer scientist at the Mathematical Sciences Research Institute (MSRI) in Berkeley, California, has put the Fibonacci numbers back in the news
...more>>
 A New Polyhedral Surface  Davide P. Cervone; The Geometry Center
Main entry point for pages that describe the recently discovered tight polyhedral immersion of the surface of Euler characteristic 1 into threespace and demonstrate one way that mathematics can be presented by means of a networkbased multimedia hypertext
...more>>
 A New Proof of The Four Colour Theorem  Ashay Dharwadker
An article presenting a proof of the four color theorem that uses group theory and Steiner systems, illustrated using a map of Madhya Pradesh and adjoining states in India. Introduction; Map Colouring; Steiner Systems; Eilenberg Modules; Hall Matchings;
...more>>
 Newton Papers  University of Cambridge
View and download Isaac Netwon's handwritten papers: his own annotated copy of Principia Mathematica; the socalled "Waste Book," a large notebook that he inherited from his stepfather, and which Newton filled with notes and calculations when forced to
...more>>
 New York Group Theory Cooperative at CCNY
Genetic algorithms, open problems and preprints in combinatorial and geometric group theory, meetings, links, and MAGNUS, a free (GPL) graphically oriented system, based on Tcl/Tk, for computational group theory designed to allow for exploration and experimentation
...more>>
 New York Journal of Mathematics (NYJM)  Mark Steinberger, Editor in Chief
Fully searchable research and universitylevel articles, such as "A Mathematical Theory of Origami Constructions and Numbers." With instructions for authors.
...more>>
 New Zealand Mathematical Society
The representative body of professional mathematicians in New Zealand, founded in 1974. Its aims include promotion of research in the mathematical sciences, the development, application, and dissemination of mathematical knowledge within New Zealand,
...more>>
 Nexus Network Journal: Architecture and Mathematics Online  Graham Foundation for Advanced Studies in the Fine Arts
A peerreviewed research resource for studies in architecture and mathematics, published quarterly on the Internet and annually in print by Kim Williams Books.
...more>>
 Nikkoa  Nikkoa, Inc.
Ad hoc methods for analysis, estimation, prediction, detection, identification, tracking and association of signals and information include neural networks, casebased reasoning, fuzzy logic, evidential reasoning, and artificial intelligence. Product,
...more>>
 NIST Virtual Library (NVL)  National Institute of Standards and Technology
Online library of the National Institute of Standards and Technology. Includes subject guides, an online library catalog, NVL databases, a selection of electronic journals, NIST publications, online resources, global Web resources, and hints and help
...more>>
 NMath .NET Math Libraries  CenterSpace Software, LLC
The NMath .NET math libraries from CenterSpace Software provides building blocks for mathematical, financial, engineering, and scientific applications on the .NET platform. Features include matrix and vector classes, linear algebra, random number generators,
...more>>
 A Nobel Formula  Keith Devlin (Devlin's Angle)
The discovery of a single mathematical formula in 1970 led to this year's Nobel Prize for economics, shared between Stanford University professor of finance (emeritus) Myron Scholes and economist Robert C. Merton of Harvard University. The prize would
...more>>
 Nobel Prize Internet Archive  Almaz Enterprises
An interactive archive devoted to Nobel Prizes and prizewinners. Browse by prize type or search by keyword. Additional information about the lack of a prize in mathematics, women laureates, and the Ig Nobel Prizes.
...more>>
 Noga Alon
Noga Alon researches combinatorics, graph theory, their applications to theoretical computer science, combinatorial geometry and number theory, and the relationship of combinatorial algorithms and circuit complexity. Some of his papers, along with a
...more>>
 Noise Removal from Images  J. A. Sethian
A paper and movie on noise removal. Level Set Methods exploit the fact that curves moving under their curvature smooth out and disappear. The idea is to view the pixel values as a topographic map; the intensity (somewhere between white and black) at each
...more>>
 
