↓ 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 The Challenges of Multivalued “Functions”
  3. Altmetric Badge
    Chapter 2 The Dynamic Dictionary of Mathematical Functions
  4. Altmetric Badge
    Chapter 3 A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
  5. Altmetric Badge
    Chapter 4 I -Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness
  6. Altmetric Badge
    Chapter 5 Structured Formal Development with Quotient Types in Isabelle/HOL
  7. Altmetric Badge
    Chapter 6 Instantiation of SMT Problems Modulo Integers
  8. Altmetric Badge
    Chapter 7 On Krawtchouk Transforms
  9. Altmetric Badge
    Chapter 8 A Mathematical Model of the Competition between Acquired Immunity and Virus
  10. Altmetric Badge
    Chapter 9 Some Notes upon “When Does $$ Equal Sat $({\mathbb T})$ ?”
  11. Altmetric Badge
    Chapter 10 How to Correctly Prune Tropical Trees
  12. Altmetric Badge
    Chapter 11 From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
  13. Altmetric Badge
    Chapter 12 Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
  14. Altmetric Badge
    Chapter 13 Some Considerations on the Usability of Interactive Provers
  15. Altmetric Badge
    Chapter 14 Mechanized Mathematics
  16. Altmetric Badge
    Chapter 15 Formal Proof of SCHUR Conjugate Function
  17. Altmetric Badge
    Chapter 16 Symbolic Domain Decomposition
  18. Altmetric Badge
    Chapter 17 A Formal Quantifier Elimination for Algebraically Closed Fields
  19. Altmetric Badge
    Chapter 18 Computing in Coq with Infinite Algebraic Data Structures
  20. Altmetric Badge
    Chapter 19 Formally Verified Conditions for Regularity of Interval Matrices
  21. Altmetric Badge
    Chapter 20 Reducing Expression Size Using Rule-Based Integration
  22. Altmetric Badge
    Chapter 21 A Unified Formal Description of Arithmetic and Set Theoretical Data Types
  23. Altmetric Badge
    Chapter 22 Against Rigor
  24. Altmetric Badge
    Chapter 23 Smart Matching
  25. Altmetric Badge
    Chapter 24 Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
  26. Altmetric Badge
    Chapter 25 An OpenMath Content Dictionary for Tensor Concepts
  27. Altmetric Badge
    Chapter 26 On Duplication in Mathematical Repositories
  28. Altmetric Badge
    Chapter 27 Adapting Mathematical Domain Reasoners
  29. Altmetric Badge
    Chapter 28 Integrating Multiple Sources to Answer Questions in Algebraic Topology
  30. Altmetric Badge
    Chapter 29 An Integrated Development Environment for Collections
  31. Altmetric Badge
    Chapter 30 Proofs, Proofs, Proofs, and Proofs
  32. Altmetric Badge
    Chapter 31 Dimensions of Formality: A Case Study for MKM in Software Engineering
  33. Altmetric Badge
    Chapter 32 Towards MKM in the Large: Modular Representation and Scalable Software Architecture
  34. Altmetric Badge
    Chapter 33 The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents
  35. Altmetric Badge
    Chapter 34 Notations Around the World: Census and Exploitation
  36. Altmetric Badge
    Chapter 35 Evidence Algorithm and System for Automated Deduction: A Retrospective View
  37. Altmetric Badge
    Chapter 36 On Building a Knowledge Base for Stability Theory
  38. Altmetric Badge
    Chapter 37 Proviola: A Tool for Proof Re-animation
  39. Altmetric Badge
    Chapter 38 A Wiki for Mizar : Motivation, Considerations, and Initial Prototype
Attention for Chapter 21: A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 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
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
Chapter number 21
Book title
Intelligent Computer Mathematics
Published by
Springer, Berlin, Heidelberg, July 2010
DOI 10.1007/978-3-642-14128-7_21
Book ISBNs
978-3-64-214127-0, 978-3-64-214128-7
Authors

Paul Tarau, Tarau, Paul

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 %
Austria 1 17%
Unknown 5 83%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 50%
Professor 1 17%
Student > Bachelor 1 17%
Student > Ph. D. Student 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Physics and Astronomy 1 17%