29 citations · 53 across the 9 of their papers we have counts for
1 paper · 2 filters
Davide Rattacaso, Daniel Jaschke, Marco Ballarin +2
As a cornerstone of automated reasoning, equational reasoning finds equivalences between symbolic expressions and fuels advances across scientific disciplines. Yet, its potential r…