 Database of Existing Mechanized Reasoning Systems  Kohlhase, Talcott.
A 1999 page designed to represent the state of an ongoing effort to collect information about existing automated reasoning systems  automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools. The page
...more>>
 Data Description, Inc.
Makers of data analysis software and computerbased training packages. The data analysis software is designed for data visualization, data mining, and statistical analysis; the computerbased training packages are selfpaced, multimedia training courses
...more>>
 Data Envelopment Analysis (DEA) Homepage  Ali Emrouznejad
A resource site for DEA, an operational research tool for measuring technical efficiency. Includes a brief introduction, glossary, models, bibliography, dissertations, books, people in the field, tutorial, course, data sets, software, discussions, links,
...more>>
 Data Formats  Paul Bourke
Documentation on geometric data interchange formats: Postscript, HPGL, Images, Audio, Medical, and Computer formats (binary files, ANSI Standard, ASCII codes, Latin 1 character set, mmencode, VT100 commands and control sequences).™
...more>>
 Dave Donoho  Statistics Dept., Stanford University
Recent lectures ("Beyond Wavelets: A Case Study"); links to software and software the author has written or cowritten.
...more>>
 David Bailey's World of Tessellations  David Bailey
Some high quality tessellations of a "representational" nature, as exemplified by M.C. Escher. Includes notes on the designs themselves, the design process, the history of tessellations, and references.
...more>>
 David Bruce Wilson
David Bruce Wilson researches probability, combinatorics, and theoretical computer science. Abstracts of his articles on these subjects are available on the web and may be downloaded in PostScript or .dvi formats. Software available for download includes
...more>>
 David Eppstein's Teaching  David Eppstein
Archives of Information and Computer Science courses in computational statistics, computability, design and analysis of algorithms, computational geometry, game programming (Java versions of mancala, othello, and fanorona), graduate data structures, computational
...more>>
 David J. Wright  Mathematics Dept., Oklahoma State University
Wright's main field is number theory, particularly algebraic number theory and algebraic groups, with methods from functional analysis and analytic number theory. Papers: Observations of N. Katz on the finer distribution of Gauss sum angles and similar
...more>>
 David Marius Bressoud
David Bressoud has written several undergraduate textbooks that use physics and the history of mathematics to motivate the study of multivariable calculus, number theory, real analysis. Other books include A Course in Computational Number Theory and
...more>>
 David Pollack
Download the author's thesis, "Explicit Hecke Actions on Modular Forms" (Harvard, 1998) in DVI format.
...more>>
 Deal.II: A Differential Equations Analysis Library  Wolfgang Bangerth, Ralf Hartmann, and Guido Kanschat
This C++ program library targets the computational solution of partial differential equations (PDEs) using adaptive finite elements. Among other features, it works for one, two, and three space dimensions; handles locally refined grids, fully supporting
...more>>
 Decision Analysis Society (DAS)  INFORMS
DAWeb promotes the development and use of logical methods for the improvement of decisionmaking in public and private enterprise. Such methods include models for decisionmaking under conditions of uncertainty or multiple objectives; techniques of risk
...more>>
 Decisioneering, Inc.
Excelbased decision analysis software tools (Crystal Ball, CB Predictor) for risk analysis and business forecasting.
...more>>
 Decision Sciences Institute
An interdisciplinary, international organization dedicated to the advancement of the science and practice of education and research about business decisions. Publishes the Decision Sciences Journal.
...more>>
 Decision Tree for Optimization Software  Hans D. Mittelmann, P. Spellucci
Information on optimization software and optimization research, including links to a dictionary, tutorials, testcases, interfaces, and software.
...more>>
 Deliberative Discourse Idealized and Realized: Accountable Talk in the Classroom and in Civic Life  Sarah Michaels, Catherine O’Connor, Lauren B. Resnick
An article in PDF format. Abstract: Classroom discussion practices that can lead to reasoned participation by all students are presented and described by the authors. Their research emphasizes the careful orchestration of talk and tasks in academic learning.
...more>>
 Dennis Stanton
Dennis Stanton is a professor at the University of Minnesota studying combinatorics and hypergeometric functions. Many of his papers are available online in PostScript and PDF formats. There are also exams and solutions from previous classes, and a complete
...more>>
 Density Functional Theory in Hydrodynamics
Density functional theory in hydrodynamics of a multicomponent multiphase
mixture. Density functional theory describes the multicomponent multiphase
mixture continuously without density jumps and interfacial surfaces.
Bulletin /Field of Application/
...more>>
 Departamento de Didáctica de la Matemática  Universidad de Granada
The University of Granada's Department of Mathematics Instruction features research groups, each with bibliographies of downloadable publications and other resources, on numerical thinking (pensamiento numérico), statistics education (educación
...more>>
 The Department of Applied Science Wavelet Group  Lawrence Livermore National Laboratory
The Wavelet Group is interested in studying the use of the wavelet transform in the solution of various types of problems. The primary area of current study is Signal Processing Using the Wavelet Transform Electrocardiogram (ECG). People, recent papers,
...more>>
 Department of Logic  Faculty of Philosophy, Moscow State University, Russia
In English and Russian. History of the department, staff, books, papers, courses, news.
...more>>
 Dept. of Statistics  University of Illinois at UrbanaChampaign
Web pages generated by statistics courses; biographical sketches of faculty, staff, lab members, and graduate students; department newsletter. Graduate program admission requirements, degrees offered, courses, statistical consulting services, and The
...more>>
 Description of the Julia sets of the Cauliflower fractal  Frans Faase
Investigation of the Julia sets of the Cauliflower fractal, which is a fractal generated by two linear translations with three parameters. The generated fractal can either be solid, connected, or disconnected. The author shows that two Julia sets consisting
...more>>
 Design, Analysis, Implementation, and Evaluation of Graph Drawing Algorithms  Petra Mutzel
Automatic Graph Drawing is a relatively new field in Computer Science. The task is to draw diagrams of objects and their relations in such a way that they are easy to read and understand. Applications are, e.g., animation of algorithms, data and flow
...more>>
 Design Science  Design Science, Inc.
Math publishing and presentation tools for the web: MathType, the professional version of Equation Editor, for Windows or Mac; WebEQ, for building interactive math web pages; MathFlow, math publishing for the enterprise; and MathPlayer, to display MathML
...more>>
 Designs, Codes and Cryptography  Kluwer Online
An international, searchable, archived, peerreviewed technical journal publishing survey and original papers on design, codes, and cryptography.
...more>>
 developer.com's collection of math Java applets  EarthWeb, Inc.
A browsable, searchable collection of links, authors, notes, and details about Java applets contributed to developer.com. Software is organized into the categories of basics and children's, fractals, games and puzzles, general, geometry, plotting, graphing,
...more>>
 De Viribus Quantitatis  The University of Bologna
Luca Pacioli, a Franciscan monk, mathematics tutor, and colleague of Leonardo Da Vinci, wrote this foundational text of modern magic and numerical puzzles between 1496 and 1508. De Viribus Quantitatis (On the Powers of Numbers) contains the first ever
...more>>
 DG Differential Geometry (Front for the Mathematics ArXiv)  Univ. of California, Davis
Differential Geometry 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>>
 Dictionary of Mathematics (EnglishSpanish / SpanishEnglish)  Kenneth Allen Hornak
A comprehensive bilingual dictionary covering everything in mathematics: applied mathematics, pure mathematics, algebra, statistics, geometry, arithmetic, calculus, game theory, topology, probability, trigonometry, economic theory, mathematics teaching
...more>>
 Differential equations in industry and commerce  TMR network  ECMI
Coordinated at the Oxford Centre for Industrial and Applied Mathematics, the network aims to enhance understanding of industrial processes and commercial operations through the use of reliable modeling, novel mathematics, and numerical analysis. Six young
...more>>
 Diffpack  Numerical Objects Online
Diffpack is a collection of C++ modules containing a wide selection of interchangeable and applicationindependent components, useful as a set of linkable libraries integrated with existing applications or as a development framework including a fully
...more>>
 DigiArea Group  Helen Golovina
Makers of atlas™, a Maple package for differential geometry calculations that works with manifolds, mappings, embeddings, submersions, pforms, and tensor fields; and LdeApprox™, a toolbox for Maple or Mathematica that finds analytical polynomial
...more>>
 Digital Library of Mathematical Functions  National Institute of Standards and Technology
An updated, online version of Abramowitz and Stegun's authoritative Handbook of Mathematical Functions (with Formulas, Graphs, and Mathematical Tables), with extensions and innovative interactive features. See also the table of software for computing
...more>>
 Digital Library: Science, Mathematics, Engineering and Technology Education (SMETE)  NEEDS
This site contains a searchable working prototype of a National Science, Mathematics, Engineering, and Technology Education Digital Library; a prototype federated search for the math community and the American Mathematics Metadata Task Force (AMMTF);
...more>>
 Digital Mathematics Archive  SunSITE.UBC.CA
A digital collection of mathematical sources, with a primary focus on documents from the late 19th century through today. Papers, letters, manuscripts, email messages, Usenetnews postings, computer rendered images and computations, program source code.
...more>>
 DIMACS  Rutgers & Princeton Universities, AT&T Bell Labs, BellCore
The Center for Discrete Mathematics and Theoretical Computer Science, an NSF Science and Technology Center. DIMACS is devoted to the development of the interrelated fields of discrete mathematics and theoretical computer science, among the most rapidly
...more>>
 Diophantine geometry in characteristic p: a survey  José Felipe Voloch
An article that appeared in Arithmetic Geometry, F. Catanese, ed., Symposia Mathematica XXXVII, Cambridge Univ. Press, 1997, pp. 260278. Introduction; Curves; Abelian varieties and their subvarieties; Diophantine Approximation in characteristic p; Omitted
...more>>
 Diophantine mtuples  Andrej Dujella; Zagreb
Introduction to Diophantine mtuples, i.e., sets with the property that the product any two distinct elements is one less than a square. Diophantine quintuple conjecture, sets with the property D(n), connections with Fibonacci numbers, rational Diophantine
...more>>
 Directory of Scholarly and Professional Econferences  Diane K. Kovacs and The Directory Team
Descriptions of electronic conferences (econferences) on topics of interest to scholars and professionals for use in their scholarly, pedagological and professional activities. Econference is an umbrella term that includes discussion lists, Internet
...more>>
 Discreta  Betten, Haberberger, Laue, Wassermann
A program to construct tdesigns with a prescribed automorphism group. Includes an explanation of the construction of tdesigns, a tutorial, a database of design parameter sets, publications, and source code to download.
...more>>
 Discrete and Computational Geometry  SpringerVerlag
An international journal of mathematics and computer science that accepts research articles of high quality in discrete geometry and on the design and analysis of geometric algorithms; more specifically, DCG publishes papers on such topics as configurations
...more>>
 Discrete Calculus by Analogy  Farzali Izadi, N. Aliev, G. Bagirov
"With origins stretching back several centuries, discrete calculus is now an increasingly central methodology for many problems related to discrete systems and algorithms. The topics covered here usually arise in many branches of science and technology,
...more>>
 Discrete Mathematics & Theoretical Computer Science (DMTCS): An Electronic Journal  Jens Gustedt
DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes, MIMD. It is a peerreviewed publication devoted to rapid publication of innovative research which covers discrete mathematics and theoretical computer
...more>>
 discretemath  Math Forum
A discussion group for subject matter concerning teaching and researching of discrete mathematics at all levels. It began as a closed list for the researchers and educators who participated in the Rutgers University Discrete Math and Theoretical Computer
...more>>
 Discussiones Mathematicae  Borowiecki; Technical University of Zielona Góra, Poland
Four journals: Differential Inclusions, Control and Optimization; General Algebra and Applications; Graph Theory; and Probability and Statistics. Information for each journal includes a general description, subscription information, list of editors,
...more>>
 Discussiones Mathematicae Graph Theory  Borowiecki; Technical University of Zielona Góra, Poland
The journal publishes articles in English on all aspects of graph theory, especially concerning: colourings, partitions (general colourings), hereditary properties, independence and dominating structures (sets, paths, cycles, etc.), cycles, local properties,
...more>>
 Discussions  Math Forum
The Math Forum's discussions include mathematics and math educationrelated newsgroups, mailing lists, and Webbased discussions. Read recent and older messages, find out how to subscribe to a mailing list that interests you, read an MAA Online article
...more>>
 Dissection (The Geometry Junkyard)  David Eppstein, Theory Group, ICS, UC Irvine
An extensive annotated list of links to material on problems of cutting a region (such as a polygon into the plane) into pieces (possibly putting them together to form a different polygon). Related topics include tiling (in which the whole plane is cut
...more>>
 
