Intelligent Computer Mathematics

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Computational Logic and Continuous Mathematics, Pure and Applied
3. Altmetric Badge
   Chapter 2 Math-Literate Computers
4. Altmetric Badge
   Chapter 3 Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
5. Altmetric Badge
   Chapter 4 Software Engineering for Mathematics
6. Altmetric Badge
   Chapter 5 Some Traditional Mathematical Knowledge Management
7. Altmetric Badge
   Chapter 6 Math Handwriting Recognition in Windows 7 and Its Benefits
8. Altmetric Badge
   Chapter 7 Assembling the Digital Mathematics Library
9. Altmetric Badge
   Chapter 8 CAMAL 40 Years on – Is Small Still Beautiful?
10. Altmetric Badge
    Chapter 9 Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
11. Altmetric Badge
    Chapter 10 Combining Coq and Gappa for Certifying Floating-Point Programs
12. Altmetric Badge
    Chapter 11 A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
13. Altmetric Badge
    Chapter 12 Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
14. Altmetric Badge
    Chapter 13 ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
15. Altmetric Badge
    Chapter 14 Combined Decision Techniques for the Existential Theory of the Reals
16. Altmetric Badge
    Chapter 15 Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
17. Altmetric Badge
    Chapter 16 Invariant Properties of Third-Order Non-hyperbolic Linear Partial Differential Operators
18. Altmetric Badge
    Chapter 17 A Groupoid of Isomorphic Data Transformations
19. Altmetric Badge
    Chapter 18 Algorithms for the Functional Decomposition of Laurent Polynomials
20. Altmetric Badge
    Chapter 19 A Linear Grammar Approach to Mathematical Formula Recognition from PDF
21. Altmetric Badge
    Chapter 20 Formal Proof: Reconciling Correctness and Understanding
22. Altmetric Badge
    Chapter 21 A Review of Mathematical Knowledge Management
23. Altmetric Badge
    Chapter 22 OpenMath Content Dictionaries for SI Quantities and Units
24. Altmetric Badge
    Chapter 23 Unifying Math Ontologies: A Tale of Two Standards
25. Altmetric Badge
    Chapter 24 Integrating Web Services into Active Mathematical Documents
26. Altmetric Badge
    Chapter 25 Representation for Interactive Exercises
27. Altmetric Badge
    Chapter 26 The Characteristics of Writing Environments for Mathematics: Behavioral Consequences and Implications for Software Design and Usability
28. Altmetric Badge
    Chapter 27 Canonical Forms in Interactive Exercise Assistants
29. Altmetric Badge
    Chapter 28 Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
30. Altmetric Badge
    Chapter 29 Compensating the Computational Bias of Spreadsheets with MKM Techniques
31. Altmetric Badge
    Chapter 30 MathLang Translation to Isabelle Syntax
32. Altmetric Badge
    Chapter 31 A Mathematical Approach to Ontology Authoring and Documentation
33. Altmetric Badge
    Chapter 32 A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
34. Altmetric Badge
    Chapter 33 From Tessellations to Table Interpretation
35. Altmetric Badge
    Chapter 34 Finite Groups Representation Theory with Coq
36. Altmetric Badge
    Chapter 35 Collaborative Assistant to Handle MathML Expressions
37. Altmetric Badge
    Chapter 36 Confidence Measures in Recognizing Handwritten Mathematical Symbols
38. Altmetric Badge
    Chapter 37 Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
39. Altmetric Badge
    Chapter 38 OpenMath in SCIEnce: SCSCP and POPCORN
40. Altmetric Badge
    Chapter 39 A Knowledge Repository for Indefinite Integration Based on Transformation Rules
41. Altmetric Badge
    Chapter 40 Natural Deduction Environment for Matita