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.
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 Combined Membership List (CML) includes the names and addresses of all persons who were members of the American Mathematical Society (AMS), Mathematical Association of America (MAA), Society for Industrial and Applied Mathematics (SIAM), American Mathematical Association of Two-Year Colleges (AMATYC), the Association for Women in Mathematics (AWM), the Canadian Mathematical Society (CMS) - Société mathématique du Canada (SMC), or the Mathematical Programming Society (MPS) as of the last update.
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
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.
...
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.
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.
##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.
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.
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.)
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.
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
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
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
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).
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.
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.
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.
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.
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".
SWiM is a semantic wiki for mathematical knowledge management. This is an installation of the current version of the SWiM prototype that demonstrates some of its features.
SWiM: A Semantic Wiki for Mathematical Knowledge Management
SWiM is a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its pages, containing mathematical theories, are stored in OMDoc, a markup format for mathematical knowledge. Our long-term objective is to develop a software that facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education) and serves work groups of mathematicians as a tool for collaborative development of new theories.
The implementation of SWiM, based on IkeWiki, is currently in a prototype stage. An version based on an older release of IkeWiki is now available for download under the GNU GPL. Bugs and to-dos are documented in our Trac system. See the MathWeb wiki for instructions about downloading and a documentation of current on-goings in the SWiM project and related projects. The latter can also be found on the KWARC research blog.
The Princeton Companion to Mathematics
Edited by Timothy Gowers
June Barrow-Green and Imre Leader, associate editors
Book Description | Endorsements
TABLE OF CONTENTS:
The Identification of Authors in the Mathematical Reviews Database
Bert TePaske-King
Manager, Bibliographic Services Department
Mathematical Reviews
Norman Richert
Administrative Editor
Mathematical Reviews
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.
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.
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.