У Београду одржана водећа конференција у области рачунарски подржаног доказивања у геометрији

У периоду од 20. септембра до 22. септембра 2023. године, на Математичком факултету у Београду, одржана је четрнаеста међународна научна конференција Automated Deduction in Geometry (ADG 2023), са педесет учесника из једанаест земаља. У питању је водећа конференција у области рачунарски подржаног доказивања у геометрији. Конференција се одржава сваке друге године, а прво издање било је организовано 1996. године. Конференцију је отворио проф. Мирослав Марић, као председник Друштва математичара Србије.

У оквиру конференције ADG 2023, организована је и радионица на тему алата за геометријско резоновање у образовању, намењена наставницима математике. У овој радионици су учествовали наставници из више школа у Србији.

Више информација о конференцији ADG 2023 доступно је на адреси https://adg2023.matf.bg.ac.rs