×

Found 31 Documents (Results 1–31)

What is the point of computers? A question for pure mathematicians. (English) Zbl 07821721

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 2. Plenary lectures. Berlin: European Mathematical Society (EMS). 578-608 (2023).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters. (English) Zbl 07810732

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 190-205 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Large-scale formal proof for the working mathematician – lessons learnt from the ALEXANDRIA project. (English) Zbl 07810720

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 3-15 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares. (English) Zbl 07760788

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 425-433 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bayesian ranking for strategy scheduling in automated theorem provers. (English) Zbl 1520.68216

Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 559-577 (2022).
MSC:  68V15 68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Towards the automatic mathematician. (English) Zbl 1510.68116

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, 25-37 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Complete non-orders and fixed points. (English) Zbl 07649979

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 30, 16 p. (2019).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI

Formalizing the solution to the cap set problem. (English) Zbl 07649964

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 15, 19 p. (2019).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher-order Tarski Grothendieck as a foundation for formal proof. (English) Zbl 07649958

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 9, 16 p. (2019).
MSC:  68V20
PDFBibTeX XMLCite
Full Text: DOI

Primitive floats in Coq. (English) Zbl 07649956

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

First steps towards a formalization of forcing. (English) Zbl 1434.03029

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 119-136 (2019).
MSC:  03B35 03E35 68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Placing your coins on a shelf. (English) Zbl 1457.68273

Okamoto, Yoshio (ed.) et al., 28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 92, Article 4, 12 p. (2017).
MSC:  68U05 68Q17 68W25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Toward computer-assisted discovery and automated proofs of cutting plane theorems. (English) Zbl 1445.68329

Cerulli, Raffaele (ed.) et al., Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9849, 332-344 (2016).
MSC:  68V15 90C10 90C11
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field