Edit Profile (opens in new tab) Smirnov, Aleksey Compute Distance To: Compute Author ID: smirnov.aleksey Published as: Smirnov, Aleksey External Links: MGP Documents Indexed: 5 Publications since 1988 1 Contribution as Editor Co-Authors: 1 Co-Author with 1 Joint Publication all top 5 Co-Authors 1 single-authored 1 Balagin, W. 1 Cotti, U. 1 Dolgii, A. B. 1 Jeannerot, Rachel 1 Kowaltschuk, G. 1 Kryazhimskiĭ, Arkadiĭ Viktorovich 1 Mjsnikow, S. 1 Novodvorsky, Aleksey 1 Obersteiner, Michael 1 Othizerow, D. 1 Rewotjuk, M. 1 Senjanović, Goran 1 Starich, W. Serials 2 Journal of Applied Non-Classical Logics 1 Computers and Fluids 1 Applied Mathematics and Computation 1 Automatisierungstechnik all top 5 Fields 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year Citations contained in zbMATH Open 2 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ LES of bubble dynamics in wake flows. Zbl 1098.76557Smirnov, A.; Celik, I.; Shi, S. 3 2005 A shell for generic interactive proof search. Zbl 0955.03503Novodvorsky, Aleksey; Smirnov, Aleksey 1 1998 LES of bubble dynamics in wake flows. Zbl 1098.76557Smirnov, A.; Celik, I.; Shi, S. 3 2005 A shell for generic interactive proof search. Zbl 0955.03503Novodvorsky, Aleksey; Smirnov, Aleksey 1 1998 Cited by 2 Authors 1 Petrukhin, Yaroslav Igorevich 1 Shangin, Vasily Cited in 1 Serial 1 European Journal of Mathematics Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year