↓ 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 A Formalization of the Change of Variables Formula for Integrals in mathlib
  3. Altmetric Badge
    Chapter 2 On the Formalization of the Heat Conduction Problem in HOL
  4. Altmetric Badge
    Chapter 3 Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
  5. Altmetric Badge
    Chapter 4 Formalising Basic Topology for Computational Logic in Simple Type Theory
  6. Altmetric Badge
    Chapter 5 Formalising the Kruskal-Katona Theorem in Lean
  7. Altmetric Badge
    Chapter 6 Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis
  8. Altmetric Badge
    Chapter 7 Hall’s Theorem for Enumerable Families of Finite Sets
  9. Altmetric Badge
    Chapter 8 Graded Rings in Lean’s Dependent Type Theory
  10. Altmetric Badge
    Chapter 9 An Integrated Web Platform for the Mizar Mathematical Library
  11. Altmetric Badge
    Chapter 10 Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs
  12. Altmetric Badge
    Chapter 11 Re-imagining the Isabelle Archive of Formal Proofs
  13. Altmetric Badge
    Chapter 12 Injecting Formal Mathematics Into LaTeX
  14. Altmetric Badge
    Chapter 13 System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents
  15. Altmetric Badge
    Chapter 14 Lemmaless Induction in Trace Logic
  16. Altmetric Badge
    Chapter 15 Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms
  17. Altmetric Badge
    Chapter 16 Working with Families of Inverse Functions
  18. Altmetric Badge
    Chapter 17 Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification
  19. Altmetric Badge
    Chapter 18 Targeted Configuration of an SMT Solver
  20. Altmetric Badge
    Chapter 19 OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas
  21. Altmetric Badge
    Chapter 20 Experiments with Automated Reasoning in the Class
  22. Altmetric Badge
    Chapter 21 Learning to Reason Assisted by Automated Reasoning
  23. Altmetric Badge
    Chapter 22 Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR
  24. Altmetric Badge
    Chapter 23 An Evaluation of NLP Methods to Extract Mathematical Token Descriptors
  25. Altmetric Badge
    Chapter 24 CICM’22 System Entries
Attention for Chapter 14: Lemmaless Induction in Trace Logic
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X
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
Lemmaless Induction in Trace Logic
Chapter number 14
Book title
Intelligent Computer Mathematics
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-16681-5_14
Book ISBNs
978-3-03-116680-8, 978-3-03-116681-5
Authors

Bhayat, Ahmed, Georgiou, Pamina, Eisenhofer, Clemens, Kovács, Laura, Reger, Giles

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
 Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Unknown 1 100%
Readers by discipline Count As %
Agricultural and Biological Sciences 1 100%

This page is provided by Altmetric.