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
Manifest of applied constructivism	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
https://portal.mardi4nfdi.de/entity/Q3880817	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/Q3866086	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312212	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133613	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4113824	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4110991	1976-01-01	Paper

Research outcomes over time

This page was built for person: Anatoly Petrivich Beltiukov