×

Found 3 Documents (Results 1–3)

Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017).
MSC:  68T30 68T15 68U35
PDFBibTeX XMLCite
Full Text: DOI Link

The SMGloM project and system: towards a terminology and ontology for mathematics. (English) Zbl 1434.68649

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 451-457 (2016).
MSC:  68V30 68T30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software