Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mkm/0001KS21
%A Müller, Dennis
%A Kohlhase, Michael
%A Schaefer, Jan Frederik
%B CICM Workshops
%D 2021
%E Blanchette, Jasmin
%E Davenport, James H.
%E Koepke, Peter
%E Kohlhase, Michael
%E Kohlhase, Andrea
%E Naumowicz, Adam
%E Müller, Dennis
%E Sharoda, Yasmine
%E Coen, Claudio Sacerdoti
%I CEUR-WS.org
%K dblp
%T System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).
%U http://dblp.uni-trier.de/db/conf/mkm/cicm2021w.html#0001KS21
%V 3377
@inproceedings{conf/mkm/0001KS21,
added-at = {2023-09-13T00:00:00.000+0200},
author = {Müller, Dennis and Kohlhase, Michael and Schaefer, Jan Frederik},
biburl = {https://www.bibsonomy.org/bibtex/2cb99b9a431e37a60eb5a69b9d8366a75/dblp},
booktitle = {CICM Workshops},
crossref = {conf/mkm/2021w},
editor = {Blanchette, Jasmin and Davenport, James H. and Koepke, Peter and Kohlhase, Michael and Kohlhase, Andrea and Naumowicz, Adam and Müller, Dennis and Sharoda, Yasmine and Coen, Claudio Sacerdoti},
ee = {https://ceur-ws.org/Vol-3377/natfom4.pdf},
interhash = {2ac360275719665d90400e4f4ffbf4ed},
intrahash = {cb99b9a431e37a60eb5a69b9d8366a75},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-10T02:44:30.000+0200},
title = {System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).},
url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2021w.html#0001KS21},
volume = 3377,
year = 2021
}