Polina Vinogradova

Available identifiers

zbMath Open vinogradova.polinaMaRDI QIDQ720644

List of research outcomes

Publication	Date of Publication	Type
Formalizing the unexpected hanging paradox: a classical surprise	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	2011-10-11	Paper
Convergence Rate of Galerkin Method for a Certain Class of Nonlinear Operator-Differential Equations	2010-07-13	Paper
Convergence estimates of a projection-difference method for an operator-differential equation	2009-07-17	Paper
Projection Method for Cauchy Problem for an Operator-Differential Equation	2009-03-20	Paper

Research outcomes over time

This page was built for person: Polina Vinogradova