×

Found 15 Documents (Results 1–15)

Employing C++ templates in the design of a computer algebra library. (English) Zbl 1503.68306

Bigatti, Anna Maria (ed.) et al., Mathematical software – ICMS 2020. 7th international conference, Braunschweig, Germany, July 13–16, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12097, 342-352 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Software products, software versions, archiving of software, and swMATH. (English) Zbl 1395.68323

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 123-127 (2018).
MSC:  68U35
PDFBibTeX XMLCite
Full Text: DOI

Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems. (English) Zbl 1367.68333

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, 115-131 (2017).
MSC:  68U15 68U35 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Software citations, information systems, and beyond. (English) Zbl 1367.68336

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

The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335

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

A web-based toolkit for mathematical word processing applications with semantics. (English) Zbl 1367.68332

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

Interoperability in the OpenDreamKit project: the math-in-the-middle approach. (English) Zbl 1344.68268

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 117-131 (2016).
MSC:  68U35 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Progress of self-archiving within the DML corpus, with a view toward community dynamics. (English) Zbl 1344.68269

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 63-74 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Mathoid: robust, scalable, fast and accessible math rendering for Wikipedia. (English) Zbl 1304.68200

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 224-235 (2014).
MSC:  68U35 68U15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software