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

Mentioned by

twitter
3 tweeters
wikipedia
2 Wikipedia pages
reddit
1 Redditor

Citations

dimensions_citation
6 Dimensions
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
Springer Berlin Heidelberg, July 2011
DOI 10.1007/978-3-642-22673-1
ISBNs
978-3-64-222672-4, 978-3-64-222673-1
Editors

Davenport, James H., Farmer, William M., Urban, Josef, Rabe, Florian, Davenport, James H., Farmer, William M., Urban, Josef, Rabe, Florian

Twitter Demographics

The data shown below were collected from the profiles of 3 tweeters who shared this research output. Click here to find out more about how the information was compiled.