×

Found 73 Documents (Results 1–73)

CoProver: a recommender system for proof construction. (English) Zbl 07810735

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, 237-251 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

The Isabelle ENIGMA. (English) Zbl 07881129

Andronick, June (ed.) et al., 13th international conference on interactive theorem proving, ITP 2022, Haifa, Israel, August 7–10, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 237, Article 16, 21 p. (2022).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Guiding an automated theorem prover with neural rewriting. (English) Zbl 1512.68427

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, 597-617 (2022).
MSC:  68V15 20N05 68T05
PDFBibTeX XMLCite
Full Text: DOI

Learning theorem proving components. (English) Zbl 07532521

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 266-278 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The role of entropy in guiding a connection prover. (English) Zbl 07532518

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 218-235 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

lazyCoP: lazy paramodulation meets neurally guided search. (English) Zbl 07532516

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 187-199 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Towards finding longer proofs. (English) Zbl 07532515

Das, Anupam (ed.) et al., Automated reasoning with analytic tableaux and related methods. 30th international conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12842, 167-186 (2021).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning to solve geometric construction problems from images. (English) Zbl 1485.68271

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, 167-184 (2021).
MSC:  68U05 68T05 68T45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Online machine learning techniques for Coq: a comparison. (English) Zbl 1485.68288

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, 67-83 (2021).
MSC:  68V15 68T05 68W27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fast and slow enigmas and parental guidance. (English) Zbl 07497922

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 173-191 (2021).
MSC:  68Txx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Prolog technology reinforcement learning prover (system description). (English) Zbl 07614694

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 489-507 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

ENIGMA anonymous: symbol-independent inference guiding machine (system description). (English) Zbl 07614690

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 448-463 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

First neural conjecturing datasets and experiments. (English) Zbl 1455.68261

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, 315-323 (2020).
MSC:  68V20 68T07 68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hammering Mizar by learning clause guidance (short paper). (English) Zbl 07649983

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 34, 8 p. (2019).
MSC:  68V15 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

ENIGMAWatch: ProofWatch meets ENIGMA. (English) Zbl 1435.68370

Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 374-388 (2019).
MSC:  68V15 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

ENIGMA-NG: efficient neural and gradient-boosted inference guidance for E. (English) Zbl 1535.68449

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 197-215 (2019).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

ProofWatch: watchlist guidance for large theories in E. (English) Zbl 1435.68369

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 270-288 (2018).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Who needs mathematics? A comprehensible book on how the world of numbers is built. (Кому нужна математика? Понятная книга о том, как устроен цифровой мир.) (Russian) Zbl 1446.00007

Moscow: Mann, Ivanov i Ferber (ISBN 978-5-00100-521-6/hbk). 189 p. (2017).
PDFBibTeX XMLCite

ENIGMA: efficient learning-based inference guiding machine. (English) Zbl 1367.68249

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, 292-302 (2017).
MSC:  68T15 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

A Turing enigma. (English) Zbl 1364.68005

Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 23-36 (2012).
MSC:  68-03 01A60
PDFBibTeX XMLCite
Full Text: DOI

Facts and myths of Enigma: Breaking stereotypes. (English) Zbl 1038.94500

Biham, Eli (ed.), Advances in cryptology – EUROCRYPT 2003. International conference on the theory and applications of cryptographic techniques, Warsaw, Poland, May 4–8, 2003. Proceedings. Berlin: Springer (ISBN 3-540-14039-5/pbk). Lect. Notes Comput. Sci. 2656, 106-122 (2003).
MSC:  94-03 01A60 94A60
PDFBibTeX XMLCite
Full Text: Link

Mathematics, cryptology, and technology. (English) Zbl 0987.94028

Alster, Kazimierz (ed.) et al., Public-key cryptography and computational number theory. Proceedings of the international conference organized by the Stefan Banach International Mathematical Center, Warsaw, Poland, September 11-15, 2000. Berlin: de Gruyter. ix-x (2001).
MSC:  94A60 01A60 94-03
PDFBibTeX XMLCite

Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman. (English) Zbl 0986.01023

Amsterdam: Elsevier. xii, 293 p. (2001).
MSC:  01A75 03-03
PDFBibTeX XMLCite

Enigma and Purple: How the Allies broke German and Japanese codes during the war. (English) Zbl 0989.94500

Joyner, David (ed.), Coding theory and cryptography. From Enigma and Geheimschreiber to quantum theory. Proceedings of the conference on coding theory, cryptography, and number theory, Annapolis, MD, USA, October 25-26, 1998. Berlin: Springer. 53-61 (2000).
MSC:  94-03 01A60 94A60
PDFBibTeX XMLCite

Reminiscences and reflections of a codebreaker. (English) Zbl 0989.94501

Joyner, David (ed.), Coding theory and cryptography. From Enigma and Geheimschreiber to quantum theory. Proceedings of the conference on coding theory, cryptography, and number theory, Annapolis, MD, USA, October 25-26, 1998. Berlin: Springer. 1-8 (2000).
MSC:  94-03 01A60 94A60
PDFBibTeX XMLCite

Coding theory and cryptography. From enigma and Geheimschreiber to quantum theory. Proceedings of the conference on coding theory, cryptography, and number theory, Annapolis, MD, USA, October 25–26, 1998. (English) Zbl 0930.00088

Berlin: Springer. vii, 256 p. (2000).
PDFBibTeX XMLCite

The computer-aided study of dynamics in the system primary tumor, cytotoxic lymphocytes, metastases. (English) Zbl 0841.92014

Lakshmikantham, V. (ed.), World congress of nonlinear analysts ’92. Proceedings of the first world congress, Tampa, FL, USA, August 19-26, 1992. 4 volumes. Berlin: de Gruyter. 3763-3764 (1996).
MSC:  92C50 34D08
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software