Institute of Mathematics of the National Academy of Sciences of Ukraine (Ukrainian: Інститут математики Національної академії наук України) is a government-owned research institute in Ukraine that carries out basic research and trains highly qualified professionals in the field of mathematics.

[1] The perturbation theory of toroidal invariant manifolds of dynamical systems was developed here by academician M. M. Bogolyubov, Yu.

The theory's methods are used to investigate oscillation processes in broad classes of applied problems, in particular, the phenomena of passing through resonance and various bifurcations and synchronizations.

The school of the NAS academician A. V. Skorokhod investigated a broad range of problems related to random processes and stochastic differential equations.

Heuristic methods of phase lumping of complex systems were validated, important results in queuing theory and reliability theory were obtained, and a series of limit theorems for semi-Markov processes were proved by V. S. Korolyuk, academician of the NAS of Ukraine.