.Open Index to the MATHS site
. Start Here
MATHS is an attempt to free mathematical notation from the tyrany
of blackboards and dead trees.  I'm searching for a way to
record ideas quickly, cheaply, simply, on simple devices,
and then calculate with them.  MATHS shows my current
best practice.  It is a work in progress...
sometimes in regress.

A key discovery in this search was the power of hypertext links.
They let you connect a symbol to its meaning.
The next idea was to give symbolic names to
mathematical and logical systems and
to link these together.  As a result any set of assumptions
and notation can be linked into another document.  I hoped that this
would be useful.   It lets you reuse earlier ideas.
A side effect has been the generation of many pages
that document existing mathematics and logical
systems.

I'd like them to be used.
. How to use this site
For a quick glance at a `cheatsheet` of abbreviations see
.See http://www/dick/maths/intro_standard.html
which lists some of the ways of making formulas.

Here are some suggestions for using this site:
.See http://www/dick/maths/home.html#How to use the maths site

You can seach the site for any defined term, theorem,
formula, declaration, etc etc:
search::=http://www/dick/maths/lookup.php

Or you brouse the topics by subject at:
listing::=http://www/dick/maths/home.html

The following explains why this site exists:
.See http://www/dick/maths/10_manifesto.mth
(source)
.See http://www/dick/maths/10_manifesto.html
(HTML)
and
.See http://www/dick/papers/rjb9Xb.discrete.html
. Recent Changes
.See ./blog.html

.Close Index to the MATHS site
.Open More on MATHS
. Samples
.See http://www/dick/samples/
. Papers
.See http://www/dick/papers/rjb93a.xbnf.html
.See http://www/dick/papers/rjb96x.xbnf.html
.See http://www/dick/papers/rjb9Xa.lift.html
.See http://www/dick/papers/rjb95a.semantics.html
.See http://www/dick/papers/rjb95x.semantics.html
.See http://www/dick/papers/rjb9x.Relations.vs.Programs.html
.See http://www/dick/papers/rjb9x.Timed.Relations.html
.See http://www/dick/papers/rjb96b.mth2tex.html
. Monograph
.See http://www/dick/monograph/

.Close More on MATHS