Mathematical software has developed during the last twenty years to an established tool in mathematical research and education. Its importance is meanwhile comparable to that of mathematical literature. In contrast to the various systematic collections of mathematical literature, collections of mathematical software so far only exist in a rudimentary manner. In order to make the existing resources more visible and to use them efficiently, it is indispensable to provide appropriate methods and tools for locating, cataloguing, reviewing, and searching of mathematical software. The intention of the Oberwolfach References on Mathematical Software (ORMS) project is to initiate the developement of a permanent provider of infrastructure.
Virginia Tech’s Irving John (Jack) Good, one of the founders of modern Bayesian inference and a member of the World War II code-breaking team at Bletchley Park, died of natural causes on April 5 in Radford
The goal of the project
To collate in one place basic bibliographical data for any kind of mathematical digital article and make them accessible to the users through simple search or medata retrieval.
The Physics-Astronomy-Mathematics (PAM) Division of the Special Libraries Association maintains an electronic discussion group (formerly known as a listserv) which is referred to as "PAMnet".
The digital footprint of Gian-Carlo Rota
16-18 February 2009 - Milan, Italy
The conference is a tribute to the memory of Gian-Carlo Rota, one of the most influential mathematicians of the second half of the 20th century, a founder of modern Combinatorics, and a developer of the philosophical line of thought rooted in the research of Husserl, Heidegger, and Ortega y Gasset.
Gian-Carlo Rota's intellectual footprint lies at the crossroads between modern mathematics, phenomenology, and advanced computer science. His legacy is still fostering innovative research in multiple fields.
Gian-Carlo Rota's activity both in the US and in Europe (with a special attention to Italy) established a strong link between research communities on different sides of the Atlantic whose effects are still felt to these days.
The SlugMath Wiki is a mathematics resource at UC Santa Cruz, created by Martin H. Weissman, with funding from the Center for Teaching Excellence at UCSC, during the summer and fall of 2008, as a source of mathematical knowledge and resources for advanced undergraduates and faculty.
Mathematical knowledge is the foundation of this wiki.
Theory of Stochastic Processes is a semi-annual journal publishing original articles and surveys on modern topic of the theory of stochastic processes and papers devoted to its applications to physics, biology, economics, computer sciences and engineering. All papers submitted for publication are peer-reviewed and, after publication, are refereed at the central Reviews Databases including Mathematical Reviews and Zentralblatt.
Frequency. One volume per year consisting of four issues with about 150 pages each.
MAA Reviews is edited by Fernando Q. Gouvêa, who relies on an immense batallion of faithful reviewers and on the help of the MAA's Basic Library List Committee. And, of course, on you: please visit our page describing the ways you can help MAA Reviews.
Fernando is Carter Professor of Mathematics at Colby College. His main scholarly interests are in number theory and the history of mathematics. He is the author (or co-author) of four (or five, depending on how you count) books, and he was co-editor of a fifth (or sixth). He is also the editor of FOCUS, the news magazine of the MAA.
BASIC LIBRARY LIST
OUR GOALS:
The Basic Library List contains a list of books in the mathematical sciences recommended for college, high school, and public libraries. It is designed to provide students with introductory sources that might not be part of their curriculum; to provide reading material that is collateral to regular courses; to provide faculty with reference material that is relevant to their teaching; and to provide appropriate references for students in disciplines that use the mathematical sciences.
Originally issued in print form in 1965, 1976, and 1992, the Basic Library List is now being revised and updated by the Committee on the Undergraduate Program in Mathematics (CUPM). The version currently on-line is the 1992 edition, supplemented by full text search capabilities. Updates will be made regularly in the future.
The Distributome Project is an open-source, open content-development project for exploring, discovering, learning and computational utilization of diverse probability distributions. Probability distributions are a special class of functions defined in terms of integrals of positive density functions. Distribution functions are very useful in representation, modeling and interpretation of various observable processes and natural phenomena. Probability densities are a non-negative functions that integrate to one over the real numbers. A probability density function can be seen as a smooth version of a frequency histogram.
The interactive Distributome graphical user interface provides the following core functions:
* visually traverse the space of all well-defined (named) distributions;
* explore the relations between different distributions;
* distribution search by keyword, property and type;
* obtain qualitative (e.g., analytic form of density function) and quantitative (e.g., critical and probability values) information about each distribution;
* discover references and additional distribution resources.
This project was initiated in 2008 by the UAH Virtual Laboratories in Probability and Statistics, the UCLA Statistics Online Computational Resource and the OSU Mathematical Biosciences Institute
This table contains DML bibliographic items from various repositories. # # Coding is as follows: # ASCII based (ISO Latin 8859-1 extended) # Every line starting with a '#' is a comment # # the list of items from any repository is preceded by lines like the following: # # nick: <repository nickname, usually short or acronym> # name: <repository name> # addr: <repository web address> # comm: <any comment concerning the actual repository # # After that, the bibliographic items of that repository are described by: # # item_title: <name or title of item> # item_years: <year(s) published or covered> # item_url: <web address of content page> # item_type: <journal|multivol|book> # (possibly other colon separated pairs, first component should begin with "item_") # item_end: <optionally some comment like a counting number...> # This last line ends any item entry. # # Some items do contain commented metadata for later use. # # comment lines like #--------------------------- or similar # could separate entries from different repositories
A Special Issue on Formal Proof
Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
(pp. 1363)
Thomas Hales
(pp. 1370)
Formal Proof--The Four-Color Theorem
Georges Gonthier
(pp. 1382)
Formal Proof--Theory and Practice
John Harrison
(pp. 1395)
Formal Proof--Getting Started
Freek Wiedijk
By Julie Rehmeyer
Web edition : Friday, November 14th, 2008
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.
ProofWeb is both a system for teaching logic and for using proof assistants through the web.
ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students' files, they can freely download the ProofWeb system and run it on a server of their own.
A two-dimensional representation of a Klein bottle--a shape with no inside or outside, just one continuous surface. A true Klein bottle needs at least four dimensions; in other words, it can't be blown from glass. Two- and three-dimensional representations like this one exist to help us visualize the topology, but they are not completely faithful to the original shape. The surface cannot be built in two- or three-dimensional space without self-intersection, as shown here with the "handle" passing through the side of the surface.
Credit: Thomas Banchoff, Brown University, and Davide Cervone, Union College.
Welcome to the Dispersive PDE Wiki! These web pages are intended to present the latest results, conjectures, bibliography, concepts and other material on the local and global well-posedness problems (and related questions) for non-linear dispersive and wave equations. (We also have a more detailed description of this wiki and its purpose.)
Database Reviews and Reports
MathSciNet: Mathematical Reviews on the Web, a Review
Margaret Dominy
Science Librarian
Hagerty Library
Drexel University
dominymf@drexel.edu
Jay Bhatt
Engineering Librarian
Hagerty Library
Drexel University
The Identification of Authors in the Mathematical Reviews Database
Bert TePaske-King
Manager, Bibliographic Services Department
Mathematical Reviews
Norman Richert
Administrative Editor
Mathematical Reviews
The Princeton Companion to Mathematics
Edited by Timothy Gowers
June Barrow-Green and Imre Leader, associate editors
Book Description | Endorsements
TABLE OF CONTENTS:
Firemath is an extension for Firefox. With Firemath yo quickly and easily generate equations and formulas as simpl as y = x 2 or as complex as... well, see our examples page.
Features:
Firemath is free software published under GPL v3.
Supports most MathML 2 presentation markup elements.
Requires hardly any knowledge on MathML.
Runs on all operating systems supported by Firefox.
Allows to copy the MathML code to the clipboard.
Allows to save the MathML code into a file.
Allows to save a bitmap of the equation on disk.
...
Now a newly published volume provides me with a splendid example of how there is still a place for print reference in the world: the Princeton Companion to Mathematics, edited by Fields Medal winner Timothy Gowers and published by Princeton University Press
Related data about elliptic curves, abelian varieties, etc.
William A. Stein
Collection of Tables Related to Modular Forms, Elliptic Curves, and Abelian Varieties
The Modular Forms Explorer (PostgreSQL)
The Interactive Modular Forms Explorer (uses ZOPE)
The Stein-Watkins tables of elliptic curves (see also the paper).
Elliptic Curves Information Calculator
PARI & MAGMA Calculator
Bibtex Reference for the Database
Talks About the Database
Lecture Notes
Software
Sage is a free mathematics software system licensed under the GPL. It combines the power of many existing open-source packages into a common Python-based interface.
Mission: Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab.
##maintainer_type: organization ##subjects: math ##page_type: software ##date: Mon Apr 30 07:09:22 PDT 2007 ##editor: Jim Pitman ##description: latexml is a program, written in Perl, that attempts to faithfully mimic TeX's behaviour, but produces XML instead of dvi. The document model of the target XML makes explicit the model implied by LaTeX. The processing and model are both extensible; you can define the mapping between TeX constructs and the XML fragments to be created. A postprocessor, latexmlpost converts this XML into other formats such as HTML or XHTML, with options to convert the math into MathML (currently only presentation) or images.
The Math Editor List - Finding Synergies in the Development and Use of Semantic Editors for Mathematical Content.
About project-math-editors
English (USA)
This mailing list is going to be used to do understand the state of the
art of semantic mathematical editors (supporting OpenMath or Content
MathML). It addresses developers to identify basic requirements, current
features and major challenges during the implementation of their
editors. Possible topics are the extensibility of editors and finding
synergies. Moreover, users are encourage to post their requirements and
request for support. The list can also be used for announcements, e.g.
of latest releases, integration of editors in other systems, or
interesting events (conferences, workshops, doctoral seminars).
Research
My current field of interest is in algebraic combinatorics with a representation theoretic bent. I also like thinking about problems in discrete and algebraic geometry. Occassionally I do some extremal combinatorics.
The goal of the JEM thematic network is to pool together the required expertise and to contribute to the coordination of content enrichment activities in the area of mathematics, to the maintenance of agreed standards and to the delivery of powerful synoptic high-quality user information and support pages, invoked in e-learning platforms operated by the partners.
The CompuTop.org Software Archive.
Welcome to CompuTop.org, a site for for people doing computational stuff with low-dimensional topology. If you know any other software that should be listed here, drop me a line. Suggestions are welcome.
--Nathan Dunfield