Experimental Mathematics

GPTKB entity

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