|
|
|
Personal Data |
Kornyak Vladimir Vasilievich, |
|
|
Doctor of Science (Phys. and Math.), |
|
Leading Researcher of the Laboratory of Information Technologies, JINR |
|
|
Born: |
September 15, 1948, in Khabarovsk (the Far East of Russia) |
Citizenship: |
Russia |
|
|
Education |
|
|
M.S. in spacecraft and rocket design, Moscow Institute of Physics and Technology, 1973
Candidate of Physics and Mathematics (Ph.D) in theoretical and mathematical physics, Institute of Physics of Byelorussian Academy of Sciences, 1986. “Application of Computer for Investigating Symmetry Properties of Certain Equations of Theoretical Physics”.
Doctor of Physics and Mathematics (D.Sc) in mathematics and computer science, JINR, 2001. “Methods of Noncommutative Computer Algebra for Investigating Certain Models of Theoretical Physics”. |
|
|
|
Positions |
|
|
|
|
|
1973-1979 |
Junior researcher, Pacific Institute of Geography, Far Eastern branch of Academy of Sciences of USSR, Vladivostok. |
1979-1980 |
Lecturer, Department of Mathematical Modelling, Kuban State University, Krasnodar. |
1980-1981 |
Junior researcher, Department of Biologically Active Matters, Kuban State University, Krasnodar. |
1981 |
Junior researcher, Geophysical association “Soyuzmorgeo”, Krasnodar |
1981-1985 |
Senior engineer-programmer, Geophysicist, Trust “Soyuzgazgeofizika”, Kimry, Tver region. |
1986 |
Senior engineer, Main Astronomical Observatory, Academy of Sciences of UkSSR, Kiev. |
1986-1987 |
Junior researcher, Institute of Automation, Kiev. |
1987-1994 |
Researcher, Institute of Mathematics, Academy of Sciences of UkSSR, Kiev. |
1994-2000 |
Senior researcher, LIT, JINR. |
2000 – present |
Leading researcher, LIT, JINR. |
|
|
|
Scientific Interests |
|
|
|
|
- Computer Algebra,
- Symbolic and Algebraic Computation,
- Symmetry Analysis of Differential Equations,
- Asymptotic Spectral Invariants of Differential Operators on Curved Manifolds in the Presence of Gauge Fields,
- Finitely Presented Lie Algebras and Superalgebras,
- Cohomology of Finite and Infinite Dimensional Lie (Super)algebras,
- Design and Implementation of Algorithms for Working with Complicated Mathematical Objects Used in the Modern Mathematics and Mathematical and Theoretical Physics.
|
|
|
Results of scientific activities have been presented in more than 70 publications.
Some articles:
- Discrete dynamical models: combinatorics, statistics and continuum approximations. Mathematical Modelling
and Geometry 2015, Vol. 3, No. 1, pp. 1-24; URL: http://mmg.tversu.ru/images/publications/2015-vol3-n1/Kornyak-2015-01-05.pdf.
- Classical and quantum discrete dynamical systems. Phys. Part. Nucl. 2013, Vol. 44, No. 1, pp. 47-91
(http://arxiv.org/abs/1208.5734 contains more adequate English translation and text in Russian).
- Quantum mechanics and permutation invariants of finite groups.
J. Phys. 2013: Conf. Ser. Vol. 442 012050 doi:10.1088/1742-6596/442/1/012050.
- Permutation interpretation of quantum mechanics. J. Phys. 2012: Conf. Ser. Vol. 343 012059 doi:10.1088/1742-6596/343/1/012059.
- Symmetries and Dynamics of Discrete Systems. Computer Algebra in Scientific Computing 2007, LNCS 4770, V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov (Eds.), Springer-Verlag Berlin Heidelberg 2007, 236-251; URL: http://ru.arxiv.org/abs/0706.3646 .
- Cellular Automata with Symmetric Local Rules. Computer Algebra in Scientific Computing 2006, LNCS 4194, V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov (Eds.), Springer-Verlag Berlin Heidelberg 2006, 240-250; URL: http://arXiv.org/abs/math-ph/0605040 .
- Discrete Relations On Abstract Simplicial Complexes. Programming and Computer Software, Vol. 32, No. 2, 2006, pp. 1–6.
- On Compatibility of Discrete Relations. Computer Algebra in Scientific Computing 2005, LNCS 3718, V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov (Eds.), Springer-Verlag Berlin Heidelberg 2005, 272-284; URL: http://arXiv.org/abs/math-ph/0504048 .
- Asymptotic Spectral Invariants of Differential Operators on Curved Manifolds: Computer Algebra Approach. Focus on Numerical Analysis, Editors: J.P. Liu, Nova Science Publishers, NY, 2005, pp. 1-25.
- Cohomologies of Restricted Lie Algebras of Hamiltonian Vector Fields: Computer Analysis. Programming and Computer Software, Vol. 31, No. 2, 2005, pp. 87–90.
- On the Structure of Cohomology of Hamiltonian p-Algebras, Computer Algebra in Scientific Computing, CASC 2004, TUM, München, 2004, 307-311. URL: http://arxiv.org/abs/math.RT/0404247
- Modular Algorithm for Computing Cohomology: Lie Superalgebra of Special Vector Fields on (2|2)-dimensional Odd-Symplectic Superspace , Computer Algebra in Scientific Computing, CASC 2002, TUM, München, 2003, 227-240. URL: http://arxiv.org/abs/math.RT/0305155
- Computation of Cohomology of Lie Algebra of Hamiltonian Vector Fields by Splitting Cochain Complex into Minimal Subcomplexes, Computer Algebra in Scientific Computing, CASC 2002, TUM, München, 2002, 201-206
- Method of Splitting Cochain Complexes for Computing Cohomology of Lie (Super)algebra, Russian Journal "Programming and Computer Software", 2, 2002, 76-80.
- Heat Invariant E2 for Nonminimal Operator on Manifolds with Torsion, In: "Computer Algebra in Scientific Computing / CASC 2000", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.), Springer-Verlag, Berlin, 2000, pp.273-284. URL: http://arXiv.org/abs/math.SC/0004085.
- Computation of Cohomology of Lie Superalgebras of Vector Fields, International Journal of Modern Physics C, 11, 2, 2000, 397-414. URL: http://arXiv.org/abs/math.SC/0002210.
- (With V.P. Gusynin) DeWitt-Seeley-Gilkey Coefficients for Nonminimal Operators in Curved Space, Fundamentalnaya i Prikladnaya Matematika, 5, 3, 1999, 649-674. [Fundamental and Applied Mathematics] English version entitled Complete Computation of DeWitt-Seeley-Gilkey Coefficient E4 for Nonminimal Operator on Curved Manifolds see at URL: http://arXiv.org/abs/math.SC/9909145.
- Cohomology of Lie Superalgebras of Hamiltonian Vector Fields: Computer Analysis, In: "Computer Algebra in Scientific Computing / CASC 1999", V.G.Ganzha, E.W.Mayr, E.V.Vorozhtsov (Eds.), Springer-Verlag, Berlin, 1999, pp.241-249. URL: http://arXiv.org/abs/ math.SC/9906046.
- (With V.P. Gerdt) Construction of Finitely Presented Lie Algebras and Superalgebras, Journal of Symbolic Computation, 21, 3, 1996, 337-349.
- (With V.P. Gerdt) Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis, Journal of Nonlinear Mathematical Physics, v.2, No.3/4, 1995, 367-373.
- (With V.P. Gusynin) Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds, Journal of Symbolic Computation, 17, 3, 1994, 283-294.
- (With W.I. Fushchich) Computer Algebra Application for Determining Lie and Lie-Bäcklund Symmetries of Differential Equations, Journal of Symbolic Computation, 7, 6, 1989, 611-619.
- (With R.N. Fedorova) Determination of Lie-Bäcklund Symmetries of Differential Equations using FORMAC, Computer Physics Communications, 39, 1, 1986, 93-103.
- Classification of Subalgebras of Finite-dimensional Lie Algebras Using Computer, Proceedings of the Third International Conference on Computer Algebra and its Applications to Theoretical Physics (Dubna, September 17-20, 1985), JINR D11-85-791, Dubna, 1985, 339-344.
- (With W.I. Fushchich) Computer-aided Determination of Non-local Symmetries of Systems of Linear Equations of Mathematical Physics, Proceedings of the Third International Conference on Computer Algebra and its Applications to Theoretical Physics (Dubna, September 17-20, 1985), JINR D11-85-791, Dubna, 1985, 345-350.
- (With V.P. Eliseev and R.N. Fedorova) A REDUCE Program for Determining Point and Contact Lie Symmetries of Differential Equations, Computer Physics Communications, 36, 4, 1985, 383-389.
- A Remark on the Baroclinic Instability of the Atmosphere, Izv. Akad. Nauk SSSR. Fiz. Atmosf. i Okeana 18, 9, 1982, 995-997. Bull. Acad. Sci. USSR. Physics of Atmosphere and Ocean.
- Wave Solutions of Quasigeostrophic Vorticity Equation, Izv. Akad. Nauk SSSR. Fiz. Atmosf. i Okeana 18, 5, 1982, 460-466. Bull. Acad. Sci. USSR. Physics of Atmosphere and Ocean.
|