Musatov
Search for
Math Notations, Computer Languages, and the “Form ” in Formalism
(lacks links) - Math Notations, Computer
Languages, and the “Form” in Formalism Xah Lee, 2009-08-31 This page
is a collection of essays and expositions on the subjects of
nomenclatur
On Sep 7, 3:06 pm, Xah Lee wrote:
...
> • systems for displaying math, such as TeX, Mathematica, MathML,
> should be unified as part of the computer language's syntax.
...
> ☄
to that end you might be interested in Fortress at Sun:
http://projectfortress.sun.com/Projects/Community
http://researc
2009-09-07
On Sep 5, 7:41 am, slawekk wrote:
> > Theorem provers
> > such as OCaml (HOL, Coq), Mizar does math formalism as a foundation,
> > also function as a generic computer language, but lacks abilities as a
> > computer algebra system or math notation representation.
>
> Isabelle's presenta
> Theorem provers
> such as OCaml (HOL, Coq), Mizar does math formalism as a foundation,
> also function as a generic computer language, but lacks abilities as a
> computer algebra system or math notation representation.
Isabelle's presentation layer is well integrated with LaTeX and you
can use
