9. AISC / 7. MKM / 15. Calculemus 2008:
Birmingham,
UK
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.):
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings.
Lecture Notes in Computer Science 5144 Springer 2008, ISBN 978-3-540-85109-7 BibTeX
AISC 2008
Invited Talks
Contributed Papers
- Teguh Bharata Adji, Baharum Baharudin, Norshuhani Zamin:
Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System.
17-23
Electronic Edition (link) BibTeX
- Jacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine:
Case Studies in Model Manipulation for Scientific Computing.
24-37
Electronic Edition (link) BibTeX
- Peter Chapman, James McKinna, Christian Urban:
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.
38-52
Electronic Edition (link) BibTeX
- James H. Davenport:
AISC Meets Natural Typography.
53-60
Electronic Edition (link) BibTeX
- Andreas Distler, Tom Kelsey:
The Monoids of Order Eight and Nine.
61-76
Electronic Edition (link) BibTeX
- Lucas Dixon, Ross Duncan:
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.
77-92
Electronic Edition (link) BibTeX
- Khalil Djelloul:
A Full First-Order Constraint Solver for Decomposable Theories.
93-108
Electronic Edition (link) BibTeX
- Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp:
Search Techniques for Rational Polynomial Orders.
109-124
Electronic Edition (link) BibTeX
- Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä:
Strategies for Solving SAT in Grids by Randomized Search.
125-140
Electronic Edition (link) BibTeX
- Oleg Lobachev, Rita Loogen:
Towards an Implementation of a Computer Algebra System in a Functional Language.
141-154
Electronic Edition (link) BibTeX
- Nicolas Peltier:
Automated Model Building: From Finite to Infinite Models.
155-169
Electronic Edition (link) BibTeX
- Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías:
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.
170-183
Electronic Edition (link) BibTeX
- Thomas Soboll:
On the Construction of Transformation Steps in the Category of Multiagent Systems.
184-190
Electronic Edition (link) BibTeX
- Harald Zankl, Aart Middeldorp:
Increasing Interpretations.
191-205
Electronic Edition (link) BibTeX
Calculemus 2008
Invited Talk
Contributed Papers
- Behzad Akbarpour, Lawrence C. Paulson:
MetiTarski: An Automatic Prover for the Elementary Functions.
217-231
Electronic Edition (link) BibTeX
- Jacques Carette, William M. Farmer:
High-Level Theories.
232-245
Electronic Edition (link) BibTeX
- Amine Chaieb:
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL.
246-260
Electronic Edition (link) BibTeX
- John Charnley, Simon Colton:
A Global Workspace Framework for Combining Reasoning Systems.
261-265
Electronic Edition (link) BibTeX
- James H. Davenport:
Effective Set Membership in Computer Algebra and Beyond.
266-269
Electronic Edition (link) BibTeX
- César Domínguez:
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.
270-284
Electronic Edition (link) BibTeX
- Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond:
Symbolic Computation Software Composability.
285-295
Electronic Edition (link) BibTeX
- J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.
296-299
Electronic Edition (link) BibTeX
- Cezary Kaliszyk:
Automating Side Conditions in Formalized Partial Functions.
300-314
Electronic Edition (link) BibTeX
- Laura I. Meikle, Jacques D. Fleuriot:
Combining Isabelle and QEPCAD-B in the Prover's Palette.
315-330
Electronic Edition (link) BibTeX
MKM 2008
Invited Talks
Contributed Papers
- David Aspinall, Ewen Denney, Christoph Lüth:
A Tactic Language for Hiproofs.
339-354
Electronic Edition (link) BibTeX
- Stefan Berghofer, Makarius Wenzel:
Logic-Free Reasoning in Isabelle/Isar.
355-369
Electronic Edition (link) BibTeX
- Joseph B. Collins:
A Mathematical Type for Physical Variables.
370-381
Electronic Edition (link) BibTeX
- Jonathan Stratford, James H. Davenport:
Unit Knowledge Management.
382-397
Electronic Edition (link) BibTeX
- Dominik Dietrich, Ewaryst Schulz, Marc Wagner:
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
398-414
Electronic Edition (link) BibTeX
- Akio Fujiyoshi, Masakazu Suzuki, Seiichi Uchida:
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.
415-429
Electronic Edition (link) BibTeX
- Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises.
430-445
Electronic Edition (link) BibTeX
- Jónathan Heras, Vico Pascual, Julio Rubio:
Mediated Access to Symbolic Computation Systems.
446-461
Electronic Edition (link) BibTeX
- Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo:
Herbrand Sequent Extraction.
462-477
Electronic Edition (link) BibTeX
- John Howse, Gem Stapleton:
Visual Mathematics: Diagrammatic Formalization and Proof.
478-493
Electronic Edition (link) BibTeX
- Manfred Kerber:
Normalization Issues in Mathematical Representations.
494-503
Electronic Edition (link) BibTeX
- Michael Kohlhase, Christine Müller, Florian Rabe:
Notations for Living Mathematical Documents.
504-519
Electronic Edition (link) BibTeX
- Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, Maxim Hendriks:
Cross-Curriculum Search for Intergeo.
520-535
Electronic Edition (link) BibTeX
- Bruce R. Miller, Abdou Youssef:
Augmenting Presentation MathML for Search.
536-542
Electronic Edition (link) BibTeX
- Radim Rehurek, Petr Sojka:
Automated Classification and Categorization of Mathematical Knowledge.
543-557
Electronic Edition (link) BibTeX
- Aaron Sloman:
Kantian Philosophy of Mathematics and Young Robots.
558-573
Electronic Edition (link) BibTeX
- Heinrich Stamerjohanns, Michael Kohlhase:
Transforming the arXiv to XML.
574-582
Electronic Edition (link) BibTeX
- Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly Anisimov:
On Correctness of Mathematical Texts from a Logical and Practical Point of View.
583-598
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:31 2009
by Michael Ley (ley@uni-trier.de)
