Section: New Results
DynaMoW: Dynamic Mathematics on the Web
The interactivity needed by our on-line encyclopedia DDMF is made possible by implementing it over our tool DynaMoW (http://ddmf.msr-inria.inria.fr/DynaMoW/ ). This Ocaml library simultaneously controls external symbolic calculations and web-page generation and was first developed from 2008 to 2011. With the evolution of Ocaml and web technologies, it became possible to hope for a more reactive and configurable tool, by using light-weight threads and websockets. A new design was elaborated this year by F. Chyzak and M. Guesdon, and DynaMoW was rewritten by the latter. Using this new DynaMoW will require a complete and potentially time-consuming port of DDMF. So we decided that experimenting with the port of a smaller DynaMoW-based application should be done to ascertain the new design of DynaMoW-based before going to scale with DDMF. To this end, we applied DynaMoW to another on-line encyclopedia of our's, ECS. The code is now stabilizing, and will be released next year, after documentation is written.