Machine learning guidance for connection tableaux (Q2031418)

From MaRDI portal
Revision as of 22:18, 25 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Machine learning guidance for connection tableaux
scientific article

    Statements

    title
    Machine learning guidance for connection tableaux (English)
    0 references
    author
    Michael Färber
    0 references
    Cezary Kaliszyk
    0 references
    Josef Urban
    0 references
    publication date
    9 June 2021
    0 references
    zbMATH Keywords
    connection tableaux
    0 references
    internal guidance
    0 references
    Monte Carlo
    0 references
    describes a project that uses
    ILTP
    0 references
    TPTP
    0 references
    HOL Light
    0 references
    MaLeCoP
    0 references
    Agda
    0 references
    ileanCoP
    0 references
    leanCoP
    0 references
    Flyspeck
    0 references
    MaLARea
    0 references
    FEMaLeCoP
    0 references
    Holophrasm
    0 references
    HOL
    0 references
    SETHEO
    0 references
    MPTP
    0 references
    MML
    0 references
    kepler98
    0 references
    Isabelle
    0 references
    VAMPIRE
    0 references
    Metis_
    0 references
    MaSh
    0 references
    HOLyHammer
    0 references
    leanTAP
    0 references
    E Theorem Prover
    0 references
    randoCoP
    0 references
    nanoCoP
    0 references
    MleanCoP
    0 references
    DeepMath
    0 references
    ENIGMA
    0 references
    cites work
    Q4282596
    0 references
    Matings in matrices
    0 references
    Q4692618
    0 references
    Q4003525
    0 references
    Hammering towards QED
    0 references
    Q4263014
    0 references
    Q2751354
    0 references
    HOL Light: An Overview
    0 references
    Q5772177
    0 references
    MizAR 40 for Mizar 40
    0 references
    Q2751380
    0 references
    Q2751378
    0 references
    Q2724150
    0 references
    Q4797437
    0 references
    The Isabelle Framework
    0 references

    Identifiers

    zbMATH DE Number
    7356974
    0 references
    Wikidata QID
    Q108482096
    0 references
    OpenAlex ID
    W3083107390
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2031418&oldid=36688067"
    Powered by MediaWiki