Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/mkm/cicm2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/mkm/AransayLR23,
author = {Jes{\'{u}}s Aransay and
Laureano Lamb{\'{a}}n and
Julio Rubio},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Evasiveness Through Binary Decision Diagrams},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {37--52},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_3},
doi = {10.1007/978-3-031-42753-4\_3},
timestamp = {Tue, 05 Sep 2023 20:33:24 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AransayLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AyalaRinconFSKN23,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Maribel Fern{\'{a}}ndez and
Gabriel Ferreira Silva and
Temur Kutsia and
Daniele Nantes{-}Sobrinho},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Nominal AC-Matching},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {53--68},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_4},
doi = {10.1007/978-3-031-42753-4\_4},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AyalaRinconFSKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BayerGBS23,
author = {Jonas Bayer and
Alexey Gonus and
Christoph Benzm{\"{u}}ller and
Dana S. Scott},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {69--83},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_5},
doi = {10.1007/978-3-031-42753-4\_5},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BayerGBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BergesBCKLM23,
author = {Marc Berges and
Jonas Betzendahl and
Abhishek Chugh and
Michael Kohlhase and
Dominic Lohr and
Dennis M{\"{u}}ller},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Learning Support Systems Based on Mathematical Knowledge Management},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {84--97},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_6},
doi = {10.1007/978-3-031-42753-4\_6},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BergesBCKLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Caminati23,
author = {Marco B. Caminati},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Isabelle Formalisation of Original Representation Theorems},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {98--112},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_7},
doi = {10.1007/978-3-031-42753-4\_7},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Caminati23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CorlessJS23,
author = {Robert M. Corless and
David J. Jeffrey and
Azar Shakoori},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Teaching Linear Algebra in a Mechanized Mathematical Environment},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {113--129},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_8},
doi = {10.1007/978-3-031-42753-4\_8},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/CorlessJS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Davenport23,
author = {James Harold Davenport},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Proving an Execution of an Algorithm Correct?},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {255--269},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_17},
doi = {10.1007/978-3-031-42753-4\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Davenport23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GangwarK23,
author = {Neeraj Gangwar and
Nickvash Kani},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Highlighting Named Entities in Input for Auto-formulation of Optimization
Problems},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {130--141},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_9},
doi = {10.1007/978-3-031-42753-4\_9},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/GangwarK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HammerNS23,
author = {Henry Hammer and
Nanako Noda and
Christopher A. Stone},
editor = {Catherine Dubois and
Manfred Kerber},
title = {ProofLang: The Language of arXiv Proofs},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {285--290},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_19},
doi = {10.1007/978-3-031-42753-4\_19},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HammerNS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeisingerS23,
author = {Simone Heisinger and
Martina Seidl},
editor = {Catherine Dubois and
Manfred Kerber},
title = {True Crafted Formula Families for Benchmarking Quantified Satisfiability
Solvers},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {291--296},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_20},
doi = {10.1007/978-3-031-42753-4\_20},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HeisingerS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HesterHPOSY23,
author = {John Hester and
Briland Hitaj and
Grant O. Passmore and
Sam Owre and
Natarajan Shankar and
Eric Yeh},
editor = {Catherine Dubois and
Manfred Kerber},
title = {An Augmented MetiTarski Dataset for Real Quantifier Elimination Using
Machine Learning},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {297--302},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_21},
doi = {10.1007/978-3-031-42753-4\_21},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HesterHPOSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HuchS23,
author = {Fabian Huch and
Yiannos Stathopoulos},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Formalization Quality in Isabelle},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {142--157},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_10},
doi = {10.1007/978-3-031-42753-4\_10},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HuchS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JakubuvK23,
author = {Jan Jakubuv and
Cezary Kaliszyk},
editor = {Catherine Dubois and
Manfred Kerber},
title = {VizAR: Visualization of Automated Reasoning Proofs (System Description)},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {303--308},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_22},
doi = {10.1007/978-3-031-42753-4\_22},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/JakubuvK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KharimPRV23,
author = {Aabid Seeyal Abdul Kharim and
T. V. H. Prathamesh and
Shweta Rajiv and
Rishi Vyas},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem
and the Conjugacy Problem},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {158--173},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_11},
doi = {10.1007/978-3-031-42753-4\_11},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KharimPRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Naumowicz23,
author = {Adam Naumowicz},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Extending Numeric Automation for Number Theory Formalizations in Mizar},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {309--314},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_23},
doi = {10.1007/978-3-031-42753-4\_23},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Naumowicz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Paulson23,
author = {Lawrence C. Paulson},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt
from the {ALEXANDRIA} Project},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {3--15},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_1},
doi = {10.1007/978-3-031-42753-4\_1},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Paulson23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RabeW23,
author = {Florian Rabe and
Franziska Weber},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Morphism Equality in Theory Graphs},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {174--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_12},
doi = {10.1007/978-3-031-42753-4\_12},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/RabeW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RabeW23a,
author = {Florian Rabe and
Stephen M. Watt},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Extracting Theory Graphs from Aldor Libraries},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {315--320},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_24},
doi = {10.1007/978-3-031-42753-4\_24},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/RabeW23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SchaeferK23,
author = {Jan Frederik Schaefer and
Michael Kohlhase},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Towards an Annotation Standard for {STEM} Documents - Datasets, Benchmarks,
and Spotters},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {190--205},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_13},
doi = {10.1007/978-3-031-42753-4\_13},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SchaeferK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Seidl23,
author = {Martina Seidl},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Never Trust Your Solver: Certification for {SAT} and {QBF}},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {16--33},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_2},
doi = {10.1007/978-3-031-42753-4\_2},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Seidl23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Shallit23,
author = {Jeffrey O. Shallit},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Proving Results About {OEIS} Sequences with Walnut},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {270--282},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_18},
doi = {10.1007/978-3-031-42753-4\_18},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Shallit23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/TekriwalAKBJ23,
author = {Mohit Tekriwal and
Andrew W. Appel and
Ariel E. Kellison and
David Bindel and
Jean{-}Baptiste Jeannin},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Verified Correctness, Accuracy, and Convergence of a Stationary Iterative
Linear Solver: Jacobi Method},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {206--221},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_14},
doi = {10.1007/978-3-031-42753-4\_14},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/TekriwalAKBJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wieser23,
author = {Eric Wieser},
editor = {Catherine Dubois and
Manfred Kerber},
title = {Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {222--236},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_15},
doi = {10.1007/978-3-031-42753-4\_15},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Wieser23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/YehHOQS23,
author = {Eric Yeh and
Briland Hitaj and
Sam Owre and
Maena Quemener and
Natarajan Shankar},
editor = {Catherine Dubois and
Manfred Kerber},
title = {CoProver: {A} Recommender System for Proof Construction},
booktitle = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
pages = {237--251},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4\_16},
doi = {10.1007/978-3-031-42753-4\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/YehHOQS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2023,
editor = {Catherine Dubois and
Manfred Kerber},
title = {Intelligent Computer Mathematics - 16th International Conference,
{CICM} 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42753-4},
doi = {10.1007/978-3-031-42753-4},
isbn = {978-3-031-42752-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-15 01:07 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
