5 citations · 14 across the 11 of their papers we have counts for
1 paper · 1 filter
Walther Neuper
Software tools of Automated Reasoning are too sophisticated for general use in mathematics education and respective reasoning, while Lucas-Interpretation provides a general concept…