 Arbeitsgruppe Mathematische Logik und Theoretische Informatik  Ru[rechtKarls_Universität Heidelberg, Germany
Aktuelles, Anshriften, und Personen.
...more>>
 Archives Henri Poincaré  PierreEdouard Bour and Manuel Rebuschi
La laboratoire de Philosophie et d'Histoire des Sciences (LPHS) réunit des scientifiques intéressés à l'histoire et à l'épistémologie de leur disciplines et des philosophes et historiens prêts à
...more>>
 Archives of American Mathematics  The Dolph Briscoe Center for American History, The University of Texas at Austin
The only archival repository in the United States solely dedicated to collecting, preserving, and providing access to the records of American mathematicians and mathematical organizations for use by historians, mathematicians, educators, and others interested
...more>>
 Archives of NMBRTHRY@LISTSERV.NODAK.EDU (Number Theory List)  North Dakota Higher Education Computer Network (NODAK)
Searchable archives of postings, September 1987  present.
...more>>
 Arché: Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology  Crispin Wright, Director; University of St. Andrews, U.K.
Arché is a new research centre within the School of Philosophical and Anthropological Studies, St Andrews. Its goal is the promotion and publication of research of the highest quality in metaphysics, formal and philosophical logic, philosophy of
...more>>
 Arithmetic Properties of Binomial Coefficients (Organic Mathematics Proceedings)  Andrew Granville
Many great mathematicians of the nineteenth century considered problems involving binomial coefficients modulo a prime power (for instance Babbage, Cauchy, Cayley, Gauss, Hensel, Hermite, Kummer, Legendre, Lucas and Stickelberger). They discovered a variety
...more>>
 Arizona Center for Mathematical Sciences (ACMS)  University of Arizona, Tucson
An interdisciplinary research group that enjoys close ties with the Departments of Physics and Optical Sciences. The main goal of ACMS research is to understand nonlinear processes in natural phenomena. Research topics include nonlinear optics, fluids,
...more>>
 Arnd Roth  Arnd Roth, Institute for Theoretical Physics, Heidelberg, Germany
Arnd Roth studies computational physics and neuroscience. This page provides documentation and code for related Mathematica notebooks, and a notebook for the Knight's Tour chess problem, available online. Also links to abstracts or text of many of Roth's
...more>>
 ARPACK  Danny C. Sorensen
Anonymous ftp archive for ARPACK, a software package for solving largescale symmetric, nonsymmetric standard, or generalized eigenvalue problems. Industrialscale problems with as many as 250K degrees of freedom have been solved with this package. Future
...more>>
 Artelys Kalis  Artelys SA
Artelys Kalis is an extensible constraint programming framework enabling the user to define its own constraints and search heuristics. It also includes several global constraints. It is available as a C++ library and its port to XpressMosel environment
...more>>
 Articles on Mathematics  Subramaniyan Neelagandan
Articles in four formats: DVI, PDF, PS, and TEX Code. The Distribution of Prime Numbers & Integer Factorization; The Simplification of Fermat's Last Theorem; Exploration of Collatz's Conjecture.
...more>>
 Artificial Intelligence Resources  NRC  National Research Council (NRC) of Canada
Internet resources useful to AI researchers: Archives for newsgroups and mailing lists; bibliographies; books; companies; conferences; employment opportunities; FAQs; journals; location index (various AI research groups, organized geographically); list
...more>>
 The Art of Calculating Real 2D Vectors  Hero van Jindelt
Freeware: Print the text for pupils. Numerical 2Dcalculator. We don't need
words like imaginary, complex number, or Argand Diagram any moresave them
for a history lesson. Ordinary vectorcalculation with a "new" (centuriesold) multiplication,
...more>>
 arXiv.org ePrint archive  Los Alamos National Laboratory (LANL)
A major site for mathematics preprints that has incorporated many formerly independent specialist archives including alggeom, functan, dgga, qalg, autofms, cdhg, MAGNUS, Several Complex Variables, Logic Eprints, Commutative Algebra, Dynamical Systems,
...more>>
 ASCIIMathML  Peter Jipsen, Chapman University
The ASCIIMathML.js script uses a calculatorstyle syntax and your own ASCII or XHTML editor to incorporate mathematical formulas on web pages. See examples by visiting the site with Internet Explorer 6 + MathPlayer or Mozilla/Netscape 7.
...more>>
 The Askeyscheme of hypergeometric orthogonal polynomials and its qanalogue  Koekoek, Swarttouw; Delft University of Technology
A 1998 report: definition, orthogonality relation, threeterm recurrence relation, second order differential or difference equation, forward and backward shift operator, Rodriguestype formula and generating functions of all classes of orthogonal polynomials;
...more>>
 Assessment Resource Center (ARC)  University of Missouri
The ARC "promotes the practice, enhances the understanding, and advances the use of assessment in education, business, and the professions." ARC develops and applies measurement instruments and research and evaluation services, offering project management
...more>>
 Association des Collaborateurs de Nicolas Bourbaki  École Normale Supérieure (Paris, France)
The Bourbaki Association's principal activities include drafting _Elements of Mathematics_ (Éléments de Mathématique) and organizing seminars. View or download conference dates, programs, proceedings, and style guides.
...more>>
 Association for Computing Machinery (ACM)
The world's oldest and largest educational and scientific computing society. Since 1947 ACM has provided a vital forum for the exchange of information, ideas, and discoveries. Today, ACM serves a membership of more than 80,000 computing professionals
...more>>
 Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization supporting the presentation, publication, and critical discussion of scholarly work in the field of logic. Its current membership reflects the longstanding important role of logic
...more>>
 Association for Women in Computing
The Association for Women in Computing (AWC) is a notforprofit, professional organization for individuals with an interest in information technology. AWC is dedicated to the advancement of women in the computing fields, in business, industry, science,
...more>>
 Association of Christians in the Mathematical Sciences (ACMS)
ACMS promotes interaction among Christians in the mathematical sciences and encourages them to explore the relationship of their faith to their discipline. History, membership and online newsletter.
...more>>
 Association of European Operational Research Societies (EURO)  International Federation of Operational Research Societies (IFORS)
A notforprofit association domiciled in Fribourg, Switzerland, regulated by a Council consisting of representatives/alternates of all its members and an Executive Committee that constitutes its board of directors. Its aim is to promote Operational Research
...more>>
 AsTeR Demonstration  T.V. Raman
Mathematics for Computer Generated Spoken Documents. AsTeR is an Audio System For Technical Readings: a computing system for rendering technical documents in audio, developed by Raman for his Ph.D.; an audio formatted version of his thesis, (approximately
...more>>
 ASTEX: A TypeSetting System for the Web  Michael A. Ziegler
A JavaScript application for putting mathematics on the web, including 2D graphs and 3D surfaces. Available under the GNU Lesser General Public License.
...more>>
 Astrokettle Algorithms: 2D/3D Packing, Cutting, and Scheduling Optimization  Nikita Yurchenko
Scientific and technical software algorithms and custom solvers for development, numerical analysis, modeling, and simulation for mathematics, physics, and engineering. Software for 2D and 3D rectangle cutting, packing, and limited
resource scheduling
...more>>
 Astronomical Image Processing System (AIPS)  National Radio Astronomy Observatory
A software package for calibration, data analysis, image display, and plotting of astronomical data.
...more>>
 AT Algebraic Topology (Front for the Mathematics ArXiv)  Univ. of California, Davis
Algebraic Topology 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>>
 ATCM: Asian Technology Conference in Mathematics
Aan international conference addressing technologybased issues in all Mathematical Sciences. Site includes past proceedings, upcoming conference details, calls for papers, and more. The organizers write: "Thanks to advanced technological tools such as
...more>>
 ATLAS of Finite Group representations  R. A. Wilson
Representations of many finite simple groups and related groups such as covering groups and automorphism groups of simple groups. Contents: groups: Alternating & Symmetric, Lie type, and sporadic. Includes experimental generic group pagemaker and an experimental
...more>>
 The Australasian Journal of Combinatorics  The Combinatorial Mathematics Society of Australasia, Inc.
A triannual publication of the Combinatorial Mathematics Society of Australasia (CMSA). Search across all of the journal's volumes for authors or keywords in article titles; browse tables of contents dating back to the March, 1990, issue. Also, learn
...more>>
 The Australian Mathematical Society (AustMS)  Ian Doust, Editor
AustMS promotes and extends mathematical knowledge and its applications in Australia. The site provides information about the society, its publications, and conferences.
...more>>
 Austrian Mathematical Society (ÖMG)  Gerald Teschl
The national mathematics society of Austria. The site includes membership information, publications, news.
...more>>
 Authors and Reviewers (AMS)  American Mathematical Society
AMS Journal authors (submission information, editorial boards, AMS electronic journals, and AMS published and distributed journals); AMS book authors (program overview, how, why to become an AMS author, author questionnaire); Mathematical Reviews reviewers
...more>>
 AutoDiff  Alex Shtof
Define your functions from basic primitives, and this .NET library evaluates and differentiates them analytically, calculating their values and gradients at specified points. Download AutoDiff's latest version; read documentation; track issues and check
...more>>
 Automated Deduction  William McCune
Research on applications of automated deduction to problems in abstract algebra and algebraic geometry, algorithms and strategies for searching for proofs and for counterexamples, highperformance implementation of automated deduction algorithms, and
...more>>
 Automated Reasoning Project  Computer Sciences Laboratory, Australian National University, Canberra
A research group that investigates the mathematical properties of nonclassical logics, and studies algorithms for reasoning in various systems, both classical and nonclassical. Includes access to software developed by the team for projects such as FINDER
...more>>
 Aviezri Fraenkel
Aviezri Fraenkel is an Israeli mathematician investigating combinatorial game theory. This page offers preprints and recent reprints in postscript format; a comprehensive bibliography on combinatorial games; and links to information on conferences and
...more>>
 The Awari Oracle  John Romein
Play the ancient African "count and capture" strategy board game, related to mancala, and also known as wari, awale, oware, or ayo. Dutch computer scientists from Amsterdam's Vrije Universiteit developed a program that computes the best move and eventual
...more>>
 The Axiom of Choice (AC)  Eric Schechter; Vanderbilt University
An introduction to and some implications of perhaps the last great controversy of mathematics, the Axiom of Choice, now a basic assumption used in many parts of mathematics. With a collection of annotated links to relevant sites: Introductory/elementary;
...more>>
 Balkan Journal of Geometry and Its Applications (BJGA)  Balan, Udriste, Editors
An international biannual journal covering a wide spectrum of pure and applied
mathematics, ranging from synthetic to computational geometry and
applications in physics, chemistry, biology, engineering, and architecture, and promoting especially papers
...more>>
 Banach Journal of Mathematical Analysis  Mohammad Sal Moslehian, Founder and EditorinChief
The Banach Journal of Mathematical Analysis (BJMA) is an international and peerreviewed electronic journal presenting papers on functional analysis, operator theory and related topics.
...more>>
 Banach Spaces Bulletin Board  Mathematics Dept., Oklahoma State University
Links to preprints of papers in Banach space theory and related fields and archives of messages that have been sent to all subscribers to the associated list. In addition, the Recent section lists the most recent papers that have been added to the archive.
...more>>
 Banxia Software
Software for professional decision making. Frontier Analyst provides Data Envelopment Analysis to measure an organization's efficiency. Decision Explorer lets you create maps to model a situation and develop a strategy.
...more>>
 Bartlett Corrections  F. CribariNeto
Introduction to and compilation of resources on Bartlett corrections: scalar transformations "applied to the likelihood ratio (LR) statistic that yields a new, improved test statistic which has a chisquared null distribution to order O(1/n). This represents
...more>>
 BaseGroup Labs  data analysis, forecasting, free analytical components
A commercial software company that creates systems for information analysis and forecasting, and develops custom integrated circuits. The site offers scientific articles concerning data analysisneural nets, selforganizing maps, filtration, decision
...more>>
 Basic Linear Algebra Subroutines (BLAS)
Routines that provide standard building blocks for performing basic vector and matrix operations. The Level 1 BLAS perform scalar, vector and vectorvector operations, the Level 2 BLAS perform matrixvector operations, and the Level 3 BLAS perform matrixmatrix
...more>>
 The Basics of MRI  Joseph P. Hornak; Rochester Institute of Technology
An introduction to magnetic resonance imagining, which is based on the principles of nuclear magnetic resonance (NMR), a spectroscopic technique used by scientists to obtain microscopic chemical and physical information about molecules. See, in particular,
...more>>
 The Bath Wavelet Warehouse  Signal and Image Processing Group, Univ. of Bath, U.K.
A collection of wavelet filters available for download. Biorthogonal Wavelets; Orthonormal Wavelets; References.
...more>>
 Bayesian Networks Tutorial  Santos, Benslay; University of Connecticut
Introductory material on Bayesian networks and the probabilities involved, with a Bayesian Networks Bibliography of resources for Computational Complexity; Fielded Systems; General References, Tutorials, and Surveys; Knowledge Engineering and Maintenance;
...more>>
 
