Search Results - "automated theorem proving"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Aspects of the theory of containers within automated theorem proving

    Aspects of the theory of containers within automated theorem proving by Prince, Rawle C.S.

    Published 2011
    “…This thesis explores applications of the theory of containers within automated theorem proving. Container theory provides a foundational analysis of data types as containers, specified by a type $S$ of shapes and a function P assigning to each shape its set of positions for data.More importantly, a representation theorem guarantees that polymorphic functions between container data types are given by container morphisms, which are characterised by mappings between shapes and positions. …”
    Get full text
  2. 2
    A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach

    A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach by Natarajan, Surash

    Published 1994
    “…Ever since the first resolution based automated theorem proving system was developed on a computer in the mid 1960s, there has been constant research in this area on enhancing the problem solving process of the theorem provers. …”
    Get full text
    Get full text
  3. 3
    On the proof of the theorems of foundations of geometry using Isabelle/HOL

    On the proof of the theorems of foundations of geometry using Isabelle/HOL by Takahashi, Tadashi, Iwama, Fumiya

    Published 2022
    “…The purpose of this paper is “correctly” reconstruct the proofs as automated theorem proving. We are aiming to implement them “accurately” on Isabelle/ HOL and have done so for many of them. …”
    Get full text
    Get full text

Search Tools: