Skip to main content
Search
Search This Blog
kovzol's blog
Zoltán Kovács's weblog. Updated... khm... not so regularly...
Posts
Showing posts with the label
Automated Reasoning Tools
Show all
May 01, 2019
JGEX has been open sourced
January 09, 2019
A comparison of heavy computations in Giac on various platforms
January 03, 2019
Unifying the prover in GeoGebra—and speeding it up
September 25, 2018
China photos
August 23, 2018
Hart's A-frame revisited
July 10, 2018
Notes on video editing
May 19, 2018
Preloading CAS in GeoGebra applets
May 16, 2018
So you wanna be a Japanese cook... I'd like to be one!
Older Posts
Home
