\textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646)

From MaRDI portal
Revision as of 06:02, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
\textit{Theorema}: Towards computer-aided mathematical theory exploration
scientific article

    Statements

    title
    \textit{Theorema}: Towards computer-aided mathematical theory exploration (English)
    0 references
    author
    Bruno Buchberger
    0 references
    Adrian Crǎciun
    0 references
    Tudor Jebelean
    0 references
    Laura Kovács
    0 references
    Temur Kutsia
    0 references
    Koji Nakagawa
    0 references
    Florina Piroi
    0 references
    Nikolaj Popov
    0 references
    Judit Robu
    0 references
    Markus Rosenkranz
    0 references
    Wolfgang Windsteiger
    0 references
    publication date
    20 February 2007
    0 references
    zbMATH Keywords
    mathematical assistant
    0 references
    automated reasoning
    0 references
    theory exploration
    0 references
    ``lazy thinking''
    0 references
    describes a project that uses
    Coq
    0 references
    Waldmeister
    0 references
    Bliksem
    0 references
    Mathematica
    0 references
    SPASS
    0 references
    TPTP
    0 references
    E Theorem Prover
    0 references
    OTTER
    0 references
    SETHEO
    0 references
    Theorema
    0 references
    Nuprl
    0 references
    OMDoc
    0 references
    LOUI
    0 references
    cites work
    Q2902935
    0 references
    Q3714165
    0 references
    Q4385444
    0 references
    Q4394946
    0 references
    Q4499159
    0 references
    Q4780208
    0 references
    Q5699466
    0 references
    Q3021905
    0 references
    Q2847391
    0 references
    Q2751543
    0 references
    Q4226993
    0 references
    Q4377762
    0 references
    Q5848416
    0 references
    Q4079605
    0 references
    Q4144755
    0 references
    Q4459895
    0 references
    Q5781389
    0 references
    Q2751547
    0 references
    Q4727657
    0 references
    Q4447245
    0 references
    Q3995530
    0 references
    Q4115244
    0 references
    Q4815329
    0 references
    Q3150301
    0 references
    Q4934624
    0 references
    Q3853967
    0 references
    Q3685233
    0 references
    Q4413894
    0 references
    Q4433984
    0 references

    Identifiers

    zbMATH DE Number
    5128348
    0 references
    OpenAlex ID
    W2133093325
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q865646&oldid=38510232"
    Powered by MediaWiki