↓ Skip to main content

Intelligent Computer Mathematics

Overview of attention for book
Cover of 'Intelligent Computer Mathematics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Intelligent Computer Mathematics
  3. Altmetric Badge
    Chapter 2 On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra
  4. Altmetric Badge
    Chapter 3 Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System
  5. Altmetric Badge
    Chapter 4 Case Studies in Model Manipulation for Scientific Computing
  6. Altmetric Badge
    Chapter 5 Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
  7. Altmetric Badge
    Chapter 6 AISC Meets Natural Typography
  8. Altmetric Badge
    Chapter 7 The Monoids of Order Eight and Nine
  9. Altmetric Badge
    Chapter 8 Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
  10. Altmetric Badge
    Chapter 9 A Full First-Order Constraint Solver for Decomposable Theories
  11. Altmetric Badge
    Chapter 10 Search Techniques for Rational Polynomial Orders
  12. Altmetric Badge
    Chapter 11 Strategies for Solving SAT in Grids by Randomized Search
  13. Altmetric Badge
    Chapter 12 Towards an Implementation of a Computer Algebra System in a Functional Language
  14. Altmetric Badge
    Chapter 13 Automated Model Building: From Finite to Infinite Models
  15. Altmetric Badge
    Chapter 14 A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
  16. Altmetric Badge
    Chapter 15 On the Construction of Transformation Steps in the Category of Multiagent Systems
  17. Altmetric Badge
    Chapter 16 Increasing Interpretations
  18. Altmetric Badge
    Chapter 17 Validated Evaluation of Special Mathematical Functions
  19. Altmetric Badge
    Chapter 18 Intelligent Computer Mathematics
  20. Altmetric Badge
    Chapter 19 High-Level Theories
  21. Altmetric Badge
    Chapter 20 Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL
  22. Altmetric Badge
    Chapter 21 A Global Workspace Framework for Combining Reasoning Systems
  23. Altmetric Badge
    Chapter 22 Effective Set Membership in Computer Algebra and Beyond
  24. Altmetric Badge
    Chapter 23 Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
  25. Altmetric Badge
    Chapter 24 Intelligent Computer Mathematics
  26. Altmetric Badge
    Chapter 25 Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
  27. Altmetric Badge
    Chapter 26 Automating Side Conditions in Formalized Partial Functions
  28. Altmetric Badge
    Chapter 27 Combining Isabelle and QEPCAD-B in the Prover’s Palette
  29. Altmetric Badge
    Chapter 28 Digital Mathematics Libraries: The Good, the Bad, the Ugly
  30. Altmetric Badge
    Chapter 29 Automating Signature Evolution in Logical Theories
  31. Altmetric Badge
    Chapter 30 A Tactic Language for Hiproofs
  32. Altmetric Badge
    Chapter 31 Logic-Free Reasoning in Isabelle/Isar
  33. Altmetric Badge
    Chapter 32 A Mathematical Type for Physical Variables
  34. Altmetric Badge
    Chapter 33 Unit Knowledge Management
  35. Altmetric Badge
    Chapter 34 Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
  36. Altmetric Badge
    Chapter 35 Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
  37. Altmetric Badge
    Chapter 36 Specifying Strategies for Exercises
  38. Altmetric Badge
    Chapter 37 Mediated Access to Symbolic Computation Systems
  39. Altmetric Badge
    Chapter 38 Herbrand Sequent Extraction
  40. Altmetric Badge
    Chapter 39 Visual Mathematics: Diagrammatic Formalization and Proof
  41. Altmetric Badge
    Chapter 40 Normalization Issues in Mathematical Representations
  42. Altmetric Badge
    Chapter 41 Notations for Living Mathematical Documents
  43. Altmetric Badge
    Chapter 42 Cross-Curriculum Search for Intergeo
  44. Altmetric Badge
    Chapter 43 Augmenting Presentation MathML for Search
  45. Altmetric Badge
    Chapter 44 Automated Classification and Categorization of Mathematical Knowledge
  46. Altmetric Badge
    Chapter 45 Kantian Philosophy of Mathematics and Young Robots
  47. Altmetric Badge
    Chapter 46 Transforming the arχiv to XML
  48. Altmetric Badge
    Chapter 47 On Correctness of Mathematical Texts from a Logical and Practical Point of View
Attention for Chapter 47: On Correctness of Mathematical Texts from a Logical and Practical Point of View
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
6 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
On Correctness of Mathematical Texts from a Logical and Practical Point of View
Chapter number 47
Book title
Intelligent Computer Mathematics
Published by
Springer, Berlin, Heidelberg, July 2008
DOI 10.1007/978-3-540-85110-3_47
Book ISBNs
978-3-54-085109-7, 978-3-54-085110-3
Authors

Konstantin Verchinine, Alexander Lyaletski, Andrei Paskevich, Anatoly Anisimov

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 6 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Other 1 17%
Student > Doctoral Student 1 17%
Student > Bachelor 1 17%
Professor 1 17%
Student > Ph. D. Student 1 17%
Other 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Mathematics 1 17%