Vor Ort
Merkzettel Warenkorb
  • Produktbild: Intelligent Computer Mathematics
  • Produktbild: Intelligent Computer Mathematics

Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2009

Herausgeber

Jacques Carette + weitere

Verlag

Springer Berlin

Seitenzahl

493

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

774 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02613-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

19.06.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

493

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

774 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02613-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Intelligent Computer Mathematics
  • Produktbild: Intelligent Computer Mathematics
  • Joint Invited Talks.- Computational Logic and Continuous Mathematics, Pure and Applied.- Math-Literate Computers.- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning.- Software Engineering for Mathematics.- Calculemus Talks.- Some Traditional Mathematical Knowledge Management.- Math Handwriting Recognition in Windows 7 and Its Benefits.- Assembling the Digital Mathematics Library.- CAMAL 40 Years on – Is Small Still Beautiful?.- Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.- Combining Coq and Gappa for Certifying Floating-Point Programs.- A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra.- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System.- Combined Decision Techniques for the Existential Theory of the Reals.- Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.- Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators.- A Groupoid of Isomorphic Data Transformations.- Algorithms for the Functional Decomposition of Laurent Polynomials.- MKM Talks.- A Linear Grammar Approach to Mathematical Formula Recognition from PDF.- Formal Proof: Reconciling Correctness and Understanding.- A Review of Mathematical Knowledge Management.- OpenMath Content Dictionaries for SI Quantities and Units.- Unifying Math Ontologies: A Tale of Two Standards.- Integrating Web Services into Active Mathematical Documents.- Representation for Interactive Exercises.- The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability.- Canonical Forms in Interactive Exercise Assistants.- Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.- Compensating the Computational Bias of Spreadsheets with MKM Techniques.- MathLang Translation to Isabelle Syntax.- A Mathematical Approach to Ontology Authoring and Documentation.- A Logically Saturated Extension of .- From Tessellations to Table Interpretation.- Finite Groups Representation Theory with Coq.- Collaborative Assistant to Handle MathML Expressions.- Confidence Measures in Recognizing Handwritten Mathematical Symbols.- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.- OpenMath in SCIEnce: SCSCP and POPCORN.- A Knowledge Repository for Indefinite Integration Based on Transformation Rules.- Natural Deduction Environment for Matita.