Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:focusesOn |
pattern discovery
use of computational experiments conjecture formulation |
| gptkbp:goal |
testing mathematical conjectures
discovering new mathematical phenomena providing evidence for mathematical statements |
| gptkbp:hasMethod |
gptkb:machine_learning
gptkb:Monte_Carlo_methods gptkb:simulation data analysis statistical analysis automated theorem proving symbolic computation randomized algorithms sequence analysis computer-assisted proof empirical verification pattern matching symbolic summation algorithmic experimentation automated conjecture generation exploratory computation symbolic integration graphical representation combinatorial enumeration interactive computation high-precision arithmetic counterexample search graphical exploration integer relation algorithms integer sequence analysis symbolic regression visual pattern recognition visualization of mathematical objects |
| https://www.w3.org/2000/01/rdf-schema#label |
Experimental mathematics
|
| gptkbp:notableFigure |
gptkb:Doron_Zeilberger
gptkb:David_H._Bailey gptkb:Jonathan_Borwein |
| gptkbp:publishedIn |
gptkb:Experimental_Mathematics_(journal)
The Experimental Mathematician (book) |
| gptkbp:relatedTo |
gptkb:mathematical_concept
computational mathematics mathematical experimentation |
| gptkbp:uses |
gptkb:data_visualization
computer algebra systems symbolic computation numerical computation |
| gptkbp:bfsParent |
gptkb:Laboratories_in_Mathematical_Experimentation
|
| gptkbp:bfsLayer |
8
|