Anatoly Petrivich Beltiukov

Available identifiers

zbMath Open beltyukov.anatolii-petrovichMaRDI QIDQ1885029

List of research outcomes

Publication	Date of Publication	Type
Refinement of the results of recognition of mathematical formulas using the Levenshtein distance	2021-04-28	Paper
Logical analysis of emotions in text from natural language	2020-06-22	Paper
Nikolai Nikolaevich Nepeivoda. To anniversary	2020-06-22	Paper
Interactive realizations of logical formulas	2017-06-06	Paper
Mathematical modeling of formula images for their recognition	2014-12-01	Paper
Regular expressions in the mathematical text recognition problem	2014-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q3081824	2011-03-09	Paper
A weak constructive second-order arithmetic with extraction of algorithms computable in polynomial time	2008-08-18	Paper
A nonasymptotic lower time bound for a strictly bounded second-order arithmetic	2006-08-16	Paper
Combined hierarchies of finite random access machines	2005-08-05	Paper
A strong induction scheme that leads to polynomially computable realizations	2004-10-27	Paper
The set of the true regular protothetics formulas with partially ordered quantifiers is NEXPTIME-complete	2002-05-20	Paper
Intuitionistic formal theories with realizability in subrecursive classes	1998-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4897378	1996-10-30	Paper
A theory for deductive synthesis of algorithms in the computing milieu	1995-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4302173	1994-08-09	Paper
Complexity lower bounds for machine computing models	1985-01-01	Paper
A machine description and the hierarchy of initial Grzegorczyk classes	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3957947	1982-01-01	Paper
A maximal sequence of classes transformable by primitive recursion in a given class	1981-01-01	Paper
Hierarchy of complexity of computation of partial functions with values 0 and 1	1981-01-01	Paper
Decidability of the universal theory of natural numbers with addition and divisibility	1980-01-01	Paper
An iterative description of the class \(\mathcal E^1\) of Grzegorczyk's hierarchy	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880817	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312212	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866086	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133613	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4110991	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4113824	1976-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: Anatoly Petrivich Beltiukov