Поисковый запрос: (<.>A=Blinkov, Yu. A.$<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
>1.
| Blinkov Yu. A. On computation of Boolean involutive bases./Ю. А. Блинков, В. П. Гердт // Polynomial Computer Algebra. -Saint-Petersburg, 2009.-С.17-24
|
>2.
| Blinkov Yu. A. Involution and Difference Schemes for the Navier-Stokes Equations/Yu. A. Blinkov, V. P. Gerdt // Computer Algebra in Scientific Computing. -Berlin:Springer Berlin / Heidelberg, 2009. т.Vol. 5743 :Lecture Notes in Computer Science.-С.94-105
|
>3.
| Gerdt V. P. On Computation of Boolean Involutive Bases/V. P. Gerdt, M. V. Zinin, Yu. A. Blinkov // Programming and Computer Software, 2010. т.Vol. 36,N № 2.-С.117-129
|
>4.
| Gerdt V. P. On Computation of Boolean Involutive Bases/V. P. Gerdt, M. V. Zinin, Yu. A. Blinkov // Programming and Computer Software, 2010. т.Т. 36,N № 2.-С.117-129
|
>5.
| Blinkov Yu. A. SAT problems solved with ZDD diagrams/Yu. A. Blinkov, P. V. Fokin // International Conference "Polynomial Computer Algebra", Saint-Petersburg, April, 2015 year. -Saint-Petersburg:Saint-Petersburg dep. of Steklov math. institute, 2015
|
>6.
| Blinkov Yu. A. Pairwise involutive division defined in terms of reduced monomial Grobner basis/Yu. A. Blinkov, V. P. Gerdt // International Conference Polynomial Computer Algebra '2015'. -Санкт-Петербург, 2015
|
>7.
| Blinkov Yu. A. Gerdt Package PyGInv/Yu. A. Blinkov, V. P. Gerdt // International Conference Polynomial Computer Algebra `2015, April 13-18, 2015, St. Petersburg, Russia. -Санкт-Петербург, 2015
|
>8.
| Gerdt V. P. Diference algebra aided discretization of quasilinear evolution equations/V. P. Gerdt, Yu. A. Blinkov, K. V. Marinov // Book of Abstracts of Conference on Applications of Computer Algebra. -Kassel:Springer, 2016.-С.130-134
|
>9.
| Blinkov Yu. A. Wave occurrences computer modeling in two geometrically non-linear elastic coaxial cylindrical shells, containing viscous incompressible liquid/Yu. A. Blinkov, L. I. Mogilevich, A. V. Mesyanzhin // Dynamics of system, mechanisms and machines (Dynamics). -Омск, 2016.-С.1-4
|
>10.
| Blinkov Yu. A. Difference algebra aided discretization of quasilinear evolution equation/Yu. A. Blinkov, V. P. Gerdt, K. V. Marinov // MathParCA-2016. -Тамбов:Тамбовского университета, 2016.-С.23-28
|
>11.
| Grobner basis driven construction of a new s-consistent difference approximation to Navier-Stokes equations/P. Amodio [и др.] // Book of Abstracts of Conference on Applications of Computer Algebra:Springer, 2016.-С.134-137
|
>12.
| Blinkov Yu. A. Computer algebra aided generation of difference approximations to quasilinear evolution equations/Yu. A. Blinkov, V. P. Gerdt, K. V. Marinov // International Conference Polynomial Computer Algebra'2016. -Saint-Petersburg:Издательство ВВМ, 2016.-С.27-30
|
>13.
| Blinkov Yu. A. Generation of finite-difference approximations to differential systems by using the package sympy/Yu. A. Blinkov, V. P. Gerdt, A. V. Mesyanzhin // International Conference Polynomial Computer Algebra'2016. -Санкт-Петербург:Издательство ВВМ, 2016.-С.25-26
|
>14.
| Fokin P. V. Sympy-ready algorithm for solving sat problems using algebraic approach and zdds/P. V. Fokin, Yu. A. Blinkov // International Conference Polynomial Computer Algebra'2016 Russian Academy of Sciences. -Санкт-Петербург:Издательство ВВМ, 2016.-С.38-39
|
>15.
| Fokin P. V. SymPy-ready algorithm for solving SAT problems using algebraic approach and ZDDss/P. V. Fokin, Yu. A. Blinkov // International Conference Polynomial Computer Algebra'2016 Russian Academy of Sciences. -Санкт-Петербург, 2016.-С.38-39
|
|