Statements (52)
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 |
https://www.w3.org/2000/01/rdf-schema#label |
Experimental Mathematics
|
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 statistical analysis numerical computation software symbolic computation software |
gptkbp:bfsParent |
gptkb:A_K_Peters
gptkb:Jonathan_M._Borwein |
gptkbp:bfsLayer |
6
|