↓ Skip to main content
What is this page? Embed badge

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 Mathematical Theory Exploration in Theorema: Reduction Rings
  3. Altmetric Badge
    Chapter 2 Formalization of Bing’s Shrinking Method in Geometric Topology
  4. Altmetric Badge
    Chapter 3 $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
  5. Altmetric Badge
    Chapter 4 Formalization of Normal Random Variables in HOL
  6. Altmetric Badge
    Chapter 5 Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics
  7. Altmetric Badge
    Chapter 6 Accessing the Mizar Library with a Weakly Strict Mizar Parser
  8. Altmetric Badge
    Chapter 7 Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
  9. Altmetric Badge
    Chapter 8 Extracting Higher-Order Goals from the Mizar Mathematical Library
  10. Altmetric Badge
    Chapter 9 Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
  11. Altmetric Badge
    Chapter 10 Formal Dependability Modeling and Analysis: A Survey
  12. Altmetric Badge
    Chapter 11 Extending E Prover with Similarity Based Clause Selection Strategies
  13. Altmetric Badge
    Chapter 12 Enhancement of Mizar Texts with Transitivity Property of Predicates
  14. Altmetric Badge
    Chapter 13 Erratum to: Formal Dependability Modeling and Analysis: A Survey
Attention for Chapter 8: Extracting Higher-Order Goals from the Mizar Mathematical Library
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.