In this page: Amaya | LimSee3 | XML Reasoning Solver
Amaya
An Open Source web editor developed jointly with W3C to ease editing, publishing and sharing of complex web pages containing text (in HTML, XHTML), graphics (in SVG) and mathematical expressions (in MathML), with style sheets (in CSS).
LimSee3
A multimedia authoring tool that aims at flexibility and easiness of use through an advanced multimedia document model based on templates.
XML Reasoning Solver
A tool for the static analysis of XPath queries and XML schemas based on the latest theoretical advances. The tool allows to solve many fundamental XML problems such as satisfiability of XPath expressions in the presence of XML schemas, containment and equivalence of XPath expressions, and many other problems that can be formulated with XPath expressions and schemas like DTDs, XML Schemas, and Relax NGs.
LibA2ML
A library for importing, editing and exporting documents in the A2ML audio format.