Posts

Showing posts with the label Singular
Show all
Image

A comparison of heavy computations in Giac on various platforms

2 comments
Image

Unifying the prover in GeoGebra—and speeding it up

Post a Comment
Image

Hart's A-frame revisited

2 comments