External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Prototyping Controlled Mathematical Languages in Jupyter Notebooks

Jan Frederik Schaefer, Kai Amann, Michael Kohlhase. Prototyping Controlled Mathematical Languages in Jupyter Notebooks. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 406-415, Springer, 2020. [doi]

Authors

Jan Frederik Schaefer

This author has not been identified. Look up 'Jan Frederik Schaefer' in Google

Kai Amann

This author has not been identified. Look up 'Kai Amann' in Google

Michael Kohlhase

This author has not been identified. Look up 'Michael Kohlhase' in Google
runs on