19 citations · 37 across the 5 of their papers we have counts for
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…