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/mkm2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/mkm/Aranda-CorralBF09,
author = {Gonzalo A. Aranda{-}Corral and
Joaqu{\'{\i}}n Borrego{-}D{\'{\i}}az and
Mar{\'{\i}}a Magdalena Fern{\'{a}}ndez{-}Lebr{\'{o}}n},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Conservative Retractions of Propositional Logic Theories by Means
of Boolean Derivatives: Theoretical Foundations},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {45--58},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_9},
doi = {10.1007/978-3-642-02614-0\_9},
timestamp = {Wed, 18 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Aranda-CorralBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Arthan09,
author = {Rob Arthan},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Computational Logic and Continuous Mathematics, Pure and Applied},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_1},
doi = {10.1007/978-3-642-02614-0\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Arthan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BakerSS09,
author = {Josef B. Baker and
Alan P. Sexton and
Volker Sorge},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Linear Grammar Approach to Mathematical Formula Recognition from
{PDF}},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {201--216},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_19},
doi = {10.1007/978-3-642-02614-0\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BakerSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Biha09,
author = {Sidi Ould Biha},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Finite Groups Representation Theory with Coq},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {438--452},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_34},
doi = {10.1007/978-3-642-02614-0\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Biha09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Blostein09,
author = {Dorothea Blostein},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Math-Literate Computers},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {2--13},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_2},
doi = {10.1007/978-3-642-02614-0\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Blostein09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BoldoFM09,
author = {Sylvie Boldo and
Jean{-}Christophe Filli{\^{a}}tre and
Guillaume Melquiond},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Combining Coq and Gappa for Certifying Floating-Point Programs},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {59--74},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_10},
doi = {10.1007/978-3-642-02614-0\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BoldoFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BradfordDS09,
author = {Russell J. Bradford and
James H. Davenport and
Christopher J. Sangwin},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Comparison of Equality in Computer Algebra and Correctness in Mathematical
Pedagogy},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {75--89},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_11},
doi = {10.1007/978-3-642-02614-0\_11},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/BradfordDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Calmet09,
author = {Jacques Calmet},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Abstraction-Based Information Technology: {A} Framework for Open Mechanized
Reasoning},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {14--26},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_3},
doi = {10.1007/978-3-642-02614-0\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Calmet09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CaludeM09,
author = {Cristian S. Calude and
Christine M{\"{u}}ller},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Formal Proof: Reconciling Correctness and Understanding},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {217--232},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_20},
doi = {10.1007/978-3-642-02614-0\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/CaludeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CaretteF09,
author = {Jacques Carette and
William M. Farmer},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Review of Mathematical Knowledge Management},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {233--246},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_21},
doi = {10.1007/978-3-642-02614-0\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/CaretteF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CoenT09,
author = {Claudio Sacerdoti Coen and
Enrico Tassi},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Natural Deduction Environment for Matita},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {486--491},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_40},
doi = {10.1007/978-3-642-02614-0\_40},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/CoenT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Collins09,
author = {Joseph B. Collins},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {OpenMath Content Dictionaries for {SI} Quantities and Units},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {247--262},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_22},
doi = {10.1007/978-3-642-02614-0\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Collins09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/DavenportK09,
author = {James H. Davenport and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Unifying Math Ontologies: {A} Tale of Two Standards},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {263--278},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_23},
doi = {10.1007/978-3-642-02614-0\_23},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/DavenportK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Fitch09,
author = {John P. Fitch},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {{CAMAL} 40 Years on - Is Small Still Beautiful?},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {32--44},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_8},
doi = {10.1007/978-3-642-02614-0\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Fitch09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GicevaLR09,
author = {Jana Giceva and
Christoph Lange and
Florian Rabe},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Integrating Web Services into Active Mathematical Documents},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {279--293},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_24},
doi = {10.1007/978-3-642-02614-0\_24},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/GicevaLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Goguadze09,
author = {George Goguadze},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Representation for Interactive Exercises},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {294--309},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_25},
doi = {10.1007/978-3-642-02614-0\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Goguadze09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GolubitskyW09,
author = {Oleg Golubitsky and
Stephen M. Watt},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Confidence Measures in Recognizing Handwritten Mathematical Symbols},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {460--466},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_36},
doi = {10.1007/978-3-642-02614-0\_36},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/GolubitskyW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Gonthier09,
author = {Georges Gonthier},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Software Engineering for Mathematics},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {27},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_4},
doi = {10.1007/978-3-642-02614-0\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Gonthier09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GozliPR09,
author = {Davood G. Gozli and
Marco Pollanen and
Michael G. Reynolds},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {The Characteristics of Writing Environments for Mathematics: Behavioral
Consequences and Implications for Software Design and Usability},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {310--324},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_26},
doi = {10.1007/978-3-642-02614-0\_26},
timestamp = {Tue, 17 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/GozliPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ09,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Canonical Forms in Interactive Exercise Assistants},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {325--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_27},
doi = {10.1007/978-3-642-02614-0\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HeerenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HerasPR09,
author = {J{\'{o}}nathan Heras and
Vico Pascual and
Julio Rubio},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Using Open Mathematical Documents to Interface Computer Algebra and
Proof Assistant Systems},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {467--473},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_37},
doi = {10.1007/978-3-642-02614-0\_37},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HerasPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HornR09,
author = {Peter Horn and
Dan Roozemond},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {OpenMath in SCIEnce: {SCSCP} and {POPCORN}},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {474--479},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_38},
doi = {10.1007/978-3-642-02614-0\_38},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HornR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Ion09,
author = {Patrick D. F. Ion},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Some Traditional Mathematical Knowledge Management},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {28},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_5},
doi = {10.1007/978-3-642-02614-0\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Ion09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JandhyalaKNPSS09,
author = {Ramana Chakradhar Jandhyala and
Mukkai S. Krishnamoorthy and
George Nagy and
Raghav K. Padmanabhan and
Sharad C. Seth and
William Silversmith},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {From Tessellations to Table Interpretation},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {422--437},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_33},
doi = {10.1007/978-3-642-02614-0\_33},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/JandhyalaKNPSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kissinger09,
author = {Aleks Kissinger},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Exploring a Quantum Theory with Graph Rewriting and Computer Algebra},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {90--105},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_12},
doi = {10.1007/978-3-642-02614-0\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kissinger09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK09,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Spreadsheet Interaction with Frames: Exploring a Mathematical Practice},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {341--356},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_28},
doi = {10.1007/978-3-642-02614-0\_28},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK09a,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Compensating the Computational Bias of Spreadsheets with {MKM} Techniques},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {357--372},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_29},
doi = {10.1007/978-3-642-02614-0\_29},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LamarKW09,
author = {Robert Lamar and
Fairouz Kamareddine and
J. B. Wells},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {MathLang Translation to Isabelle Syntax},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {373--388},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_30},
doi = {10.1007/978-3-642-02614-0\_30},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/LamarKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/LangeK09,
author = {Christoph Lange and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Mathematical Approach to Ontology Authoring and Documentation},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {389--404},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_31},
doi = {10.1007/978-3-642-02614-0\_31},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/LangeK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MamaneGM09,
author = {Lionel Elie Mamane and
Herman Geuvers and
James McKinna},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Logically Saturated Extension of lambda{\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {405--421},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_32},
doi = {10.1007/978-3-642-02614-0\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MamaneGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Martin-MateosRR09,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Julio Rubio and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {{ACL2} Verification of Simplicial Degeneracy Programs in the Kenzo
System},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {106--121},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_13},
doi = {10.1007/978-3-642-02614-0\_13},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Martin-MateosRR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MuhammadEE09,
author = {Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Collaborative Assistant to Handle MathML Expressions},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {453--459},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_35},
doi = {10.1007/978-3-642-02614-0\_35},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MuhammadEE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Panic09,
author = {Marko Panic},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Math Handwriting Recognition in Windows 7 and Its Benefits},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {29--30},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_6},
doi = {10.1007/978-3-642-02614-0\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Panic09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/PassmoreJ09,
author = {Grant Olney Passmore and
Paul B. Jackson},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Combined Decision Techniques for the Existential Theory of the Reals},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {122--137},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_14},
doi = {10.1007/978-3-642-02614-0\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/PassmoreJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/RichJ09,
author = {Albert D. Rich and
David J. Jeffrey},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Knowledge Repository for Indefinite Integration Based on Transformation
Rules},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {480--485},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_39},
doi = {10.1007/978-3-642-02614-0\_39},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/RichJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Ruddy09,
author = {David Ruddy},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Assembling the Digital Mathematics Library},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_7},
doi = {10.1007/978-3-642-02614-0\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Ruddy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/SextonSW09,
author = {Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Reasoning with Generic Cases in the Arithmetic of Abstract Matrices},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {138--153},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_15},
doi = {10.1007/978-3-642-02614-0\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/SextonSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Shemyakova09,
author = {Ekaterina Shemyakova},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Invariant Properties of Third-Order Non-hyperbolic Linear Partial
Differential Operators},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {154--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_16},
doi = {10.1007/978-3-642-02614-0\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Shemyakova09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Tarau09,
author = {Paul Tarau},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Groupoid of Isomorphic Data Transformations},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {170--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_17},
doi = {10.1007/978-3-642-02614-0\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Tarau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Watt09,
author = {Stephen M. Watt},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Algorithms for the Functional Decomposition of Laurent Polynomials},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {186--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_18},
doi = {10.1007/978-3-642-02614-0\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Watt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2009,
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0},
doi = {10.1007/978-3-642-02614-0},
isbn = {978-3-642-02613-3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2009.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-29 04:16 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:
