+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: ARTFICIAL INTELLIGENCE (AI) (https://mklab.gr/forumdisplay.php?fid=5)
+---- Forum: COURSES-LECTURES (https://mklab.gr/forumdisplay.php?fid=38)
+---- Thread: Machine-Assisted Mathematics [Georgiev] (/showthread.php?tid=121)
Machine-Assisted Mathematics [Georgiev] - mklabgr - 06-06-2026
Lecture by Dr. Bogdan Georgievon| Machine-Assisted Mathematics, AI tools, applications and new horizons
LECTURE PAGE