×

Found 276 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

The Isabelle/Naproche natural language proof assistant. (English) Zbl 1540.68263

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 614-624 (2021).
MSC:  68V15 68T50 68U15
PDFBibTeX XMLCite
Full Text: DOI

Making presentation math computable: proposing a context sensitive approach for translating LaTeX to computer algebra systems. (English) Zbl 1503.68299

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, 335-341 (2020).
MSC:  68V25 68W30
PDFBibTeX XMLCite
Full Text: DOI

How mathematicians learned to stop worrying and love the computer. (English) Zbl 1468.00001

Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 133-139 (2020).
PDFBibTeX XMLCite
Full Text: DOI

First experiments with neural translation of informal to formal mathematics. (English) Zbl 1417.68195

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 255-270 (2018).
MSC:  68T15 68T05 68U15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formalized mathematical content in lecture notes on modelling and analysis. (English) Zbl 1418.97001

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 125-130 (2018).
MSC:  97U99 68U15 97I10
PDFBibTeX XMLCite
Full Text: DOI

Automated symbolic and numerical testing of DLMF formulae using computer algebra systems. (English) Zbl 1417.68272

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 39-52 (2018).
MSC:  68U35 68U15 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

System description: XSL-based translator of Mizar to LATEX. (English) Zbl 1417.68202

Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 1-6 (2018).
MSC:  68T30 68U15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software