31 citations · 59 across the 5 of their papers we have counts for
1 paper · 1 filter
Florian Rabe, Michael Kohlhase
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But suc…