↓ Skip to main content

Automated Reasoning

Overview of attention for book
Cover of 'Automated Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
  3. Altmetric Badge
    Chapter 2 A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)
  4. Altmetric Badge
    Chapter 3 Practical Proof Search for Coq by Type Inhabitation
  5. Altmetric Badge
    Chapter 4 Quotients of Bounded Natural Functors
  6. Altmetric Badge
    Chapter 5 Trakhtenbrot’s Theorem in Coq
  7. Altmetric Badge
    Chapter 6 Deep Generation of Coq Lemma Names Using Elaborated Terms
  8. Altmetric Badge
    Chapter 7 Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs
  9. Altmetric Badge
    Chapter 8 Validating Mathematical Structures
  10. Altmetric Badge
    Chapter 9 Teaching Automated Theorem Proving by Example: PyRes 1.2
  11. Altmetric Badge
    Chapter 10 Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
  12. Altmetric Badge
    Chapter 11 Formalizing the Face Lattice of Polyhedra
  13. Altmetric Badge
    Chapter 12 Algebraically Closed Fields in Isabelle/HOL
  14. Altmetric Badge
    Chapter 13 Formalization of Forcing in Isabelle/ZF
  15. Altmetric Badge
    Chapter 14 Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL
  16. Altmetric Badge
    Chapter 15 Formal Proof of the Group Law for Edwards Elliptic Curves
  17. Altmetric Badge
    Chapter 16 Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation
  18. Altmetric Badge
    Chapter 17 Verified Approximation Algorithms
  19. Altmetric Badge
    Chapter 18 Efficient Verified Implementation of Introsort and Pdqsort
  20. Altmetric Badge
    Chapter 19 A Fast Verified Liveness Analysis in SSA Form
  21. Altmetric Badge
    Chapter 20 Verification of Closest Pair of Points Algorithms
  22. Altmetric Badge
    Chapter 21 A Polymorphic Vampire
  23. Altmetric Badge
    Chapter 22 N-PAT: A Nested Model-Checker
  24. Altmetric Badge
    Chapter 23 HYPNO : Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
  25. Altmetric Badge
    Chapter 24 Implementing Superposition in iProver (System Description)
  26. Altmetric Badge
    Chapter 25 MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)
  27. Altmetric Badge
    Chapter 26 Make E Smart Again (Short Paper)
  28. Altmetric Badge
    Chapter 27 Automatically Proving and Disproving Feasibility Conditions
  29. Altmetric Badge
    Chapter 28 mu-term : Verify Termination Properties Automatically (System Description)
  30. Altmetric Badge
    Chapter 29 ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
  31. Altmetric Badge
    Chapter 30 The Imandra Automated Reasoning System (System Description)
  32. Altmetric Badge
    Chapter 31 A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)
  33. Altmetric Badge
    Chapter 32 Sequoia: A Playground for Logicians
  34. Altmetric Badge
    Chapter 33 Prolog Technology Reinforcement Learning Prover
Attention for Chapter 1: Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
Altmetric Badge

Citations

dimensions_citation
1 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.
Chapter title
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
Chapter number 1
Book title
Automated Reasoning
Published by
Springer, Cham, July 2020
DOI 10.1007/978-3-030-51054-1_1
Book ISBNs
978-3-03-051053-4, 978-3-03-051054-1
Authors

Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi, Affeldt, Reynald, Cohen, Cyril, Kerjean, Marie, Mahboubi, Assia, Rouhling, Damien, Sakaguchi, Kazuhiko