List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formalizing the unexpected hanging paradox: a classical surprise Lecture Notes in Computer Science | 2024-01-16 | Paper |
| Formalizing abstract computability: Turing categories in Coq | 2019-11-12 | Paper |
| A study of Galerkin method for the heat convection equations Applied Mathematics and Computation | 2011-10-11 | Paper |
| A study of Galerkin method for the heat convection equations Applied Mathematics and Computation | 2011-10-11 | Paper |
| Convergence rate of Galerkin method for a certain class of nonlinear operator-differential equations Numerical Functional Analysis and Optimization | 2010-07-13 | Paper |
| Convergence estimates of a projection-difference method for an operator-differential equation Journal of Computational and Applied Mathematics | 2009-07-17 | Paper |
| Projection Method for Cauchy Problem for an Operator-Differential Equation Numerical Functional Analysis and Optimization | 2009-03-20 | Paper |
Research outcomes over time
This page was built for person: Polina Vinogradova
