V. I. Martyanov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Combinatorial problems of high complexity and analysis of sketch images The Bulletin of Irkutsk State University. Series Mathematics	2015-03-16	Paper
About the elementary subgroup theory of abelian groups The Bulletin of Irkutsk State University. Series Mathematics	2012-09-05	Paper
Testing the covariant-tensor multivalent structure of a continuous control system using the SVD-expansion technology Nonlinear Studies	2002-12-04	Paper
Implementation of proof schemes in the method of invariant transformations Cybernetics	1988-01-01	Paper
scientific article; zbMATH DE number 4101138 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4029505 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 4077168 (Why is no real title available?)	1986-01-01	Paper
Invariant transformations of formulas Mathematical Notes	1984-01-01	Paper
Undecidability of the theory of Boolean algebras with automorphism Siberian Mathematical Journal	1983-01-01	Paper
Universal theories of integers and the extended Bliznetsov hypothesis Algebra and Logic	1983-01-01	Paper
Specification methods and partial construction of theory by computer Cybernetics	1983-01-01	Paper
scientific article; zbMATH DE number 3792144 (Why is no real title available?)	1982-01-01	Paper
Undecidability of the theory of Abelian groups with an automorphism Mathematical Notes	1978-01-01	Paper
scientific article; zbMATH DE number 3595233 (Why is no real title available?)	1978-01-01	Paper
Extended universal theories of the integers Algebra and Logic	1977-01-01	Paper
The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations Algebra and Logic	1976-01-01	Paper
scientific article; zbMATH DE number 3540806 (Why is no real title available?)	1975-01-01	Paper

Research outcomes over time

This page was built for person: V. I. Martyanov