На 5 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Reduction Calculus of Type-Theory of Acyclic Algorithms, II ще изнесе Русанка Луканова. Докладът ще бъде продължение на доклада, изнесен на 29.01.2021. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 05, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. In 1989, Moschovakis initiated a new theory of the mathematical notion of algorithm, within untyped, full recursion. In 2006, Moschovakis introduced the formal language of Type-Theory of Recursion (TTR), which models the notion of algorithm and concepts of meaning in […]

Секция МАТЕМАТИЧЕСКИ ОСНОВИ НА ИНФОРМАТИКАТА организира семинар по проект Алгебрични и геометрични методи за защита на данни, KП-06-Н32/2-2019 Доклади ще изнесат: Паскал Пиперков, докторант, ИМИ - БАН тема: Приложения на дискретни трансформации за пресмятане параметри на линеен код над съставно крайно поле Абстракт: Дискретните трансформации се свеждат до умножение на вектор с трансформационна матрица. В доклада са разгледани няколко дискретни трансформации, обобщения на трансформацията на Уолш-Адамар, приложени специфично за пресмятане на основни параметри на линеен код. Чрез следата някои разсъждения са сведени към простото подполе. Предложени са редуцирани трансформации, осигуряващи ефективност на изчисленията и спестяване на памет. Показана е връзката между разгледаните трансформации. Любомир Борисов, ИМИ - БАН тема: An efficient algorithm for computing the parity of order of elliptic curves over Fp Абстракт: […]

На 12 февруари 2021 г. (петък) от 16:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема On the Newton polytope of a Jacobian pair ще изнесе Leonid Makar-Limanov (Wayne State University, Detroit, USA and Weizmann Institute of Science, Rehovot, Israel). Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09  Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 12, 2021 04:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647 Резюме. First, I remind what is the Jacobian Conjecture and talk about some history related to it. Then I'll briefly explain what is the “shape” of a minimal counterexample to the conjecture. After that the Newton polytope related to […]

На 19 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Identities in Prime Rings ще изнесе Jose Brox (Centre for Mathematics of the University of Coimbra, Portugal). Резюме. Given a ring, a generalized polynomial identity (GPI) is a polynomial identity in which the coefficients can be taken from the ring. Prime rings are a class of rings very well suited to manage problems related to identities, as for example those coming from Herstein's theory, which is the study of nonassociative objects and structures arising from associative rings. After a motivating introduction to prime rings, with some examples from Herstein's theory, I will show the usefulness of Martindale's lemma, the key tool for […]

На 26 февруари 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема Номерационни степени: 60 години изследвания в областта ще изнесе Христо Ганчев (Факултет по математика и информатика, Софийски университет). Резюме. Ще направим обзор на едни от главните резултати и проблеми в номерационната сводимост – една от двете главни сводимости, използвани за сравняване на информационното съдържание в множества от естествени числа. Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка: https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09 Topic: Онлайн семинар на секция "Алгебра и логика" Time: Feb 26, 2021 01:00 PM Sofia Meeting ID: 851 3737 5021 Passcode: 035647     От секция „Алгебра и логика” на ИМИ – БАН http://www.math.bas.bg/algebra/seminarAiL/