CoCoA,
Symbolic Computation and Satisfiability Checking are two research areas, both having their individual scientific focus but…
Intelligent Computer Mathematics
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Mathematical Theory Exploration in Theorema: Reduction Rings
-
Altmetric BadgeChapter 2 Formalization of Bing’s Shrinking Method in Geometric Topology
-
Altmetric BadgeChapter 3 $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
-
Altmetric BadgeChapter 4 Formalization of Normal Random Variables in HOL
-
Altmetric BadgeChapter 5 Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics
-
Altmetric BadgeChapter 6 Accessing the Mizar Library with a Weakly Strict Mizar Parser
-
Altmetric BadgeChapter 7 Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics
-
Altmetric BadgeChapter 8 Extracting Higher-Order Goals from the Mizar Mathematical Library
-
Altmetric BadgeChapter 9 Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
-
Altmetric BadgeChapter 10 Formal Dependability Modeling and Analysis: A Survey
-
Altmetric BadgeChapter 11 Extending E Prover with Similarity Based Clause Selection Strategies
-
Altmetric BadgeChapter 12 Enhancement of Mizar Texts with Transitivity Property of Predicates
-
Altmetric BadgeChapter 13 Erratum to: Formal Dependability Modeling and Analysis: A Survey
Attention for Chapter 3:
$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation