Gabriela Rino Nesin

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Argumentation Theory

Clustering Algorithm

Computer Algebra

Top Venues

Publications

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease
Argumentation theory for mathematical argument. CoRR (2018)
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin
Modelling the way mathematics is actually done. FARM@ICFP (2017)