Welcome to the JOBAD demo for the  AI Mashup Challenge 2009!

For the JOBAD demo, you need a recent Firefox browser (3.0 recommended, 3.5 is even better), as that is the only browser offering comprehensive MathML support.

•  http://alpha.tntbase.mathweb.org:8080/tntbase/ai-mashup/XHTMLBasicBrowser – entry point to JOBAD-enriched computer science lecture notes. Try e.g.
  •  http://alpha.tntbase.mathweb.org:8080/tntbase/ai-mashup/XHTMLBasicBrowser/dmath/en/sets-operations.omdoc (basic naive set theory)
    • you can look up the definitions of most symbols by right-clicking on the respective symbol and selecting “lookup definition” from the context menu
    • the context menu is known to work on Linux and Windows. Sometimes you may have to click more than once to activate it. It may not work on Mac OS. There, please left-click on a symbol and then hit Ctrl+1 to look up its definition
    • the close button of the definition popup is in its upper right corner – a bit hard to see, we're working on that
•  http://raspberry.eecs.jacobs-university.de:8081/JOBAD/mathtestcase.xhtml – unit conversion (and also some definition lookup), powered by a different server backend
  • right-click on any number or unit, and you can convert the value to any unit available from the context menu (or hit Ctrl+4, Ctrl+5, etc.) – this can be repeated for further units, and undone
• client-only scripts (no interaction with web services) that demonstrate subterm folding
•  http://raspberry.eecs.jacobs-university.de:8081/JOBAD/folding_testcase.xhtml – fold subterms into …, and unfold them again
  •  http://raspberry.eecs.jacobs-university.de:8081/JOBAD/mathtestcase.xhtml – variant: a more realistic example from physics; switch between complex expressions and their abbreviatons

Abstract (PDF)