SWiM: A Semantic Wiki for Mathematical Knowledge Management
SWiM is a semantic wiki for collaboratively building, editing and browsing a mathematical knowledge base. Its pages, containing mathematical theories, are stored in OMDoc, a markup format for mathematical knowledge. Our long-term objective is to develop a software that facilitates the creation of a shared, public collection of mathematical knowledge (e.g. for education) and serves work groups of mathematicians as a tool for collaborative development of new theories.
The implementation of SWiM, based on IkeWiki, is currently in a prototype stage. An version based on an older release of IkeWiki is now available for download under the GNU GPL. Bugs and to-dos are documented in our Trac system. See the MathWeb wiki for instructions about downloading and a documentation of current on-goings in the SWiM project and related projects. The latter can also be found on the KWARC research blog.
##maintainer_type: organization ##subjects: math ##page_type: software ##date: Mon Apr 30 07:09:22 PDT 2007 ##editor: Jim Pitman ##description: latexml is a program, written in Perl, that attempts to faithfully mimic TeX's behaviour, but produces XML instead of dvi. The document model of the target XML makes explicit the model implied by LaTeX. The processing and model are both extensible; you can define the mapping between TeX constructs and the XML fragments to be created. A postprocessor, latexmlpost converts this XML into other formats such as HTML or XHTML, with options to convert the math into MathML (currently only presentation) or images.
Now a newly published volume provides me with a splendid example of how there is still a place for print reference in the world: the Princeton Companion to Mathematics, edited by Fields Medal winner Timothy Gowers and published by Princeton University Press
ProofWeb is both a system for teaching logic and for using proof assistants through the web.
ProofWeb can be used in three ways. First, one can use the guest login, for which one does not even need to register. Secondly, a user can be a student in a logic or proof assistants course. We are hosting courses free of charge. If you are a teacher and would like to host your course on this server, send email to proofweb@cs.ru.nl. Thirdly, if teachers do not want to trust us with their students' files, they can freely download the ProofWeb system and run it on a server of their own.
This table contains DML bibliographic items from various repositories. # # Coding is as follows: # ASCII based (ISO Latin 8859-1 extended) # Every line starting with a '#' is a comment # # the list of items from any repository is preceded by lines like the following: # # nick: <repository nickname, usually short or acronym> # name: <repository name> # addr: <repository web address> # comm: <any comment concerning the actual repository # # After that, the bibliographic items of that repository are described by: # # item_title: <name or title of item> # item_years: <year(s) published or covered> # item_url: <web address of content page> # item_type: <journal|multivol|book> # (possibly other colon separated pairs, first component should begin with "item_") # item_end: <optionally some comment like a counting number...> # This last line ends any item entry. # # Some items do contain commented metadata for later use. # # comment lines like #--------------------------- or similar # could separate entries from different repositories
Theory of Stochastic Processes is a semi-annual journal publishing original articles and surveys on modern topic of the theory of stochastic processes and papers devoted to its applications to physics, biology, economics, computer sciences and engineering. All papers submitted for publication are peer-reviewed and, after publication, are refereed at the central Reviews Databases including Mathematical Reviews and Zentralblatt.
Frequency. One volume per year consisting of four issues with about 150 pages each.
SWiM is a semantic wiki for mathematical knowledge management. This is an installation of the current version of the SWiM prototype that demonstrates some of its features.