CY,
re: published summary of thoughts.
not really. it's an evolving idea. my current thinking on the subject
revolves around the "30 year horizon" and the "petamachine question".
in 30 years a researcher will have a machine with a Thz of cpu, a
TByte of storage, a PetaByte of disk space, and a T
Changes http://www.axiom-developer.org/zope/mathaction/Mirrors/diff
--
??changed:
-href="http://page.axiom-developer.org/zope/mathaction/WishList";
href="http:/zope/mathaction/WishList"
??changed:
-href="http://page.axiom-developer.org/zope/mathaction/theAxiomCommunity";
href="http:/zope/mathacti
Changes http://www.axiom-developer.org/zope/mathaction/AxiomDownload/diff
--
??changed:
-sources":http://page.axiom-developer.org/zope/mathaction/Mirrors?go=http://axiom.axiom-developer.org/axiom-website/DOWNLOADS/axiom-Apr2005-src.tgz&it=April+2005+Sources
sources":http:/zope/mathaction/Mirrors?g
Changes http://www.axiom-developer.org/zope/mathaction/FrontPage/diff
--
??changed:
-http://page.axiom-developer.org/zope/mathaction/FrontPage/searchwiki'">
??changed:
-To
"search":http://page.axiom-developer.org/zope/mathaction/FrontPage/searchwiki
To "search":http:/zope/mathaction/FrontPage/s
Changes
http://www.axiom-developer.org/zope/mathaction/OtherComputerAlgebraSystems/diff
--
??changed:
-Maxima
-Yacas
-Maple
-Mathematica
-MathCAD
-
-
Someday (maybe) we will also include online access to
other systems such as:
Open Source Systems
Maxima
Yacas
Commercial Systems
Maple
Changes http://page.axiom-developer.org/zope/mathaction/MaplePrimes/diff
--
Two of the most significant features of MaplePrimes are moderated forums and
weblogs (blogs).
The forums function much like comp.soft-sys.math.maple and other public Maple
forums, where people can post their questions an
Changes
http://page.axiom-developer.org/zope/mathaction/ImitationAsComplement/diff
--
MaplePrimes
A new website: http://beta.mapleprimes.com has been created to offer a
moderated community for Maple users to communicate and share techniques with
each other. This is a great place for all Mapl
Changes http://page.axiom-developer.org/zope/mathaction/AxiomColloquium/diff
--
++added:
- [Imitation As Complement]
other websites similar to MathAction
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
A
Changes http://page.axiom-developer.org/zope/mathaction/GraphViz/diff
--
??changed:
- \digraph[scale=0.5]{MyGraph1}{rankdir=LR; a->b; b->c}
- \digraph[scale=0.5]{MyGraph1}{rankdir=LR; a->b; b->c}
\digraph[scale=0.5]{MyGraph5}{rankdir=LR; a->b; b->c}
\digraph[scale=0.5]{MyGraph6}{rankdir=LR;
In that same vein, does anybody know anything about this effort?
http://www.cs.cornell.edu/Info/Projects/NuPrl/
"The Nuprl proof development system is a framework for the development
of formalized mathematical knowledge as well as for the synthesis,
verification, and optimization of software. It
Hey Tim. I recall some time back you mentioned some ideas you had for
a "proper" redesign of Axiom, incorporating proof systems and some
fundamental design philosophy considerations, among other things. Is
there a summary of those thoughts somewhere? I'm having some trouble
finding it in the arc
Changes http://page.axiom-developer.org/zope/mathaction/GraphViz/diff
--
\begin{latex}
\digraph[scale=1.5]{MyGraph1}{rankdir=LR; a->b; b->c}
\end{latex}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom
Changes http://page.axiom-developer.org/zope/mathaction/GraphViz/diff
--
\begin{latex}
\digraph[scale=0.5]{MyGraph1}{rankdir=LR; a->b; b->c}
\end{latex}
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
___
Axiom-develo
13 matches
Mail list logo