Modelling the way mathematics is actually done

Joseph Corneli
Joseph Corneli
Ursula Martin
Ursula Martin
Raymond Puzio
Raymond Puzio
Gabriela Rino Nesin
Gabriela Rino Nesin

FARM@ICFP, pp. 10-19, 2017.

Cited by: 5|Bibtex|Views2|Links
EI

Abstract:

Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and qu...More

Code:

Data:

Your rating :
0

 

Tags
Comments