Edit Profile Shrivastava, Ankit Compute Distance To: Compute Author ID: shrivastava.ankit Published as: Shrivastava, A.; Shrivastava, Ankit Documents Indexed: 3 Publications since 2002, including 1 Book Co-Authors 0 single-authored 1 Saha, Arun K. Serials 1 Sādhanā Fields 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 10 times in 10 Documents Cited by ▼ Year ▼ Partial instantiation methods for inference in first-order logic. Zbl 0995.03010Hooker, J. N.; Rago, G.; Chandru, V.; Shrivastava, A. 7 2002 Suppression of vortex shedding around a square cylinder using blowing. Zbl 1322.76035Saha, Arun K.; Shrivastava, Ankit 3 2015 Suppression of vortex shedding around a square cylinder using blowing. Zbl 1322.76035Saha, Arun K.; Shrivastava, Ankit 3 2015 Partial instantiation methods for inference in first-order logic. Zbl 0995.03010Hooker, J. N.; Rago, G.; Chandru, V.; Shrivastava, A. 7 2002 all top 5 Cited by 25 Authors 2 Lynch, Christopher A. 2 Tinelli, Cesare 1 Barrett, Clark W. 1 Baumgartner, Peter 1 Choudhary, Aniruddha 1 Feng, Lihao 1 Ge, Yeting 1 Guan, M. Z. 1 Gupta, Abhinav 1 He, Xi 1 Hussain, Abdul-Aziz A. 1 Jacobs, Swen 1 Jaiman, Rajeev Kumar 1 Korovin, Konstantin 1 Letz, Reinhold 1 Ma, Pengfei 1 McGregor, Ralph Eric 1 Narendran, K. 1 Qu, Yuan 1 Saha, Arun K. 1 Stenz, Gernot 1 Ta, Quang-Trung 1 Tran, Duc-Khanh 1 Waldmann, Uwe 1 Wang, Jinjun all top 5 Cited in 6 Serials 3 Journal of Automated Reasoning 1 Artificial Intelligence 1 Computers and Fluids 1 Journal of Fluid Mechanics 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Mechanics. B. Fluids Cited in 4 Fields 7 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 Fluid mechanics (76-XX) 1 Numerical analysis (65-XX) Citations by Year