Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
First Experiments with Neural Translation of Informal to Formal Mathematics
Wang, Qingxiang, Kaliszyk, Cezary, Urban, Josef
Published in Intelligent Computer Mathematics (01.01.2018)
Published in Intelligent Computer Mathematics (01.01.2018)
Get full text
Book Chapter
Using the Isabelle Ontology Framework: Linking the Formal with the Informal
Brucker, Achim D., Ait-Sadoune, Idir, Crisafulli, Paolo, Wolff, Burkhart
Published in Intelligent Computer Mathematics (01.01.2018)
Published in Intelligent Computer Mathematics (01.01.2018)
Get full text
Book Chapter
The Coq Library as a Theory Graph
Müller, Dennis, Rabe, Florian, Sacerdoti Coen, Claudio
Published in Intelligent Computer Mathematics (01.01.2019)
Published in Intelligent Computer Mathematics (01.01.2019)
Get full text
Book Chapter
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Dehaye, Paul-Olivier, Iancu, Mihnea, Kohlhase, Michael, Konovalov, Alexander, Lelièvre, Samuel, Müller, Dennis, Pfeiffer, Markus, Rabe, Florian, Thiéry, Nicolas M., Wiesing, Tom
Published in Intelligent Computer Mathematics (2016)
Published in Intelligent Computer Mathematics (2016)
Get full text
Book Chapter
Hipster: Integrating Theory Exploration in a Proof Assistant
Johansson, Moa, Rosén, Dan, Smallbone, Nicholas, Claessen, Koen
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014)
Get full text
Book Chapter
Conference Proceeding