Analytica --- an experiment in combining theorem proving and symbolic computation (Q1272608)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analytica --- an experiment in combining theorem proving and symbolic computation
scientific article

    Statements

    Analytica --- an experiment in combining theorem proving and symbolic computation (English)
    0 references
    0 references
    0 references
    0 references
    29 June 1999
    0 references
    Analytica
    0 references
    theorem prover
    0 references
    Mathematica
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers