Evgenii Kotelnikov

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
Minimization of a quadratic function over a sphere	2015-10-12	Paper
Nonconvex minimization of a quadratic function over a sphere	2015-10-12	Paper
Minimization of nonlinear functions with linear constraints	2014-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q2880580	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q3115295	2012-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q3161923	2010-10-18	Paper
Organization of parallel calculations in some problems of discrete optimization	2010-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q3162002	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Evgenii Kotelnikov