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/cicm2021w.bht:"
download as .bib file
@proceedings{DBLP:conf/mkm/2021w,
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3377},
urn = {urn:nbn:de:0074-3377-5},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/0001KS21,
author = {Dennis M{\"{u}}ller and
Michael Kohlhase and
Jan Frederik Schaefer},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {System Description: sTeX2.0 - {A} LaTeX-based Ecosystem for Semantic/Active
Mathematical Documents (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/natfom4.pdf},
timestamp = {Thu, 14 Sep 2023 09:27:13 +0200},
biburl = {https://dblp.org/rec/conf/mkm/0001KS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AhmedR21,
author = {Muhammad Ahmed and
Adnan Rashid},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formalization of Transform Methods in Higher-order Logic: {A} Survey
(short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fvps1.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/AhmedR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AsakuraMAK21,
author = {Takuto Asakura and
Yusuke Miyao and
Akiko Aizawa and
Michael Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {MioGatto: {A} Math Identifier-oriented Grounding Annotation Tool},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui5.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/AsakuraMAK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BentkampA21,
author = {Alexander Bentkamp and
Jeremy Avigad},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Verified Optimization (work in progress)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm7.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BentkampA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Best21,
author = {Alex J. Best},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Automatically Generalizing Theorems Using Typeclasses (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm12.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Best21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Betzendahl21,
author = {Jonas Betzendahl},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics
- Extended Abstract},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/dp2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Betzendahl21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BlanchetteN21,
author = {Jasmin Blanchette and
Adam Naumowicz},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {{FMM} Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm-preface.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BlanchetteN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BordgC21,
author = {Anthony Bordg and
Nicol{\`{o}} Cavalleri},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Elements of Differential Geometry in Lean: {A} Report for Mathematicians
(short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm8.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BordgC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Chugh21,
author = {Abhishek Chugh},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Sophize Markdown and Collaboration Interface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui6.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Chugh21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DavenportK21,
author = {James H. Davenport and
Michael Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {OpenMath Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/om-preface.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/DavenportK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Farmer21,
author = {William Farmer},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formal Mathematics for the Masses (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/natfom3.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Farmer21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GonzalezGNS21,
author = {Salwa Tabet Gonzalez and
St{\'{e}}phane Graham{-}Lengrand and
Julien Narboux and
Natarajan Shankar},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Semantic parsing of geometry statements using supervised machine learning
on synthetic data},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/natfom5.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/GonzalezGNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Gouezel21,
author = {Sebastien Gouezel},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formalizing the Gromov-Hausdorff space},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm13.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Gouezel21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Hasan21,
author = {Osman Hasan},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {{FVPS} Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fvps-preface.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Hasan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Holub21,
author = {Stepan Holub},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Computing the Border Array in Isabelle/HOL (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm1.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Holub21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Huch21,
author = {Fabian Huch},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Structure in Theorem Proving: Analyzing and Improving the Isabelle
Archive of Formal Proofs - Extended Abstract (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/dp1.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Huch21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JunkS21,
author = {Michael Junk and
Sebastian Sahli},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Story Based Content Structuring in MATh},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui3.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/JunkS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Khan21,
author = {Muhammad Harun Ali Khan},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formalizing Fibonacci Squares (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm5.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Khan21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Koepke021,
author = {Peter Koepke and
Dennis M{\"{u}}ller},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/natfom-preface.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Koepke021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KoepkeLL21,
author = {Peter Koepke and
Tim Lichtnau and
Jonas Lippert},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Natural Typesetting of Naproche Formalizations in LaTeX (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/natfom2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KoepkeLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kohlhase21,
author = {Andrea Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {MathUI Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui-preface.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kohlhase21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK21,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KovacsV21,
author = {Zolt{\'{a}}n Kov{\'{a}}cs and
R{\'{o}}bert Vajda},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Extending GeoGebra/realgeom with {QEPCAD} {B} to obtain proofs on
geometric inequalities},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/ci1.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KovacsV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kruse21,
author = {Theresa Kruse},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Develop a Mathematical E-Dictionary and Test it - Extended Abstract},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/dp4.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kruse21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MarcusKRS21,
author = {Richard Marcus and
Michael Kohlhase and
Navid Roux and
John Schihada},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Dynamic User Interfaces via Incremental Knowledge Management},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui7.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MarcusKRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/NodaNK21,
author = {Takeo Noda and
Takahiro Nakahara and
Masataka Kaneko},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Monitoring the Impact of Teacher's Intervention in Inquiry-Based Mathematics
Learning with the use of Dynamic Geometry},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui4.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/NodaNK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Pak21,
author = {Karol Pak},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formalization of Prime Representing Polynomial in Mizar (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm6.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Pak21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Purgal21,
author = {Stanislaw J. Purgal},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Deep Learning for Automated Theorem Proving - Extended Abstract},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/dp3.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Purgal21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RaskaS21,
author = {Martin Raska and
Step{\'{a}}n Starosta},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Producing Symmetrical Facts for lIsts induced by the List Reversal
Mapping in Isabelle/HOL (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/RaskaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wenzel21,
author = {Ken Wenzel},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {OpenMath-RDF: {RDF} Encodings for OpenMath Objects and Content Dictionaries},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/om2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Wenzel21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wenzel21a,
author = {Ken Wenzel},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Pattern Matching for Mathematical Expressions with OpenMath (short
paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/om3.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Wenzel21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Wieser21,
author = {Eric Wieser},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Scalar actions in Lean's mathlib (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm11.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Wieser21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/YamamichiSNW21,
author = {Daichi Yamamichi and
Seigo Shigenaka and
Kazuhisa Nakasho and
Katsumi Wasaki},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {A Web Platform for Hosting the Mizar Mathematical Library (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm10.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/YamamichiSNW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Yang21,
author = {Zibo Yang},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Formalization of Gambler's Ruin Problem (short paper)},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/fmm4.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Yang21.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-05-26 16:50 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:
