↓ 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 12: Enhancement of Mizar Texts with Transitivity Property of Predicates
Altmetric Badge
Summary
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
Enhancement of Mizar Texts with Transitivity Property of Predicates
Chapter number 12
Book title
Intelligent Computer Mathematics
Published by
Springer, Cham, July 2016
DOI 10.1007/978-3-319-42547-4_12
Book ISBNs
978-3-31-942546-7, 978-3-31-942547-4
Authors

Artur Korniłowicz, Korniłowicz, Artur

View on publisher site

This page is provided by Altmetric.