%0 Conference Paper %1 conf/icms/SchaeferAK20 %A Schaefer, Jan Frederik %A Amann, Kai %A Kohlhase, Michael %B ICMS %D 2020 %E Bigatti, Anna Maria %E Carette, Jacques %E Davenport, James H. %E Joswig, Michael %E de Wolff, Timo %I Springer %K dblp %P 406-415 %T Prototyping Controlled Mathematical Languages in Jupyter Notebooks. %U http://dblp.uni-trier.de/db/conf/icms/icms2020.html#SchaeferAK20 %V 12097 %@ 978-3-030-52200-1

@inproceedings{conf/icms/SchaeferAK20, added-at = {2020-07-08T00:00:00.000+0200}, author = {Schaefer, Jan Frederik and Amann, Kai and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2411c4605cb08f3fd9156ff517b57bdf7/dblp}, booktitle = {ICMS}, crossref = {conf/icms/2020}, editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo}, ee = {https://doi.org/10.1007/978-3-030-52200-1_40}, interhash = {c43521f0976276a9bbb280b43abda114}, intrahash = {411c4605cb08f3fd9156ff517b57bdf7}, isbn = {978-3-030-52200-1}, keywords = {dblp}, pages = {406-415}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-09T11:42:18.000+0200}, title = {Prototyping Controlled Mathematical Languages in Jupyter Notebooks.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2020.html#SchaeferAK20}, volume = 12097, year = 2020 }