3 citations · 4 across the 3 of their papers we have counts for
1 paper · 2 filters
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…