Journal of Symbolic Computation, Volume 97

Refine list

showing all ?? records

Volume 97, March 2020

Special issue on dynamic geometry and automated reasoning