Skip to main content
main-content

Über dieses Buch

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.

Inhaltsverzeichnis

Frontmatter

Joint Invited Talks

2009 | OriginalPaper | Buchkapitel

Computational Logic and Continuous Mathematics, Pure and Applied

Rob Arthan

2009 | OriginalPaper | Buchkapitel

Math-Literate Computers

Dorothea Blostein

2009 | OriginalPaper | Buchkapitel

Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning

Jacques Calmet

2009 | OriginalPaper | Buchkapitel

Software Engineering for Mathematics

Georges Gonthier

Calculemus Talks

2009 | OriginalPaper | Buchkapitel

Some Traditional Mathematical Knowledge Management

Patrick D. F. Ion

2009 | OriginalPaper | Buchkapitel

Math Handwriting Recognition in Windows 7 and Its Benefits

Marko Panic

2009 | OriginalPaper | Buchkapitel

Assembling the Digital Mathematics Library

David Ruddy

2009 | OriginalPaper | Buchkapitel

CAMAL 40 Years on – Is Small Still Beautiful?

John Fitch

2009 | OriginalPaper | Buchkapitel

Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón

2009 | OriginalPaper | Buchkapitel

Combining Coq and Gappa for Certifying Floating-Point Programs

Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond

2009 | OriginalPaper | Buchkapitel

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

Russell Bradford, James H. Davenport, Christopher J. Sangwin

2009 | OriginalPaper | Buchkapitel

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

Aleks Kissinger

2009 | OriginalPaper | Buchkapitel

ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System

Francisco-Jesus Martín-Mateos, Julio Rubio, Jose-Luis Ruiz-Reina

2009 | OriginalPaper | Buchkapitel

Combined Decision Techniques for the Existential Theory of the Reals

Grant Olney Passmore, Paul B. Jackson

2009 | OriginalPaper | Buchkapitel

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

Alan P. Sexton, Volker Sorge, Stephen M. Watt

2009 | OriginalPaper | Buchkapitel

Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators

Ekaterina Shemyakova

2009 | OriginalPaper | Buchkapitel

A Groupoid of Isomorphic Data Transformations

Paul Tarau

2009 | OriginalPaper | Buchkapitel

Algorithms for the Functional Decomposition of Laurent Polynomials

Stephen M. Watt

MKM Talks

2009 | OriginalPaper | Buchkapitel

A Linear Grammar Approach to Mathematical Formula Recognition from PDF

Josef B. Baker, Alan P. Sexton, Volker Sorge

2009 | OriginalPaper | Buchkapitel

Formal Proof: Reconciling Correctness and Understanding

Cristian S. Calude, Christine Müller

2009 | OriginalPaper | Buchkapitel

A Review of Mathematical Knowledge Management

Jacques Carette, William M. Farmer

2009 | OriginalPaper | Buchkapitel

OpenMath Content Dictionaries for SI Quantities and Units

Joseph B. Collins

2009 | OriginalPaper | Buchkapitel

Unifying Math Ontologies: A Tale of Two Standards

James H. Davenport, Michael Kohlhase

2009 | OriginalPaper | Buchkapitel

Integrating Web Services into Active Mathematical Documents

Jana Giceva, Christoph Lange, Florian Rabe

2009 | OriginalPaper | Buchkapitel

Representation for Interactive Exercises

George Goguadze

2009 | OriginalPaper | Buchkapitel

The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability

Davood G. Gozli, Marco Pollanen, Michael Reynolds

2009 | OriginalPaper | Buchkapitel

Canonical Forms in Interactive Exercise Assistants

Bastiaan Heeren, Johan Jeuring

2009 | OriginalPaper | Buchkapitel

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

Andrea Kohlhase, Michael Kohlhase

2009 | OriginalPaper | Buchkapitel

Compensating the Computational Bias of Spreadsheets with MKM Techniques

Andrea Kohlhase, Michael Kohlhase

2009 | OriginalPaper | Buchkapitel

MathLang Translation to Isabelle Syntax

Robert Lamar, Fairouz Kamareddine, J. B. Wells

2009 | OriginalPaper | Buchkapitel

A Mathematical Approach to Ontology Authoring and Documentation

Christoph Lange, Michael Kohlhase

2009 | OriginalPaper | Buchkapitel

A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$

Lionel Elie Mamane, Herman Geuvers, James McKinna

2009 | OriginalPaper | Buchkapitel

From Tessellations to Table Interpretation

Ramana C. Jandhyala, Mukkai Krishnamoorthy, George Nagy, Raghav Padmanabhan, Sharad Seth, William Silversmith

2009 | OriginalPaper | Buchkapitel

Finite Groups Representation Theory with Coq

Sidi Ould Biha

2009 | OriginalPaper | Buchkapitel

Collaborative Assistant to Handle MathML Expressions

Aslam Muhammad, Ana Maria Martinez Enriquez, Gonzalo Escalada-Imaz

2009 | OriginalPaper | Buchkapitel

Confidence Measures in Recognizing Handwritten Mathematical Symbols

Oleg Golubitsky, Stephen M. Watt

2009 | OriginalPaper | Buchkapitel

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

Jónathan Heras, Vico Pascual, Julio Rubio

2009 | OriginalPaper | Buchkapitel

OpenMath in SCIEnce: SCSCP and POPCORN

Peter Horn, Dan Roozemond

2009 | OriginalPaper | Buchkapitel

A Knowledge Repository for Indefinite Integration Based on Transformation Rules

A. D. Rich, D. J. Jeffrey

2009 | OriginalPaper | Buchkapitel

Natural Deduction Environment for Matita

Claudio Sacerdoti Coen, Enrico Tassi

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Effizienzsteigerung durch die und in der Magnetlagertechnik

Magnetlager sind aus etlichen industriellen Anwendungen nicht mehr wegzudenken, in anderen erscheint ein Einsatz in Zukunft vielversprechend. Durch die Magnetlagertechnik werden Effizienzsteigerungen unterschiedlicher Art ermöglicht – sowohl auf direkte Weise durch Verringerung der Lagerverluste im Vergleich zu mechanischen Lagerungen, als auch durch Verbesserungen im industriellen Prozess, die erst durch die besonderen Eigenschaften der Magnetlagerung erzielt werden können.
Jetzt gratis downloaden!

Bildnachweise