×

Found 125 Documents (Results 1–100)

Making presentation math computable. A context-sensitive approach for translating LaTeX to computer algebra systems. (English) Zbl 1521.68005

Wiesbaden: Springer Vieweg (ISBN 978-3-658-40472-7/pbk; 978-3-658-40473-4/ebook). xviii, 197 p., open access (2023).
PDFBibTeX XMLCite
Full Text: DOI

A database of Aristotelian diagrams: empirical foundations for logical geometry. (English) Zbl 1524.68431

Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 123-131 (2022).
MSC:  68V35 03A05 68T30
PDFBibTeX XMLCite
Full Text: DOI

A new export of the Mizar mathematical library. (English) Zbl 1485.68294

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 205-210 (2021).
MSC:  68V20 68V30 68V35
PDFBibTeX XMLCite
Full Text: DOI

WebMIaS on Docker. Deploying math-aware search in a single line of code. (English) Zbl 1485.68299

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 159-164 (2021).
MSC:  68V35 68P20
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Complex variables, mesh generation, and 3D web graphics: research and technology behind the visualizations in the NIST digital library of mathematical functions. (English) Zbl 1455.68270

Ortega, Omayra (ed.) et al., The golden anniversary celebration of the National Association of Mathematicians. AMS special session on the mathematics of historically black colleges and universities, HBCUs in the Mid-Atlantic. MAA invited paper session on the past 50 years of African Americans in the mathematical sciences. Haynes-Granville-Browne session of presentations by recent doctoral recipients. 2019 Claytor-Wookdard lecture. NAM David Harold Blackwell lecture, Baltimore, MD, USA and Cincinnati, OH, USA, January 17, 18 and 19 and August 2, 2019. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 759, 145-156 (2020).
MSC:  68V35 65D17
PDFBibTeX XMLCite
Full Text: DOI

A contextual and labeled math-dataset derived from NIST’s DLMF. (English) Zbl 1455.68263

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, 324-330 (2020).
PDFBibTeX XMLCite
Full Text: DOI

AutoMSC: automatic assignment of Mathematics Subject Classification labels. (English) Zbl 1455.68269

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, 237-250 (2020).
MSC:  68V30 68V35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Univalent foundations and the unimath library. (English) Zbl 07740566

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 173-189 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Integrating semantic mathematical documents and dynamic notebooks. (English) Zbl 1428.68355

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 275-290 (2019).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Forms of plagiarism in digital mathematical libraries. (English) Zbl 1428.68358

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 258-274 (2019).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Relational data across mathematical libraries. (English) Zbl 1428.68352

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 61-76 (2019).
MSC:  68V30 68V35
PDFBibTeX XMLCite
Full Text: DOI

Towards a unified mathematical data infrastructure: database and interface generation. (English) Zbl 1428.68356

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 28-43 (2019).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Owl: a library for \(\omega \)-words, automata, and LTL. (English) Zbl 1517.68203

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 543-550 (2018).
MSC:  68Q45 03B44 68V35
PDFBibTeX XMLCite
Full Text: DOI

International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library. (English) Zbl 1452.68264

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1157-1175 (2018).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Knowledge-based interoperability for mathematical software systems. (English) Zbl 1497.68551

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 195-210 (2017).
MSC:  68V35 68V30
PDFBibTeX XMLCite
Full Text: DOI Link

Formula semantification and automated relation finding in the On-line Encyclopedia of Integer Sequences. (English) Zbl 1434.68661

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, 467-475 (2016).
MSC:  68V35 11B83 68V30
PDFBibTeX XMLCite
Full Text: DOI

Math-Net.Ru video library: creating a collection of scientific talks. (English) Zbl 1434.68653

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, 447-450 (2016).
MSC:  68V35
PDFBibTeX XMLCite
Full Text: DOI

Race against the teens – benchmarking mechanized math on pre-university problems. (English) Zbl 1475.68459

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 213-227 (2016).
PDFBibTeX XMLCite
Full Text: DOI

A library of anti-unification algorithms. (English) Zbl 1432.68426

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 543-557 (2014).
MSC:  68T27 68V35
PDFBibTeX XMLCite
Full Text: DOI

Elements of design for containers and solutions in the LinBox library (extended abstract). (English) Zbl 1434.68699

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 654-662 (2014).
MSC:  68W30 15-04 68V35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Theoretical foundations for digital libraries: the 5S (societies, scenarios, spaces, structures, streams) approach. (English) Zbl 1475.68006

Synthesis Lectures on Information Concepts, Retrieval, and Services 22. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-910-0/pbk). xxii, 158 p. (2012).
MSC:  68-02 68V35
PDFBibTeX XMLCite
Full Text: DOI

Indexing and searching mathematics in digital libraries. Architecture, design and scalability issues. (English) Zbl 1335.68292

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 228-243 (2011).
MSC:  68U35 68P20 68T30
PDFBibTeX XMLCite
Full Text: DOI

Digitization of mathematical editions in Serbia. (English) Zbl 1170.68489

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 87-95 (2008).
MSC:  68P99
PDFBibTeX XMLCite
Full Text: EuDML

Lexical error compensation in handwritten-based mathematical information retrieval. (English) Zbl 1170.68480

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 43-54 (2008).
MSC:  68P99
PDFBibTeX XMLCite
Full Text: EuDML

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field