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.