UpMath

A Mathematical Knowledge Base using Coherent Notation Matthias Graefenhan & Prof. Harald Upmeier, University of Marburg UpMath Notation and Filing System UpTeX translation

\jX{wwWw30}=\jX{ww}\jX{Ww30} \jX{\mut{vv}{vy}{yv}{yy}\mut{Vv}00{Yy}}=\jX{\mut{vvVv}{vyYy} {yvVv}{yyYy}}=\jx{vvVv-vyYy(^yyYy)8(-1)yvVv}\jx{yyYy}8(-1) =\jx{(_vv-vyyy8(-1)yv)Vv}(^\jx{yy}\jx{Yy})8(-1)=\jx{vv-vyyy9 (-1)yv}\jx{yy}8(-1)\jx{Vv}\jx{Yy}8(-1) =\jX{\mut{vv}{vy}{yv}{yy}}\jX{\mut{Vv}00{Yy}} \jX{ww3(+)Ww}=\jX{ww3(+)}\jX{Ww} \jX{\mut I{vy}0I\mut{Vv}{Vy}{Yv}{Yy}}=\jX{\mut{Vv+vyYv} {Vy+vyYy}{Yv}{Yy}}=\jx{Vv+vyYv-(^Vy+vyYy)Yy8(-1)Yv}\jx{Yy}8(-1) =\jx{Vv+|_vyYv|-VyYy8(-1)Yv-|_vyYv|}\jx{Yy}8(-1)=\jx{Vv-VyYY8( 1)Yv}\jx{Yy}8(-1) =\jX{\mut I{vy}0I}2(=1)\jX{\mut{Vv}{Vy}{Yv}{Yy}} UpTeX Precompiler \jX{\UpMathChar{480} \upset{}{\UpMathChar{648} }{}iniccc\upset{}{\vphantom{\UpM \jX{\mut{\UpMathChar{348} }{\UpMathChar{352} }{\UpMathChar{355} }{\UpMathChar{3 =\jx{\UpMathChar{348} +\underline{\UpMathChar{352} \UpMathChar{523} }-\UpMathCh \jX{\UpMathChar{480} \upset{}{\UpMathChar{648} }{}iniccc\upset{}{\vphantom{\UpM \jX{\mut{\UpMathChar{348} }{\UpMathChar{352} }{\UpMathChar{355} }{\UpMathChar{3 ... =\jx{\JJ{\UpMathChar{348} -\UpMathChar{352} \upset{-1}{\UpMathChar{380} }{}inic ...

... \jX{\upset{}{\UpMathChar{480} }{}iniccc\upset{}{\vphantom{\UpMathChar{480} }}{+ ...

... \jX{\mut I{\UpMathChar{352} }0I\mut{\UpMathChar{516} }{\UpMathChar{520} }{\UpMa ...

... =\jx{\UpMathChar{516} +\underline{\UpMathChar{352} \UpMathChar{523} }-\UpMathCh ...

LaTeX Compiler

automatically generated structures links to definitions list of examples links to theorems list of corollaries Relations to Searching input sources •

UpTeX

• OCR

• etc.

proofs containing key words & reference formulas

atomic element (XML) manually defined structures

treelike library

Algebra lectures Calculus lectures output formats • html / linked PDF (classical / UpMath notation) • MathML (classical notation) • etc.

The UpMath Team

Prof. Dr. Harald Upmeier Matthias Graefenhan Dipl.-Math. Thomas Eckert Dipl.-Math. Thomas Graeff Dr. Alexander Alldridge Computer science advisor Prof. Dr. Rita Loogen

UpMath A Mathematical Knowledge Base using Coherent Notation Matthias Graefenhan & Prof.

Transcript UpMath A Mathematical Knowledge Base using Coherent Notation Matthias Graefenhan & Prof.