Exploratory Experimentation: Digitally-Assisted Discovery and Proof (Q2915841)

From MaRDI portal
Revision as of 09:01, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Exploratory Experimentation: Digitally-Assisted Discovery and Proof
scientific article

    Statements

    Exploratory Experimentation: Digitally-Assisted Discovery and Proof (English)
    0 references
    19 September 2012
    0 references
    digitally-assisted discovery
    0 references
    digitally-assisted proof
    0 references
    mathematical computing packages
    0 references
    dynamic discovery
    0 references
    partial proof
    0 references
    knowledge without proof
    0 references

    Identifiers