 Welcome to PERTH: PEerless on EaRTH  Dave Watson
Dave Watson's main interest is computational geometry, and he specializes in spatial interpolation. Books/software on Contouring (a survey of published bivariate contouring and interpolation methods), Tessellations, Spherical Tessellations, Isolines,
...more>>
 Welcome to the World of Petri Nets  CPN Group, University of Aarhus, Denmark
Petri Nets is a formal and graphical language which is appropriate for modeling complex systems with concurrency. It has nothing to do with network communication but has proven useful for describing, analysing, and verifying protocols typically used in
...more>>
 What Can Mathematics Do For The Businessperson?  Keith Devlin (Devlin's Angle)
In business, the ability to dig beneath the surface of a problem to see what
the real underlying issues are, and the capacity for clear and logical thought, can be extremely valuable. And learning mathematics provides an excellent way to develop that
...more>>
 What is the best way to lace your shoes?  Burkard Polster, Nature
"The two most popular ways to lace shoes have historically been to use 'crisscross' or 'straight' lacing  but are these the most efficient? Here we demonstrate mathematically that the shortest lacing is neither of these, but instead is a rarely used
...more>>
 What kind of math? Photo Challenge  Kathryn Mann
Pictures of math graduate students with wordbubbles showing "the kind of math that's right" for them. Submit your own group snapshots and subfields. Inspired by an observation that a flyer from the American Mathematical Society (AMS) reinforced sexist
...more>>
 What's Going On During Mathematics Awareness Month  Keith Devlin (Devlin's Angle)
"This year's theme is mathematics and biology. Two important examples of how mathematics is used in biology are: in developing computer models of the human heart, which are helping us to understand how the heart works and, more importantly, how it goes
...more>>
 What's New  Terence Tao, UCLA
Updates on Tao's research and expository papers, discussion of open problems, and other mathsrelated topics. Blog posts, which date to February, 2007, have included "Riemannian manifolds and curvature" and "Sailing into the wind, or faster than the wind"
...more>>
 What Work Requires of Schools  Secretary's Commission on Achieving Necessary Skills (SCANS)
The Secretary's Commission on Achieving Necessary Skills (SCANS) was asked to examine the demands of the workplace and whether today's young people are capable of meeting those demands as they enter employment. In carrying out this charge, the Commission
...more>>
 When mathematics has to be theater  Keith Devlin (Devlin's Angle)
A mathematician's entry into the world of commercial multimedia  the creation of an interactive calculus textbook on CDROM.
...more>>
 When mathematics is plain sailing  Keith Devlin (Devlin's Angle)
In the ocean waters off New Zealand, an intense mathematical olympiad has just begun: The America's Cup  a yacht race, the premier international event in
ocean sailing. Competition is fierce. The technical challenges are enormous. And the costs are
...more>>
 Why 2001 Won't Be 2001  Keith Devlin (Devlin's Angle)
"It's a good story... But how realistic is the behavior of HAL? We don't yet have computers capable of genuinely independent thought, nor do we have computers we can converse with using ordinary language. True, there have been admirable advances in systems
...more>>
 Why Does BacktoSchool Imply Back to Math?  Keith Devlin (Devlin's Angle)
...in a world where everyone can afford a pocket calculator and a great many people seem to be successful in life with little or no mathematical ability or knowledge of science, why do we place so much emphasis on math and science?
Whatever the answer,
...more>>
 Width, Diameter, and Geometric Inequalities (The Geometry Junkyard)  David Eppstein, Theory Group, ICS, UC Irvine
An extensive annotated list of links to material on width, diameter, and geometric inequalities.
...more>>
 Wiles' proof of Fermat's Last Theorem  Paul Hewitt; University of Toledo
An overview, following Glenn Stevens' article in Modular Forms and Fermat's Last Theorem (SpringerVerlag, 1997). Notes from a series of three 1998 lectures.
...more>>
 Wiles, Ribet, ShimuraTaniyamaWeil and Fermat's Last Theorem  Dept. of Mathematics and Statistics, The University at Albany
An archive of FLT material from conferences, lecture, meetings, newsgroups, and Web sites. Much of the material that seeded this archive was copied from the former gopher archive pertaining to "Fermat's Last Theorem"at emath.ams.org.
...more>>
 WinKE: A Proof Assistant for Teaching Logic  Ulrich Endriss
An interactive proof assistant based on the KE calculus, a refutation system that combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. The software has been designed to serve as a tutoring system to support the teaching
...more>>
 Wiskundig Genootschap
The Dutch Mathematical Society, one of the oldest mathematical societies in the world. History of the society, current activities, and calendar of mathematical activities in the Netherlands. Most information is available only in Dutch.
...more>>
 The Witt Design  Ashay Dharwadker
The Steiner system S(5,8,24) is explicitly constructed. A C++ program to
generate the Golay code and the Witt design is provided.
...more>>
 The Wolf Foundation  Yaron E. Gruder, Director General
The Wolf Foundation awards prizes to outstanding living scientists and artists, including mathematicians. Read general information and more about the nomination procedure. Named in honor of Ricardo Wolf, the Foundation also awards about 200 scholarships
...more>>
 The Wolfram Demonstrations Project  Wolfram Research, Inc.
A web collection of freely available demonstrations in math, science, and many other areas. Interact with the demonstrations directly in your browser. Each Demonstration contains a set of related links to sites such as MathWorld, The Wolfram Functions
...more>>
 Wolfram Research, Inc.
Wolfram is the maker of Mathematica, a software system for numeric and symbolic computation, data visualization, and programming; an interactive calculation tool and programming language to solve technical problems. Mathematica's electronic documents,
...more>>
 Women & Mathematics  Key Issues in Mathematics at the Math Forum
Find sites relevant to women, girls, and gender equity in the Math Forum's Internet Mathematics Library.
...more>>
 Women of NASA  Tish Krieg, National Aeronautics and Space Administration
The Women of NASA resource was developed to encourage more young women to pursue careers in math, science, and technology. The project showcases outstanding women who are enjoying successful careers, and demonstrates how these women balance personal and
...more>>
 Word2TeX  Chikrii SoftLab
A program that allows you to save Microsoft Word documents (with equations, figures, tables...) in LaTeX or AMSLaTeX format. A shareware version of Word2Tex is available for download. The site includes a program description and examples, registration
...more>>
 Word2TeX, TeX2Word, PseudoTeX  Chikrii SoftLab.
Word2TeX is a converter designed for use with Microsoft Word to enable saving documents in LaTeX format. Convert existing Microsoft Word documents to LaTeX and create new LaTeX documents in your mainstream word processor rather than a completely separate
...more>>
 Working Group Mathematical Logic
 LudwigMaximiliansUniversität, Munich, Germany
In English and German. Contact information, staff, conferences, seminars, and workshops, Ph.D. program, links, articles.
...more>>
 The Working Group on Automated Timetabling (WATT)
A professional association dedicated to the research of automated timetabling issues and methods. List of members, history of the organization, upcoming events, recent digests, membership information, and a bibliography of timetabling books and articles.
...more>>
 The Work of Robert Langlands  Mathematics Dept., University of British Columbia, Canada
A selection from Langlands' professional correspondence, previously unpublished work, and published work now out of print. Thesis, papers, manuscripts, letters, and bibliography.
...more>>
 Workplace Essential Skills: Resources Related to the SCANS Competencies and Foundation Skills  Employment and Training Administration, U.S. Dept. of Labor
This PDF report provides the results of a comparison of the workplace basic skills defined by the Secretary's Commission on Achieving Necessary Skills (SCANS) with skill frameworks developed by a variety of national and international organizations. The
...more>>
 Workshop on Finite Groups and Their Automorphisms
A fiveday workshop on the theory of groups, and in particular the relationship between a finite group and another one acted upon by the first. Read about the workshop as well as its mini courses, invited talks, contributed talks, and poster session.
...more>>
 World Mathematical Year 2000
On May, 6th, 1992, in Rio de Janeiro, the International Mathematical Union declared that the Year 2000 will be the World mathematical Year. The Declaration of Rio sets three aims: the great challenges of 21st Century; mathematics, a key for development;
...more>>
 WorldWideWeb for Operations Research and Management Science (WORMS)  Moshe Sniedovich; Dept. of Mathematics & Statistics, Univ. of Melbourne
A grassroots WWW site established by the Operations Research Group (ORG) at the Department of Mathematics, The University of Melbourne, Melbourne, Australia. WORMS' main objective is to complement the formal online activities of OR/MS Societies worldwide.
...more>>
 Writing Proofs  Leslie Lamport
PostScript, DVI, and LaTeX versions of each (but no HTML) are available. How to Write a Proof: A method of writing proofs is proposed that makes it much harder to prove things that are not true. The method, based on hierarchical structuring, is simple
...more>>
 www.logic.at  University of Technology, Vienna, Austria
A group in Applications of Formal Logic. This server contains the home pages of
the Institut für Computersprachen; the Abteilung für Anwendungen der formalen Logik; the Kurt Gödel Society; the Vienna Group for Multiplevalued Logics;
...more>>
 XLfit: Curve Fitting in Excel  ID Business Solutions
XLfit® is a Microsoft® Excel addin that brings the power of scientific mathematics and statistics to Excel, together with supporting charting capabilities. There are over 70 outofthebox models for both linear and nonlinear curve fitting available
...more>>
 XLpert  Choong Koon Wai, XLpert Enterprises
Shareware and freeware: 4Cast XL (a neural network addin for MS Excel); xl bit (a genetic algorithm addin for MS Excel); nn_Solve (build neural network models with Excel Solver (freeware)); KaotiXL (rescaled range analysis ( Hurst exponent ) with MS
...more>>
 Xmorphia  Roy Williams
Pattern formation from differential equations  an exhibition of images and movies. Morphogenesis from a ReactionDiffusion System: Xmorphia is intended to show the variety of patterns that may be exhibited by a relatively simple parabolic partial differential
...more>>
 Xtoys  Michael Creutz
Download cellular automata simulators for the Xwindows operating system, or a PostScript document describing them. See also the gallery of examples.
...more>>
 The XYZ GeoBench for experimental geometric computation  Dr. Peter Schorn
The XYZ GeoBench (eXperimental geometrY Zurich) is a workbench for geometric computation on Macintosh computers. It provides an interactive user interface similar to a drawing program which can be used to create and manipulate geometric objects such as
...more>>
 Yahoo! Science: Mathematics  Yahoo! Inc.
All the best on the Web in math including Indices, alphabetically listed by category: Academic Papers; Algebra; Applied Mathematics; Books; Calculus; Chaos; Combinatorics; Complex Systems; Conferences; Education; Employment; Entropy; Equations; Ethnomathematics;
...more>>
 Yahoo! Search Options  Yahoo!
Search all of Yahoo by keyword.
...more>>
 Yahoo  Yahoo! Inc.
Search the entire Yahoo database or within categories and subcategories. Major categories include Arts & Humanities; Business & Economy; Computers & Internet; Education; Entertainment; Government; Health; News & Media; Recreation &
...more>>
 Yarrow Home Page  Jan Zwanenburg
A proofassistant for Pure Type Systems (PTSs). In Yarrow you can experiment with various pure type systems, representing different logics and programming languages. A basic knowledge of Pure Type Systems and the CurryHowardde Bruijn isomorphism is
...more>>
 YERME: Young European society for Research in Mathematics Education
A forum where people who are new to research in mathematics education can communicate with each other, offering support as well as practical advice. Summer schools, contacts, a forum, and conferences and meetings.
...more>>
 Young Mathematicians' Network
A loose organization of mathematicians in the junior part of their careers. The site includes the newsletter Concerns of Young Mathematicians, with back issues and an interactive newspaper version online; and links to employment, grant, organizational,
...more>>
 Yuri Matiyasevich
Yuri Matiyasevich is best known for finding a negative solution to Hilbert's Tenth Problem, which has applications to the theory of algorithms, algebra, number theory, model theory, proof theory, and theoretical computer science. As well as information
...more>>
 ZCA Kaiserslautern  Olaf Bachmann
The Zentrum für Computeralgebra (Centre for Computer Algebra) at the University of Kaiserslautern is a scientific institution of the departments of Mathematics, Computer Science, and Electrical Engineering at the University of Kaiserslautern in Germany.
...more>>
 ZDM: Zentralblatt für Didaktik der Mathematik; International Reviews on Mathematical Education
Electronic journal with surveys, book reviews, literature citations, and trend reports on recent topics and issues in mathematics education and computer science education. The current issue and the 5 issues published prior to this one are available to
...more>>
 Zentralblatt MATH Database  SpringerVerlag
A database edited by the European Mathematical Society, the FIZ Karlsruhe, and the Heidelberg Academy of Sciences, and established in cooperation with Math Doc Cell (France). Search for abstracts of papers on any math subject by author, title, classification,
...more>>
 Zeta related functions and proof of Riemann's Hypothesis
Recent studies on Zeta functions and a proposed proof of Riemann's Hypothesis. Theorem of El'Melik; Proof of "Riemann's hypothesis" by above identities; Other Zeta related functions.
...more>>
 
