Get started
Author

Vladimir I. Mart'yanov

Observed names: V. I. Mart'yanov, V. I. Martyanov, Vladimir Martyanov
ORCID: 0000-0003-2659-0355
Observed ORCID: 0000-0003-2659-0355
OpenAlex ID: A5089932898
Building Information Modelling (BIM) technology as a basis for lean construction
2022 · Leydy T. Guevara Rada, Vitaliy V. Peshkov, et al. · Izvestiya vuzov Investitsii Stroitelstvo Nedvizhimost · 14
Undecidability of the theory of Boolean algebras with automorphism
1982 · V. I. Mart'yanov · Siberian Mathematical Journal · 6
The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations
1975 · V. I. Mart'yanov · Algebra and Logic · 6
Extended universal theories of the integers
1977 · V. I. Mart'yanov · Algebra and Logic · 5
Building a Motorway Graph for the Heavy Trucks Tolling System
2016 · Nikita Kulik, Vladimir Martyanov, et al. · iPolytech Journal · 4
Undecidability of the theory of Abelian groups with an automorphism
1978 · V. I. Mart'yanov · Mathematical Notes · 3
Set-Theoretical Data Models in the Problem of Calculating Secondary Structures of RNA
2022 · Vladimir Martyanov · System Analysis & Mathematical Modeling · 2
PDF
NP-Difficult Tasks: Automatic Proof of Theorems and Turings Machine
2021 · Vladimir Martyanov · Baikal Research Journal · 2
PDF
Set-Theory Analysis of the Data Organization of the Educational Process and Algorithms for Designing a Schedule with Elements Artificial Intelligence
2020 · Vladimir Martyanov · Известия Иркутской государственной экономической академии · 2
PDF
Computer processing of distorted video sequences obtained by mobile road laboratories
2019 · Vladimir Martyanov, Mikhail Katashevtsev · IOP Conference Series Materials Science and Engineering · 2
PDF
Draft program complex for generating Turing machines solving NP-hard problems
2023 · V. I. Martyanov · Izvestiya vuzov Investitsii Stroitelstvo Nedvizhimost · 1
PDF
Optimization of systems of water supply and sewerage by minimizing their life cycle costs
2022 · Viktor R. Chupin, Vladimir I. Mart'yanov, et al. · Izvestiya vuzov Investitsii Stroitelstvo Nedvizhimost · 1
Scaling Series of Sketch Images and Their Applications
2016 · Vladimir Martyanov, Mikhail Katashevtsev · iPolytech Journal · 1
Invariant transformations of formulas
1984 · V. I. Mart'yanov · Mathematical Notes · 1
Universal theories of integers and the extended bliznetsov hypothesis
1983 · É. B. Belyakov, V. I. Mart'yanov · Algebra and Logic · 1
Specification methods and partial construction of theory by computer
1983 · V. I. Mart'yanov · Cybernetics and Systems Analysis · 1
Methods for efficient generation of Turing machines to solve NP-hard problems
2024 · V. I. Martyanov, A. S. Volkov · Izvestiya vuzov Investitsii Stroitelstvo Nedvizhimost
PDF
Estimates of the Complexity of Algorithms for Analyzing Video Sequences of Road Laboratories
2023 · Vladimir Martyanov, Vasily Bludov · System Analysis & Mathematical Modeling
PDF
Implementation of proof schemes in the method of invariant transformations
1989 · V. I. Mart'yanov, A. A. Kharmeev, et al. · Cybernetics and Systems Analysis
Works count: 19
Citation count: 52
H-index: 4
I10-index: 1
Year
Topic
Type