1 paper · 1 filter
Joseph Corneli, Ursula Martin, Dave Murray-Rust +2
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences…