Modelling the way mathematics is actually done.

Joseph Corneli Ursula Martin Dave Murray-Rust Alison Pease Raymond Puzio Gabriela Rino Nesin

Published in: FARM@ICFP (2017)

Keyphrases

real time
neural network
clustering algorithm
computer science
real world
genetic algorithm
social networks
knowledge base
image segmentation
lower bound
computer algebra