×

Found 17 Documents (Results 1–17)

OntoMath\(^\mathit{Edu}\): a linguistically grounded educational mathematical ontology. (English) Zbl 1455.68265

Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 157-172 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Methods to access and retrieve mathematical content in ActiveMath. (English) Zbl 1283.68319

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 331-342 (2006).
MSC:  68T30 68P20 97U70
PDFBibTeX XMLCite
Full Text: DOI

OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge. (English) Zbl 1042.00511

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 32-52 (2001).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software