Конференция
Improvement of lower bounds for steps and sizes of proofs in Frege systems
Публикации
Конференция
Interval edge colorings of Hamming graphs
Конференция
On Interval Edge-Colorings of Bipartite Graphs
Конференция
On Interval Cyclic Colorings of Bipartite Graphs
Конференция
The proof complexities relations for strongly equal classical tautologies in Frege systems
Конференция
Some new proof systems for a version of many-valued logics and proof complexities in it
Конференция
On lower bounds for steps and sizes of proofs in Frege systems
Конференция
On the Length of the Minimal Testor for Some Class of Binary Tables
Конференция
On the Number of Solutions of Systems of Equations with not everywhere defined Boolean Functions
Конференция
On solvability of a Dirichlet problem with the boundary function in L2 for the second-order elliptic equation
Конференция
О разрешимости задачи Дирихле для эллиптического уравнения второго порядка
Конференция
О задаче Дирихле для эллиптического уравнения второго порядка
Конференция
On solvability of Dirichlet problem for general second order elliptic equation
Конференция
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Конференция
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Конференция
О разрешимости задачи Дирихле для общего эллиптического уравнения второго порядка
Конференция
Progress on the Gasca-Maeztu Conjecture
Конференция
On multivariate segmental interpolation problem . . . . . . . . . . . . . . . . . . . . . . .
Конференция
The implicit function theorem for a system of inequalities
Конференция
О необходимых условиях экстремума для негладких функций
