7 citations · 19 across the 15 of their papers we have counts for
1 paper · 1 filter
Peter Reid, Ruben Gamboa
The foundational theory of differentiation was developed as part of the original release of ACL2(r). In work reported at the last ACL2 Workshop, we presented theorems justifying th…