Nikolaj N. jun. Vorob'ev

Available identifiers

zbMath Open vorobev.nikolai-n-junMaRDI QIDQ1190746

List of research outcomes

Publication	Date of Publication	Type
Effective Cylindrical Cell Decompositions for Restricted Sub-Pfaffian Sets	2022-03-10	Paper
Lecture notes on complexity of quantifier elimination over the reals	2021-12-01	Paper
Complexity of deciding whether a tropical linear prevariety is a tropical variety	2021-06-11	Paper
Upper bounds on Betti numbers of tropical prevarieties	2018-11-08	Paper
Orthogonal tropical linear prevarieties	2018-10-23	Paper
On irreducible components of real exponential hypersurfaces	2018-02-22	Paper
Topological lower bounds for arithmetic networks	2017-10-18	Paper
On topological lower bounds for algebraic computation trees	2017-05-05	Paper
New complexity bounds for cylindrical decompositions of sub-pfaffian sets	2017-02-03	Paper
Lower bounds on testing membership to a polyhedron by algebraic decision trees	2016-09-01	Paper
Triangulations of monotone families I: two-dimensional families	2015-12-18	Paper
Reachability in One-Dimensional Controlled Polynomial Dynamical Systems	2015-12-07	Paper
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute	2015-11-26	Paper
A Helly-type theorem for semi-monotone sets and monotone maps	2014-01-24	Paper
Semi-monotone sets	2013-03-07	Paper
Monotone functions and maps	2013-03-06	Paper
Toric cubes are closed balls	2012-02-24	Paper
Satisfiability of Viability Constraints for Pfaffian Dynamics	2010-02-02	Paper
Computing combinatorial types of trajectories in Pfaffian dynamics	2009-12-18	Paper
Approximation of definable sets by compact families, and upper bounds on homotopy and homology	2009-07-31	Paper
Bounds on sizes of finite bisimulations of Pfaffian dynamical systems	2009-05-08	Paper
On the number of homotopy types of fibres of a definable map	2008-01-16	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2007-06-21	Paper
Logical Approaches to Computational Barriers	2007-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q5692721	2005-09-28	Paper
Computer Science Logic	2005-08-22	Paper
Betti numbers of semialgebraic sets defined by quantifier-free formulae	2005-04-28	Paper
BETTI NUMBERS OF SEMIALGEBRAIC AND SUB-PFAFFIAN SETS	2004-06-14	Paper
Complexity of cylindrical decompositions of sub-Pfaffian	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4542567	2002-08-01	Paper
The complexification and degree of a semi-algebraic set.	2002-06-18	Paper
Complexity of Null- and Positivstellensatz proofs	2002-03-13	Paper
Complexity of computing the local dimension of a semialgebraic set	2000-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4252710	2000-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4227319	1999-04-22	Paper
Complexity lower bounds for computation trees with elementary transcendental function gates	1997-09-09	Paper
Lower bound on testing membership to a polyhedron by algebraic decision and computation trees	1997-03-23	Paper
Complexity of stratifications of semi-Pfaffian sets	1995-08-01	Paper
Complexity of finding irreducible components of a semialgebraic set	1995-04-05	Paper
Finding irreducible components of some real transcendental varieties	1994-09-01	Paper
Deciding consistency of systems of exponential-polynomial inequalities in subexponential time	1993-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4037369	1993-05-18	Paper
Counting connected components of a semialgebraic set in subexponential time	1993-04-01	Paper
Finding connected components of a semialgebraic set in subexponential time	1992-09-27	Paper
Finding connected components of a semialgebraic set in subexponential time	1992-09-27	Paper
The complexity of deciding consistency of systems of polynomials in exponent inequalities	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3973352	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3980333	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3971133	1992-06-25	Paper
Solving systems of polynomial inequalities over a real closed field in subexponential time	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3364033	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3485804	1989-01-01	Paper
Solving systems of polynomial inequalities in subexponential time	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733314	1988-01-01	Paper
Estimates of real roots of a system of algebraic equations	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3746798	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336589	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3966184	1982-01-01	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: Nikolaj N. jun. Vorob'ev