16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).
Köp båda 2 för 950 krJoint 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 inInteractive 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.