×

Found 5 Documents (Results 1–5)

\(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge. (English. Russian original) Zbl 1512.68435

Dokl. Math. 106, No. 3, 429-435 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29-35 (2022).
MSC:  68V30 68T30
PDFBibTeX XMLCite
Full Text: DOI

The new Numdam platform. (English) Zbl 1367.68334

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, 70-82 (2017).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software