Mathematical insights as novel connections: Evidence from expert mathematicians.
Shadab TabatabaeianArtemisia DelunaDavid LandyTyler MarghetisPublished in: CogSci (2022)
Keyphrases
- automated theorem provers
- data mining
- computer scientists
- human experts
- belief functions
- expert knowledge
- empirical evidence
- databases
- theoretical insights
- knowledge acquisition
- computer science
- artificial neural networks
- information systems
- mathematical models
- computer vision
- artificial intelligence
- evidential reasoning
- mathematical expressions
- dempster shafer theory
- genetic algorithm
- machine learning