Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic
|
| gptkbp:aimsTo |
discover mathematical patterns
formulate conjectures test mathematical hypotheses |
| gptkbp:conference |
gptkb:International_Conference_on_Experimental_Mathematics
|
| gptkbp:fieldOfStudy |
gptkb:mathematics
|
| gptkbp:focusesOn |
gptkb:data_visualization
symbolic computation numerical computation use of computational experiments |
| gptkbp:hasApplication |
discovering new mathematical identities
exploring mathematical structures finding counterexamples generating data for analysis testing mathematical conjectures verifying proofs |
| gptkbp:hasJournal |
gptkb:Experimental_Mathematics_(journal)
|
| gptkbp:hasMethod |
gptkb:Monte_Carlo_simulation
gptkb:data_visualization pattern recognition symbolic computation data mining randomized algorithms numerical computation computer-assisted proof empirical verification visualization techniques algorithmic experimentation automated conjecture generation exploratory computation graphical analysis symbolic manipulation |
| gptkbp:notableBook |
gptkb:Mathematics_by_Experiment
gptkb:Experimental_Mathematics:_Computational_Paths_to_Discovery gptkb:The_Experimental_Mathematician |
| gptkbp:notableFigure |
gptkb:Stan_Wagon
gptkb:George_Andrews gptkb:David_H._Bailey gptkb:Dorothy_Wallace gptkb:Jonathan_Borwein |
| gptkbp:relatedTo |
numerical analysis
computer algebra mathematical experimentation |
| gptkbp:uses |
gptkb:personal_computer
gptkb:data_visualization gptkb:statistical_analysis numerical computation software symbolic computation software |
| gptkbp:bfsParent |
gptkb:A_K_Peters
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Experimental Mathematics
|