8 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
Jordan Meadows, André Freitas
Automating the derivation of published results is a challenge, in part due to the informal use of mathematics by physicists, compared to that of mathematicians. Following demand, w…