Contributions to AISC 2008 |
Invited Talks |
Symmetry and Search - A Survey / Steve Linton |
On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra / Jochen Pfalzgraf |
Contributed Papers |
Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System / Teguh Bharata Adji ; Baharum Baharudin ; Norshuhani Zamin |
Case Studies in Model Manipulation for Scientific Computing / Jacques Carette ; Spencer Smith ; John McCutchan ; Christopher Anand ; Alexandre Korobkine |
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle / Peter Chapman ; James McKinna ; Christian Urban |
AISC Meets Natural Typography / James H. Davenport |
The Monoids of Order Eight and Nine / Andreas Distler ; Tom Kelsey |
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation / Lucas Dixon ; Ross Duncan |
A Full First-Order Constraint Solver for Decomposable Theories / Khalil Djelloul |
Search Techniques for Rational Polynomial Orders / Carsten Fuhs ; Rafael Navarro-Marset ; Carsten Otto ; Jurgen Giesl ; Salvador Lucas ; Peter Schneider-Kamp |
Strategies for Solving SAT in Grids by Randomized Search / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela |
Towards an Implementation of a Computer Algebra System in a Functional Language / Oleg Lobachev ; Rita Loogen |
Automated Model Building: From Finite to Infinite Models / Nicolas Peltier |
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple / Eugenio Roanes-Lozano ; Luis M. Laita ; Eugenio Roanes-Macias |
On the Construction of Transformation Steps in the Category of Multiagent Systems / Thomas Soboll |
Increasing Interpretations / Harald Zankl ; Aart Middeldorp |
Contributions to Calculemus 2008 |
Invited Talk |
Validated Evaluation of Special Mathematical Functions / Franky Backeljauw ; Stefan Becuwe ; Annie Cuyt |
MetiTarski: An Automatic Prover for the Elementary Functions / Behzad Akbarpour ; Lawrence C. Paulson |
High-Level Theories / William M. Farmer |
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL / Amine Chaieb |
A Global Workspace Framework for Combining Reasoning Systems / John Charnley ; Simon Colton |
Effective Set Membership in Computer Algebra and Beyond |
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems / Cesar Dominguez |
Symbolic Computation Software Composability / Sebastian Freundt ; Peter Horn ; Alexander Konovalov ; Dan Roozemond |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server / J. Santiago Jorge ; Victor M. Gulias ; Laura M. Castro |
Automating Side Conditions in Formalized Partial Functions / Cezary Kaliszyk |
Combining Isabelle and QEPCAD-B in the Prover's Palette / Laura I. Meikle ; Jacques D. Fleuriot |
Contributions to MKM 2008 |
Digital Mathematics Libraries: The Good, the Bad, the Ugly / Thierry Bouche |
Automating Signature Evolution in Logical Theories / Alan Bundy |
A Tactic Language for Hiproofs / David Aspinall ; Ewen Denney ; Christoph Luth |
Logic-Free Reasoning in Isabelle/Isar / Stefan Berghofer ; Makarius Wenzel |
A Mathematical Type for Physical Variables / Joseph B. Collins |
Unit Knowledge Management / Jonathan Stratford |
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors / Dominik Dietrich ; Ewaryst Schulz ; Marc Wagner |
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar / Akio Fujiyoshi ; Masakazu Suzuki ; Seiichi Uchida |
Specifying Strategies for Exercises / Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes |
Mediated Access to Symbolic Computation Systems / Jonathan Heras ; Vico Pascual ; Julio Rubio |
Herbrand Sequent Extraction / Stefan Hetzl ; Alexander Leitsch ; Daniel Weller ; Bruno Woltzenlogel Paleo |
Visual Mathematics: Diagrammatic Formalization and Proof / John Howse ; Gem Stapleton |
Normalization Issues in Mathematical Representations / Manfred Kerber |
Notations for Living Mathematical Documents / Michael Kohlhase ; Christine Muller ; Florian Rabe |
Cross-Curriculum Search for Intergeo / Paul Libbrecht ; Cyrille Desmoulins ; Christian Mercat ; Colette Laborde ; Michael Dietrich ; Maxim Hendriks |
Augmenting Presentation MathML for Search / Bruce R. Miller ; Abdou Youssef |
Automated Classification and Categorization of Mathematical Knowledge / Radim Rehurek ; Petr Sojka |
Kantian Philosophy of Mathematics and Young Robots / Aaron Sloman |
Transforming the arxiv to XML / Heinrich Stamerjohanns |
On Correctness of Mathematical Texts from a Logical and Practical Point of View / Konstantin Verchinine ; Alexander Lyaletski ; Andrei Paskevich ; Anatoly Anisimov |
Author Index |
Contributions to AISC 2008 |
Invited Talks |
Symmetry and Search - A Survey / Steve Linton |