Претрага по члановима комисија
Приказ резултата 1-2 од 2
-
Геодезијске линије и хиперповрши близу Келерове многострукости S3xS3 / Geodesic lines and hypersurfaces of the nearly Kähler manifold S3×S3
(Универзитет у Београду, Математички факултет, 19-04-2022) -
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017)