1 paper
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…