Skip to main content

Search This Blog

kovzol's blog

Zoltán Kovács's weblog. Updated... khm... not so regularly...

Posts

Showing posts with the label Spain

January 03, 2019

Unifying the prover in GeoGebra—and speeding it up

Get link
Facebook
X
Pinterest
Email
Other Apps

Back from Barcelona

Get link
Facebook
X
Pinterest
Email
Other Apps

Older Posts Home

Powered by Blogger

Theme images by Matt Vince

Zoltán Kovács

Archive

2020 1
- February 1
  - XaoS 4.0pre4 is out

2019 7
- May 4
- April 1
- January 2
2018 11
- October 1
- September 1
- August 2
- July 1
- May 6
2008 1
- August 1

Show more Show less

Labels

Annapolis1
Automated Geometer2
Automated Reasoning Tools8
Barcelona1
Budapest1
China2
CindyJS1
GeoGebra15
Giac7
Honza2

inversion1
JetBrains3
LaTeX1
LEGO2
linkages2
Linux1
Maple1
node.js2
Qt3
Raspberry Pi2
Singular3
Spain2
Ubuntu1
WebAssembly1
XaoS3

Show more Show less

Report Abuse