↓ 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 Enumeration of AG-Groupoids
  3. Altmetric Badge
    Chapter 2 Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework
  4. Altmetric Badge
    Chapter 3 Incidence Simplicial Matrices Formalized in Coq/SSReflect
  5. Altmetric Badge
    Chapter 4 Proof Assistant Decision Procedures for Formalizing Origami
  6. Altmetric Badge
    Chapter 5 Using Theorema in the Formalization of Theoretical Economics
  7. Altmetric Badge
    Chapter 6 View of Computer Algebra Data from Coq
  8. Altmetric Badge
    Chapter 7 Computer certified efficient exact reals in Coq
  9. Altmetric Badge
    Chapter 8 A Foundational View on Integration Problems
  10. Altmetric Badge
    Chapter 9 Efficient Formal Verification of Bounds of Linear Programs
  11. Altmetric Badge
    Chapter 10 Large Formal Wikis: Issues and Solutions
  12. Altmetric Badge
    Chapter 11 Licensing the Mizar Mathematical Library
  13. Altmetric Badge
    Chapter 12 Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
  14. Altmetric Badge
    Chapter 13 Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
  15. Altmetric Badge
    Chapter 14 Interleaving Strategies
  16. Altmetric Badge
    Chapter 15 Combining Source, Content, Presentation, Narration, and Relational Representation
  17. Altmetric Badge
    Chapter 16 Indexing and Searching Mathematics in Digital Libraries
  18. Altmetric Badge
    Chapter 17 Isabelle as Document-Oriented Proof Assistant
  19. Altmetric Badge
    Chapter 18 Towards Formal Proof Script Refactoring
  20. Altmetric Badge
    Chapter 19 mizar-items : Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
  21. Altmetric Badge
    Chapter 20 Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
  22. Altmetric Badge
    Chapter 21 Project EuDML – A First Year Demonstration
  23. Altmetric Badge
    Chapter 22 A Symbolic Companion for Interactive Geometric Systems
  24. Altmetric Badge
    Chapter 23 MathScheme: Project Description
  25. Altmetric Badge
    Chapter 24 Project Abstract: Logic Atlas and Integrator (LATIN)
  26. Altmetric Badge
    Chapter 25 The LaTeXML Daemon: Editable Math on the Collaborative Web
  27. Altmetric Badge
    Chapter 26 A System for Computing and Reasoning in Algebraic Topology
  28. Altmetric Badge
    Chapter 27 Learning2Reason
  29. Altmetric Badge
    Chapter 28 A Formal ization of the C99 Standard in HOL, Isabelle and Coq
  30. Altmetric Badge
    Chapter 29 Krextor - An Extensible Framework for Contributing Content Math to the Web of Data
  31. Altmetric Badge
    Chapter 30 System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org
Attention for Chapter 27: Learning2Reason
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
4 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
Learning2Reason
Chapter number 27
Book title
Intelligent Computer Mathematics
Published by
Springer, Berlin, Heidelberg, July 2011
DOI 10.1007/978-3-642-22673-1_27
Book ISBNs
978-3-64-222672-4, 978-3-64-222673-1
Authors

Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes

Mendeley readers

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

Geographical breakdown

Country Count As %
Netherlands 1 25%
Colombia 1 25%
Unknown 2 50%

Demographic breakdown

Readers by professional status Count As %
Professor 1 25%
Student > Bachelor 1 25%
Student > Postgraduate 1 25%
Student > Ph. D. Student 1 25%
Readers by discipline Count As %
Computer Science 4 100%