Posts

Showing posts from January, 2019

A comparison of heavy computations in Giac on various platforms

Unifying the prover in GeoGebra—and speeding it up