E. A. Kotel'nikov

Available identifiers

zbMath Open kotelnikov.evgeny-aMaRDI QIDQ1799101

List of research outcomes

Publication	Date of Publication	Type
A FOOLish encoding of the next state relations of imperative programs	2018-10-18	Paper
A First Class Boolean Sort in First-Order Theorem Proving and TPTP	2015-11-20	Paper
Nonconvex minimization of a quadratic function over a sphere	2015-10-12	Paper
Minimization of a quadratic function over a sphere	2015-10-12	Paper
Minimization of nonlinear functions with linear constraints	2014-04-07	Paper
Parallelization of some problems of discrete and non-convex optimization	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q3115295	2012-02-20	Paper
Applying a reduced gradient in quadratic programming	2010-10-18	Paper
Non-convex quadratic optimization on a parallelepiped	2010-10-18	Paper
Organization of parallel calculations in some problems of discrete optimization	2010-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q3556693	2010-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4677720	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4811945	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4429417	2003-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4242722	1999-05-11	Paper

Research outcomes over time

This page was built for person: E. A. Kotel'nikov