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

From MaRDI portal
Changed an Item
Normalize DOI.
 
(7 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jal.2005.10.006 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: Theorema / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Nuprl / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: OMDoc / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: LOUI / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jal.2005.10.006 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2133093325 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical knowledge management in HELM / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program Development in Computational Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Challenge problems in elementary calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2902935 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714165 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385444 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4394946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499159 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4780208 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5699466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial Intelligence and Symbolic Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3021905 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2847391 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751543 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4226993 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4377762 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5848416 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4079605 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An abstract formalization of correct schemas for program synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated deduction - CADE-16. 16th international conference, Trento, Italy, July 7--10, 1999. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedure for indefinite hypergeometric summation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Productive use of failure in inductive proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4459895 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5781389 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using Gröbner bases to reason about geometry problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751547 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Middle-out reasoning for synthesis and induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4727657 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4447245 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial Intelligence and Symbolic Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical Knowledge Management / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the application of Buchberger's algorithm to automated geometry theorem proving / rank
 
Normal rank
Property / cites work
 
Property / cites work: SETHEO: A high-performance theorem prover / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995530 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knowledge-based proof planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4115244 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4815329 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic Generation of Polynomial Loop Invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Artificial Intelligence and Symbolic Computation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new symbolic method for solving linear two-point boundary value problems on the level of operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3150301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: KI 2004: Advances in Artificial Intelligence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4934624 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3853967 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Differentiably finite power series / rank
 
Normal rank
Property / cites work
 
Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3685233 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4413894 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4433984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic principles of mechanical theorem proving in elementary geometries / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.JAL.2005.10.006 / rank
 
Normal rank

Latest revision as of 06:02, 10 December 2024

scientific article
Language Label Description Also known as
English
\textit{Theorema}: Towards computer-aided mathematical theory exploration
scientific article

    Statements

    \textit{Theorema}: Towards computer-aided mathematical theory exploration (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    20 February 2007
    0 references
    mathematical assistant
    0 references
    automated reasoning
    0 references
    theory exploration
    0 references
    ``lazy thinking''
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers