System Description: XSL-Based Translator of Mizar to LaTeX
| Autor: | Josef Urban, Adam Naumowicz, Grzegorz Bancerek |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Computer science
Style sheet XSL Programming language 020207 software engineering 0102 computer and information sciences 02 engineering and technology Mizar system Pascal (programming language) Mathematical proof computer.software_genre 01 natural sciences 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering ComputingMethodologies_DOCUMENTANDTEXTPROCESSING computer computer.programming_language |
| Zdroj: | Intelligent Computer Mathematics-11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings Lecture Notes in Computer Science ISBN: 9783319968117 CICM Lecture Notes in Computer Science Lecture Notes in Computer Science-Intelligent Computer Mathematics |
| ISSN: | 0302-9743 1611-3349 |
| DOI: | 10.1007/978-3-319-96812-4_1 |
| Popis: | We describe a new version of the Mizar-to- Open image in new window translator. The system has been re-implemented as XSL stylesheets instead of as Pascal programs, allowing greater flexibility. It can now be used to generate both Open image in new window /PDF and HTML with MathJax code. We also experimentally support generation of full proofs. Finally, the system is now available online and through the Mizar Emacs interface. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|