↓ 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
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (66th percentile)
  • Good Attention Score compared to outputs of the same age and source (71st percentile)

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Readers on

mendeley
39 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.
Title
Intelligent Computer Mathematics
Published by
ADS, June 2010
DOI 10.1007/978-3-642-14128-7
ISBNs
978-3-64-214127-0, 978-3-64-214128-7
Editors

Autexier, Serge, Calmet, Jacques, Delahaye, David, Ion, Patrick D. F., Rideau, Laurence, Rioboo, Renaud, Sexton, Alan P.

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 26 July 2023.
All research outputs
#6,915,821
of 24,147,581 outputs
Outputs from ADS
#8,400
of 39,400 outputs
Outputs of similar age
#30,759
of 96,635 outputs
Outputs of similar age from ADS
#79
of 317 outputs
Altmetric has tracked 24,147,581 research outputs across all sources so far. This one has received more attention than most of these and is in the 70th percentile.
So far Altmetric has tracked 39,400 research outputs from this source. They receive a mean Attention Score of 4.6. This one has done well, scoring higher than 77% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 96,635 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 66% of its contemporaries.
We're also able to compare this research output to 317 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 71% of its contemporaries.