 Mathematical Foundations of Computer Science  Erich Grädel; Aachen University of Technology, Germany
A research group at Aachen: Mathematische Grundlagen der Informatik: Research, Finite Model Theory, Publications, Teaching, People, Books.
...more>>
 Mathematical Life Sciences Archives  Dobos, Bross, Zimmermann; University of Tennessee, Knoxville (UTK)
A collection of links to sites in: Artificial Life and Complex Systems; Atmospheric Sciences; Biochemistry; Biological Gopher, WWW Servers; Biological and Medical Internet Directories; Botany; Chemistry; Ecology; Educational Materials; Environmental Science;
...more>>
 Mathematical Markup Language (MathML): W3C Recommendation  World Wide Web Consortium
An XML application for describing mathematical expression structure and content. Its goal is to serve, receive, and process mathematics on the Web, just as HTML has enabled this functionality for text. Chapters discuss how the MathML content and presentation
...more>>
 Mathematical Museum and Exhibitions  ZIB/MathNet
A selected collection of links with many images referring to the History of Mathematics, the History of Computer Science, and other Related Fields; Digital Art and Galleries collections; Visualizations and Animations of scientific data; Didactical Items,
...more>>
 Mathematical Problems  Torsten Sillke
Some in German, most in English. Topics include graph theory, number theory, combinatorics (enumerations), geometry, algorithms and complexity, recreational mathematics, tiling and packing, dissections, probability, algebra, analysis. Also links to "MathNews"
...more>>
 Mathematical Publications  ZIB/MathNet
A page on electronic publishing in mathematics, with sections on mathematical journals and bibliographies, separated into references to Ejournals, General Journals and Bibliographies, and Subject Specific Journals and Bibliographies. Also Preprint Archives,
...more>>
 Mathematica Publications  Telos Electronic Library of Science
An annotated catalog of publications about Mathematica, with links to fuller descriptions, and publisher and detailed ordering information.
...more>>
 Mathematics and Computer Science Division (MCS)  Argonne National Laboratory
One of the U.S. Department of Energy's largest energy research centers. Research falls into broad categories: Numerical Methods and Software Development; Systems Software and Parallel Programming Tools; Applied Mathematics and LogicBased Systems; Distributed
...more>>
 Mathematics and Statistics: Academic Press  Elsevier
This imprint of Elsevier offers over 100 print and eBook titles in mathematics and statistics.
...more>>
 Mathematics  Annenberg Media
The video, software, and print guides in the math collection show concrete examples of good teaching and active learning in all sorts of settings: public school classes, multiage classes in rural areas, bilingual classes, magnet and charter schools,
...more>>
 Mathematics by Somos  Michael Somos
A mathematician at Cleveland State University and the originator of Somos Polynomials and the Somos Sequence. Brief discussions of these objects, as well as rational triangles and Pythagorean triples, may be found on this site along with links to resources
...more>>
 Mathematics Experiences Through Image Processing (METIP)  Steve Tanimoto; Dept. of Computer Science & Engineering, Univ. of Washington
A project designed to produce and test materials that promote digital image processing as a means of motivating K12 students in mathematics and to teach mathematical concepts, encouraging teachers and students to experiment firsthand with digital images
...more>>
 Mathematics  John Savard
A collection of essays and illustrations: pentagonal tilings, infinity (Cantor's theory of transfinite numbers), rotations of the dodecahedron, Archimedean solids, the fourth dimension (regular polytopes), Gödel's proof and the halting problem, and
...more>>
 Mathematics Journals (AMS)  American Mathematical Society
A list of mathematics journals with articles on the Web and a list of Web sites for printed journals, with tables of contents of issues, abstracts of papers, actual papers, information about submissions and subscriptions, etc. See also the Annual Listing
...more>>
 Mathematics Journals: Electronic and Printed  Mathematics Dept., Penn State University
Links to dozens of journals, from the Academic press electronic journal library to the Ulam Quarterly, and spanning printed journals from Abstract and Applied Analysis to the Zentralblatt für Mathematik. See also Penn State's page of preprints.
...more>>
 The Mathematics of Falling Bombs  Harold Brochmann
Equations used to calculate trajectories of projectiles that take into account air resistance are described, with Pascal code for doing your own calculations.
...more>>
 Mathematics  World Lecture Hall
Links to pages created by faculty worldwide who are using the Web to deliver math class materials: course syllabi, assignments, lecture notes, exams, class calendars, multimedia textbooks, etc. Advanced Integer Programming, Advanced Linear Programming,
...more>>
 MathGuide  Lower Saxony State and University Library, Göttingen (SUB), Germany
An Internetbased subject gateway to scholarly relevant information in mathematics, with subject and source type catalogues, and a search engine. Resources are described and evaluated, new resources are continuously added, and already cataloged resources
...more>>
 MATHmaniaCS  Lenny Pitt, Cinda Heeren, and Tom Magliery
MATHmaniaCS harnesses the excitement of the mathematical experiences that have captured the imaginations and interest of mathematicians and computer scientists, and develops new materials for other topics in discrete mathematics and computer science.
...more>>
 Math Motivation  Michael Sakowski
Answers to the question "Where will I ever use algebra?" Examples of how "the process of learning higher mathematics provides valuable skills in deductive reasoning and symbolic reasoning, in addition to math skills used directly in science and engineering
...more>>
 Math Professor Quotes
Blog of "the absurd things math professors say." Submit your own teacher's quirky headscratchers, or browse the collective archive, which dates back to July, 2012.
...more>>
 Math Shareware Software 4 Engineers & Scientists  Phil Brubaker, ECB Enterprise
Teach Calculuslevel Programming with application software that includes software code. Calculus Programming solves Algebraic through Partial Differential Equations (PDEs) without numerical methods code. Solvers are builtin and easy to change from
...more>>
 Math Teacher Link  Professional Development Consortium for Mathematics Teachers
A website designed to deliver professional development opportunities and classroom resources to teachers of mathematics, statistics, and related subjects at the high school and lower division college levels. Classroom resources include links to sites
...more>>
 Math WWW VL: Bibliographies  Dept. of Mathematics, Florida State University
Links to bibliographies in collegelevel mathematics.
...more>>
 Matrix Graph Grammars  Pedro Pablo Pérez Velasco
This page is dedicated to Matrix Graph Grammars, MGG, an algebraization of graph transformation systems, a mathematical soundly based theory of computer science. In a single sentence, Matrix Graph Grammars study dynamics of graphs. Also, Matrix Graph
...more>>
 MetaPRL logical programming environment  Hickey, Nogin, et al.
The next generation of the NuPrl proof development system. MetaPRL is two things: it is a logical framework where multiple logics can be defined and related, and it is a system implementation with support for interactive proof and automated reasoning.
...more>>
 MicroWorlds In Action  OpenWorld Learning
MicroWorlds Logo resources: folders of themerelated MW projects of
increasing difficulty, with minilessons and extension activities. FAQ,
activity cards, vocabulary. Children or adults can learn programming in a
flexible, constructivist fashion.
...more>>
 MISTER Pi Computer Math Competion  Otet Alexandru
A math competition for Romanian students, for one "Pi School" per city. Detailed instructions on the site.
...more>>
 Modulef: Methods and Tools for Scientific Computing  Michel Bernadou
The MODULEF project was dissolved on December 31, 1995. The members of this project created the GAMMA project and the MOSTRA preproject. Activity report of the project (1995) (French  abstract in English), research reports of the project, videos and
...more>>
 Molecular Information Theory and the Theory of Molecular Machines  Tom Schneider
Introduction to the use of information theory in studying molecular biology. The author is part of the Molecular Information Theory Group, a section of the Laboratory of Computational and Experimental Biology at the National Institutes of Health in Frederick,
...more>>
 The Most Complex Machine: A Survey of Computers and Computing  David Eck
An introductory computer science textbook for anyone who wants to understand how computers work and what computer science is about. It is supplemented by free software available for Macintosh and in a Java version that can be used over the Web, and lab
...more>>
 Mr. Hoffman's Home Page  Jim Hoffman
Assignments, notes, exams and interactive vocabulary quizzes (with answer keys) from Hoffman's own math and twodimensional computer animation high school classes. These materials are based on Saskatchewan Provincial Curriculum, and include Math 9, Math
...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>>
 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>>
 Neat Math and Programs  Robert Simms, Clemson University
A Map of All Triangles (and see the Introduction to a Euclidean Model of Hyperbolic Geometry; Porch Things (the underlying structure is a cube); generating Pythagorean Triples (includes a JavaScript calculator and a way to generate them from one number);
...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>>
 Networked Computer Science Technical Reference Library (NCSTRL)
NCSTRL (pronounced "ancestral") is an international collection of computer science technical reports made available for noncommercial use from a number of participating institutions, mostly universities that grant Ph.D.s in Computer Science or Engineering,
...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>>
 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>>
 Novosoft Inc.
Novosoft (with the Siberian Branch of Russian Academy of Sciences (SB RAS) offers R&D services including conducting scientific research in different branches of Computer Science, feasibility analysis, and implementing large scienceintensive software
...more>>
 NPComplete Arcade  John Lawrence
Site contains a number of applets that can be used to explore the circumstances under which some NPcomplete problems become hard.
...more>>
 Numerical Integration Tutorial  Joseph L. Zachary
A tutorial that explores rectangular and trapezoidal methods for numerical integration. Includes a Java applet that opens in a separate window, for use alongside the tutorial. From a Computer Science course at the University of Utah, and the book Introduction
...more>>
 Numerical Methods  Douglas N. Arnold; Mathematics Dept., Penn State University
An extensive list of centers (including online services and search engines), individual libraries, other sites (general and specific), journals, books, online publications, and other resources for numerical methods.
...more>>
 Numerical Recipes in C: The Art of Scientific Computing  Books OnLine  Press, Teukolsky, Vetterling, Flannery; Cambridge University Press
An online book available in Adobe Acrobat or PostScript formats that outlines the method of organizing a program, and then provides the methodology and (copyrighted) source code in the C programming language for: linear algebraic equations, interpolation
...more>>
 NuPrl Proof Development System  Cornell University, Ithaca, NY
A tacticbased proof assistant developed over the last 15 years at Cornell University. Its features include: very expressive logical language based on MartinLof type theory, extensive library of formal mathematics and automata theory, possibility of
...more>>
 Occam Press  Peter Schorer
"The skeptical mathematician is invited to improve upon the current implementations of the 3x + 1 strategy...." In addition to the Collatz conjecture, Schorer offers a simple proof of Fermat's Last Theorem, articles on Occam's Razor and programming,
...more>>
 OnLine Encyclopedia of Integer Sequences  The OEIS Foundation Inc.
Before publishing that new sequence you have just found, you might want to check here to see if it's already been discovered. Directions for how to look up a sequence in the table, abbreviations used, sending in a new sequence; how to look up a reference
...more>>
 Online Math Applications  Leung, Jiang, Jiang, Chiu, Klopfer, Chiu; ThinkQuest Junior
Activities, examples, problems, and online quizzes about math applied to real world situations in investing (a stock market simulation game), music (classical MIDI files), history (biographies and anecdotes), science (astronomy, computers, 'math in the
...more>>
 Open Discrete Dynamic Programming Template (OpenDDPT)  Centi Riccardo
OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter (as neural network).
...more>>
 Order  Kluwer Online
A journal on the theory of ordered sets and its applications. Order occurs throughout mathematics and especially in algebra, combinatorics, geometry, model theory, set theory and topology.
...more>>
 
