Събития

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 28.02.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom на https://us02web.zoom.us/j/86360173424?pwd=WU8vaWlzb2dqc0hNU1gzTUQ1SXpDUT09 Meeting ID: 863 6017 3424    Passcode: 701022 Доклад на тема Приносът на Световната федерация за национални математически състезания (WFNMC) за развитие на математическото образование ще изнесе проф. Кирил Банков.

На 11 март 2022 г. (петък) от 14:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Multi-summation in difference rings and applications ще изнесе Carsten Schneider (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria). Резюме. Symbolic summation in difference fields started with Karr's summation algorithm (1981) which can be considered as the discrete version of Risch's indefinite integration algorithm in differential fields. In the last 20 years this approach has been generalized and enhanced to a constructive summation theory of difference rings. In general, one can represent algorithmically any expression in terms of indefinite nested sums defined over hypergeometric products in such rings. As a crucial by-product one obtains optimal representations where the arising sums [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 14.03.2022 г. от 14:30 ч. присъствено в зала 278 на ИМИ и дистанционно в Zoom на https://us02web.zoom.us/j/84999372384?pwd=b2dGNHpDMVV2eHZEMjhOY3VMRDIyUT09 Meeting ID: 849 9937 2384    Passcode: 489610 Доклад на тема Една малко позната страна на афинните преобразования ще изнесе доц. Бойко Банчев.

На 18 март 2022 г. (петък) от 16:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Absorbing ideal structures of commutative rings ще изнесе Ece Yetkin Celikel (Hasan Kalyoncu University, Turkey). Резюме. Let R be a commutative ring with nonzero identity. As generalizations of prime ideals, the absorbing ideals were first defined and studied by A. Badawi in 2007. A proper ideal I of R is said to be 2-absorbing if whenever a, b, c ∈ R with abc ∈ I, then either ab ∈ I or ac ∈ I or bc ∈ I. After this date, many researches have been done to introduce various extensions of this concept. In this talk, we present some absorbing ideals [...]

На 24 март 2022 г. (четвъртък) от 14:00 часа ще се проведе семинар на секция "Математическо моделиране и числен анализ" в приложението Zoom. Dr. habil. Clemens Hofreither ще представи доклад на тема A Newton's method for best uniform rational approximation Абстракт. We present a novel algorithm, inspired by the recent BRASIL algorithm, for best uniform rational approximation based on a formulation of the problem as a nonlinear system of equations and barycentric interpolation. We derive a closed form for the Jacobian of the system of equations and formulate a Newton's method for its solution. The resulting method for best uniform rational approximation can handle singularities and arbitrary degrees for numerator and denominator. It typically converges globally and exhibits superlinear convergence in a neighborhood of the [...]

На 25 март 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: An Application of Separation in Discrete Time Interval Temporal Logic to Branching Time ще изнесе Димитър Гелев (ИМИ - БАН). Резюме. In this talk we make an application of our separation theorem for discrete time Interval Temporal Logic (ITL) to the study of Interval-based Computation Tree Logic (ICTL*). We prove that the expressibility of the expanding modalities and, most importantly, propositional quantification, carry over from linear time ITL to the branching time system of ICTL*. The relevance of this follows from the fact that point-based propositionally quantified CTL* (QCTL*) is the established intermediate language for temporal logics of agency as propositional [...]

Поредната сбирка на семинара Дидактическо моделиране ще се проведе на 28.03.2022 г. от 14:30 ч. присъствено в зала 478 на ИМИ и дистанционно в Zoom. Доклад на тема За мястото на ученическото творчество в часовете по математика в 4. клас ще изнесе ас. Невена Събева. Time: Mar 28, 2022 14:00 Sofia Join Zoom Meeting https://us02web.zoom.us/j/87086998237?pwd=QmRNN1hRZU0rNlg2aGozbnhRNVgxQT09 Meeting ID: 870 8699 8237  Passcode: 711085

Поредното заседание на Общия семинар на секция "Анализ, геометрия и топология" ще се проведе на 29 март 2022 г. от 13:30 часа в зала 478 на ИМИ - БАН. Доклад на тема: On Squeezing Function for Planar Domains ще изнесе Ahmed Yekta Ökten, Institut de Mathématiques de Toulouse, France. Поканват се всички интересуващи се. Резюме. Let Ω be a domain in ℂ? such that the set ?(Ω, ??) of injective holomorphic maps from Ω into the unit ball ?? ⊂ ℂ? is non-empty. The squeezing function of Ω, denoted by ?Ω is defined as ?Ω(?) = sup{? ∈ (0, 1): ??? ⊂ ?(Ω),      ? ∈ ?(Ω, ??),      ? (?) = 0}. It follows from the definition that the squeezing function is [...]

СЪЮЗ НА МАТЕМАТИЦИТЕ В БЪЛГАРИЯ ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА – БАН НАЦИОНАЛЕН КОЛОКВИУМ ПО МАТЕМАТИКА Поредната сбирка на Колоквиума ще се състои на 30 март 2022 г. (сряда) от 16:15 часа онлайн в Zoom: https://us02web.zoom.us/j/89769897829?pwd=MUEyOG9BbytSYjA3bCt6UEM5MlZ5Zz09 Meeting ID: 897 6989 7829               Passcode: 466950 Доклад на тема: Асимптотика на дисипативни собствени значения и приложения в проблеми на разсейване ще изнесе проф. Веселин Петков, Институт по математика, Университет на Бордо. Абстракт   Поканват са всички интересуващи се.

На 1 април 2022 г. (петък) от 13:00 ч. ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Automorphisms of simple quotients of the Poisson and universal enveloping algebras of sl_2 ще изнесе Altyngul Naurazbekova (L. N. Gumilyov Eurasian National University, Nur-Sultan, Kazakhstan). Резюме. Let P(sl_2(K)) be the Poisson enveloping algebra of the Lie algebra sl_2(K) over an algebraically closed field K of characteristic zero. U. Umirbaev, V. Zhelyabin proved that the quotient algebras P(sl_2(K))/(C_P - λ), where C_P is the standard Casimir element of sl_2(K) in P(sl_2(K)) and 0 ≠ λ ∈K, are simple. Using a result by L. Makar-Limanov on groups of automorphisms of a class of surfaces, we describe generators of the automorphism group of P(sl_2(K))/(C_P [...]