GeoGebra adalah program perangkat lunak matematika interaktif untuk pembelajaran dan pengajaran matematika dan sains dari tingkat sekolah dasar hingga universitas. Konstruksi dapat dibuat dengan titik, vektor, segmen, garis, poligon, bagian kerucut, pertidaksamaan, polinomial implisit, dan fungsi. Semuanya dapat diubah secara dinamis setelahnya. Elemen dapat dimasukkan dan dimodifikasi secara langsung melalui mouse dan sentuhan, atau melalui Input Bar. GeoGebra memiliki kemampuan untuk menggunakan variabel bilangan, vektor dan titik, menemukan turunan dan integral fungsi serta memiliki perintah yang lengkap seperti Root atau Extremum. Guru dan siswa dapat menggunakan GeoGebra untuk membuat dugaan dan memahami cara membuktikan teorema geometri.