Automatic Construction and Axioms of a Dependency Graph of Mathematical Knowledge - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Automatic Construction and Axioms of a Dependency Graph of Mathematical Knowledge Доклады на конференциях

Язык

Английский

Тип доклада

Пленарный

Url доклада

https://web.stevens.edu/algebraic/tbilisi2024/index.php?page=program

Конференция

International Workshop "Algebraic Geometry and Model Theory of Groups II"
25 авг. - 3 сент. 2024 , Ivane Javakhishivili Tblilisi State University

Авторы

Buchinskiy I.M. ¹

Организации

1	Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

Buchinskiy I.M.
Automatic Construction and Axioms of a Dependency Graph of Mathematical Knowledge
International Workshop "Algebraic Geometry and Model Theory of Groups II" 25 Aug - 3 Sep 2024