Alexei Myasnikov

From MaRDI portal


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!

PublicationDate of PublicationType
Log-space complexity of the conjugacy problem in wreath products
 
2024-09-09Paper
Varieties of exponential \(R\)-groups
Algebra and Logic
2024-02-23Paper
Generic types and generic elements in divisible rigid groups
Algebra and Logic
2024-01-16Paper
scientific article; zbMATH DE number 7782798 (Why is no real title available?)
 
2024-01-02Paper
Groups elementary equivalent to finitely generated free metabelian
 
2023-09-15Paper
Decomposing Finite $\mathbb{Z}$-Algebras
 
2023-08-03Paper
Description of coordinate groups of irreducible algebraic sets over free 2-nilpotent groups
Doklady Mathematics
2022-07-15Paper
Parallel complexity for nilpotent groups
International Journal of Algebra and Computation
2022-06-24Paper
The Diophantine problem in the classical matrix groups
Izvestiya: Mathematics
2022-02-24Paper
Hierarchy for groups acting on hyperbolic ℤn-spaces
International Journal of Algebra and Computation
2022-01-13Paper
Rich groups, weak second order logic, and applications
 
2021-09-27Paper
Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures
Journal of Mathematical Sciences (New York)
2021-09-23Paper
3 Quantifier elimination algorithm to boolean combination of ∃∀-formulas in the theory of a free group
Groups and Model Theory
2021-08-26Paper
4 Rich groups, weak second-order logic, and applications
Groups and Model Theory
2021-08-26Paper
Diophantine problems in solvable groups
Bulletin of Mathematical Sciences
2021-06-30Paper
Complete first-order theories of some classical matrix groups over algebraic integers
Journal of Algebra
2021-06-03Paper
Metabelian groups: full-rank presentations, randomness and Diophantine problems
Journal of Group Theory
2021-05-11Paper
The Diophantine problem in finitely generated commutative rings
 
2020-12-17Paper
Explicit universal axioms for Kaplansky groups
Elementary Theory of Groups and Group Rings, and Related Topics
2020-08-21Paper
The Diophantine problem in some metabelian groups
Mathematics of Computation
2020-06-15Paper
\(\mathsf{TC}^0\) circuits for algorithmic problems in nilpotent groups
 
2020-05-26Paper
Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
Journal of Algebra
2020-05-11Paper
Effective construction of covers of canonical Hom-diagrams for equations over torsion-free hyperbolic groups
Groups - Complexity - Cryptology
2020-05-11Paper
Bi-interpretability with $\mathbb{Z}$ and models of the complete elementary theories of $\text{SL}_n(\mathcal{O})$, $\text{T}_n(\mathcal{O})$ and $\text{GL}_n(\mathcal{O})$, $n\geq 3$
 
2020-04-06Paper
Fraïssé limits of limit groups
Journal of Algebra
2019-12-27Paper
Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits
Algebra and Logic
2019-12-06Paper
Low-complexity computations for nilpotent subgroup problems
International Journal of Algebra and Computation
2019-07-12Paper
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\)
Theory of Computing Systems
2019-07-04Paper
Diophantine Problem in Some Metabelian Groups
 
2019-03-24Paper
The complexity of verbal languages over groups
Journal of Computer and System Sciences
2019-01-25Paper
Characterization of finitely generated groups by types
International Journal of Algebra and Computation
2019-01-18Paper
Equations in algebras
International Journal of Algebra and Computation
2019-01-18Paper
Algebraic geometry over algebraic structures. X: Ordinal dimensions
International Journal of Algebra and Computation
2019-01-18Paper
Undecidability of equations in free Lie algebras
Transactions of the American Mathematical Society
2019-01-10Paper
Undecidability of the first order theories of free noncommutative Lie algebras
Journal of Symbolic Logic
2018-10-26Paper
Divisible rigid groups. II: Stability, saturation, and elementary submodels
Algebra and Logic
2018-10-11Paper
Studying the Diophantine problem in finitely generated rings and algebras via bilinear maps
 
2018-05-07Paper
Elementary equivalence of rings with finitely generated additive groups
Annals of Pure and Applied Logic
2018-04-06Paper
What does a group algebra of a free group ``know about the group?
Annals of Pure and Applied Logic
2018-04-06Paper
Algebraic geometry over algebraic structures. VI: Geometrical equivalence
Algebra and Logic
2018-03-02Paper
Tarski-type problems for free associative algebras
Journal of Algebra
2018-02-28Paper
Universal geometrical equivalence of the algebraic structures of common signature
Siberian Mathematical Journal
2018-02-06Paper
Computational complexity and the conjugacy problem
Computability
2018-01-18Paper
Algorithmically complex residually finite groups
Bulletin of Mathematical Sciences
2017-11-29Paper
Random nilpotent groups, polycyclic presentations, and Diophantine problems
Groups - Complexity - Cryptology
2017-11-06Paper
Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group
International Journal of Algebra and Computation
2017-11-03Paper
Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems
 
2017-10-25Paper
Model-theoretic aspects of the theory of divisible rigid soluble groups
Algebra and Logic
2017-09-04Paper
Stallings graphs for quasi-convex subgroups
Journal of Algebra
2017-09-04Paper
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\)
 
2017-08-22Paper
ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS
Journal of Symbolic Logic
2017-08-03Paper
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem
Journal of Symbolic Computation
2017-06-01Paper
Random Burnside Groups
 
2017-05-22Paper
The complexity of verbal languages over groups
2012 27th Annual IEEE Symposium on Logic in Computer Science
2017-05-16Paper
Log-space conjugacy problem in the Grigorchuk group
Groups - Complexity - Cryptology
2017-05-03Paper
Random presentations and random subgroups: a survey
 
2017-02-07Paper
Efim Isaakovich Zelmanov is 60 years old
Russian Mathematical Surveys
2017-01-05Paper
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits
Algorithmica
2016-12-21Paper
Hierarchy for groups acting on hyperbolic $\mathbf{Z}^n$-spaces
 
2016-11-01Paper
On groups elementarily equivalent to a group of triangular matrices $T_n(R)$
 
2016-09-30Paper
On elementary equivalence of rings with a finitely generated additive group
 
2016-09-30Paper
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem.
Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation
2016-09-29Paper
Generic case completeness
Journal of Computer and System Sciences
2016-08-04Paper
Non-commutative lattice problems
Journal of Group Theory
2016-05-19Paper
On asymptotic properties of verbal subsets in a group.
Lobachevskii Journal of Mathematics
2016-04-13Paper
Quadratic equations in the Grigorchuk group.
Groups, Geometry, and Dynamics
2016-03-18Paper
Groups acting on hyperbolic \(\Lambda\)-metric spaces
International Journal of Algebra and Computation
2015-11-20Paper
Generic theories as a method for approximating elementary theories
Algebra and Logic
2015-07-28Paper
Logical aspects of the theory of divisible rigid groups.
Doklady Mathematics
2015-07-07Paper
An example of an automatic graph of intermediate growth
Annals of Pure and Applied Logic
2015-06-30Paper
A linear decomposition attack
Groups - Complexity - Cryptology
2015-05-12Paper
Dimension in universal algebraic geometry.
Doklady Mathematics
2014-12-17Paper
Diophantine cryptography in free metabelian groups: theoretical base.
Groups - Complexity - Cryptology
2014-11-18Paper
Verbal subgroups of hyperbolic groups have infinite width.
Journal of the London Mathematical Society. Second Series
2014-10-15Paper
Verbally closed subgroups of free groups
Journal of Group Theory
2014-09-17Paper
The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
De Gruyter Expositions in Mathematics
2014-08-22Paper
A polynomial bound on solutions of quadratic equations in free groups.
Proceedings of the Steklov Institute of Mathematics
2014-08-04Paper
Infinite words and universal free actions.
Groups - Complexity - Cryptology
2014-07-02Paper
From automatic structures to automatic groups.
Groups, Geometry, and Dynamics
2014-06-19Paper
Tame automorphisms of elementary free groups.
Communications in Algebra
2014-05-23Paper
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits
Lecture Notes in Computer Science
2014-03-31Paper
Finitely presented expansions of groups, semigroups, and algebras
Transactions of the American Mathematical Society
2014-03-12Paper
Amalgamated free product of groups: normal forms and measures.
Mathematical Notes
2014-02-21Paper
On Tarski's Decidability Problem
 
2014-02-03Paper
Cyclic rewriting and conjugacy problems.
Groups, Complexity, Cryptology
2014-01-30Paper
Elementary coordinatization of finitely generated nilpotent groups
 
2013-11-06Paper
On rationality of verbal subsets in a group
Theory of Computing Systems
2013-08-01Paper
ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
International Journal of Algebra and Computation
2013-04-26Paper
Definable sets in a hyperbolic group.
International Journal of Algebra and Computation
2013-04-22Paper
Decidability of the Elementary Theory of a Torsion-Free Hyperbolic Group
 
2013-03-04Paper
GROUP EXTENSIONS OVER INFINITE WORDS
International Journal of Foundations of Computer Science
2013-01-18Paper
Amalgamated products of groups: measures of random normal forms.
Journal of Mathematical Sciences (New York)
2013-01-10Paper
Erratum to: ``A classification of conjugately separated abelian, commutative transitive and restricted Gromov one-relator groups
Results in Mathematics
2013-01-10Paper
Algebraic geometry over algebraic structures. II: Foundations
Journal of Mathematical Sciences (New York)
2013-01-10Paper
Universal theories for rigid soluble groups.
Algebra and Logic
2012-12-17Paper
Algebraic geometry over algebraic structures. V: The case of arbitrary signature
Algebra and Logic
2012-12-11Paper
Power circuits, exponential algebra, and time complexity
International Journal of Algebra and Computation
2012-11-22Paper
Regular completions of $\mathbb{Z}^n$-free groups
 
2012-08-22Paper
Random equations in nilpotent groups.
Journal of Algebra
2012-07-13Paper
Quantifier elimination algorithm to boolean combination of $\exists\forall$-formulas in the theory of a free group
 
2012-07-08Paper
Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
Algebra and Logic
2012-06-29Paper
Pregroups and the big powers condition.
Algebra and Logic
2012-06-29Paper
Cayley graph automatic groups are not necessarily Cayley graph biautomatic
Language and Automata Theory and Applications
2012-06-08Paper
Groups with free regular length functions in \(\mathbb Z^n\).
Transactions of the American Mathematical Society
2012-05-29Paper
Random equations in free groups.
Groups, Complexity, Cryptology
2012-05-18Paper
Random van Kampen diagrams and algorithmic problems in groups.
Groups, Complexity, Cryptology
2012-05-07Paper
Limits of relatively hyperbolic groups and Lyndon's completions.
Journal of the European Mathematical Society (JEMS)
2012-04-20Paper
The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable.
Journal of Algebra
2012-04-10Paper
Universal algebraic geometry
Doklady Mathematics
2012-01-17Paper
scientific article; zbMATH DE number 5982274 (Why is no real title available?)
 
2011-11-29Paper
Discriminating groups: a comprehensive overview.
 
2011-11-22Paper
Algorithmically finite groups.
Journal of Pure and Applied Algebra
2011-10-21Paper
Groups elementarily equivalent to a free nilpotent group of finite rank
Annals of Pure and Applied Logic
2011-09-22Paper
Solving word problems in group extensions over infinite words
Developments in Language Theory
2011-07-29Paper
Algebraic geometry over algebraic structures. IV: Equational domains and codomains
Algebra and Logic
2011-06-08Paper
Exponentially generic subsets of groups
Illinois Journal of Mathematics
2011-04-28Paper
The conjugacy problem in the Grigorchuk group is polynomial time decidable.
Groups, Geometry, and Dynamics
2011-04-21Paper
Krull dimension of solvable groups.
Journal of Algebra
2011-01-21Paper
The word and geodesic problems in free solvable groups.
Transactions of the American Mathematical Society
2010-09-27Paper
Geodesic rewriting systems and pregroups
 
2010-09-14Paper
Equations and fully residually free groups
 
2010-09-14Paper
Regular sets and counting in free groups.
 
2010-09-14Paper
The solvability problem for quadratic equations over free groups is NP-complete
Theory of Computing Systems
2010-08-13Paper
Groups acting freely on $\Lambda$-trees
 
2009-11-01Paper
A geometric zero-one law
Journal of Symbolic Logic
2009-09-29Paper
Solving one-variable equations in free groups
Journal of Group Theory
2009-04-08Paper
Generic Subgroups of Group Amalgams
Groups - Complexity - Cryptology
2009-03-23Paper
Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
 
2008-11-06Paper
scientific article; zbMATH DE number 5343239 (Why is no real title available?)
 
2008-09-12Paper
Random subgroups and analysis of the length-based and quotient attacks
Journal of Mathematical Cryptology
2008-08-11Paper
Generic complexity of undecidable problems
Journal of Symbolic Logic
2008-06-09Paper
Generic Complexity of Undecidable Problems
Computer Science – Theory and Applications
2008-06-03Paper
Group-based cryptography
Advanced Courses in Mathematics -- CRM Barcelona
2008-05-29Paper
THE CONJUGACY PROBLEM IN AMALGAMATED PRODUCTS I: REGULAR ELEMENTS AND BLACK HOLES
International Journal of Algebra and Computation
2008-05-20Paper
GENERIC COMPLEXITY OF THE CONJUGACY PROBLEM IN HNN-EXTENSIONS AND ALGORITHMIC STRATIFICATION OF MILLER'S GROUPS
International Journal of Algebra and Computation
2008-05-14Paper
A Practical Attack on a Braid Group Based Cryptographic Protocol
Advances in Cryptology – CRYPTO 2005
2008-03-17Paper
A classification of conjugately separated abelian, commutative transitive, and restricted Gromov one-relator groups.
Results in Mathematics
2008-03-14Paper
Exponential extensions of groups
Journal of Group Theory
2008-02-26Paper
The halting problem is decidable on a set of asymptotic probability one
Notre Dame Journal of Formal Logic
2007-08-01Paper
ON POSITIVE THEORIES OF GROUPS WITH REGULAR FREE LENGTH FUNCTIONS
International Journal of Algebra and Computation
2007-06-20Paper
Quotient tests and Gröbner bases.
 
2007-05-18Paper
The Finitary Andrews-Curtis Conjecture
 
2007-05-11Paper
Public Key Cryptography - PKC 2006
Lecture Notes in Computer Science
2007-05-02Paper
Heuristics for the Whitehead Minimization Problem
Experimental Mathematics
2007-02-05Paper
The isomorphism problem for finitely generated fully residually free groups.
Journal of Pure and Applied Algebra
2007-01-09Paper
Elementary theory of free non-abelian groups.
Journal of Algebra
2006-12-07Paper
Some metric properties of automorphisms of groups.
Journal of Algebra
2006-12-07Paper
FULLY RESIDUALLY FREE GROUPS AND GRAPHS LABELED BY INFINITE WORDS
International Journal of Algebra and Computation
2006-10-16Paper
Quotient tests and random walks in computational group theory.
 
2006-09-25Paper
scientific article; zbMATH DE number 2221701 (Why is no real title available?)
 
2005-11-01Paper
scientific article; zbMATH DE number 2221702 (Why is no real title available?)
 
2005-11-01Paper
scientific article; zbMATH DE number 2221699 (Why is no real title available?)
 
2005-11-01Paper
Pattern recognition and minimal words in free groups of rank 2
Journal of Group Theory
2005-09-05Paper
Implicit function theorem over free groups.
Journal of Algebra
2005-08-22Paper
Algebraic geometry over groups. III: Elements of model theory.
Journal of Algebra
2005-06-10Paper
FOLDINGS, GRAPHS OF GROUPS AND THE MEMBERSHIP PROBLEM
International Journal of Algebra and Computation
2005-06-07Paper
scientific article; zbMATH DE number 2144698 (Why is no real title available?)
 
2005-03-14Paper
scientific article; zbMATH DE number 2144700 (Why is no real title available?)
 
2005-03-14Paper
scientific article; zbMATH DE number 2144697 (Why is no real title available?)
 
2005-03-14Paper
scientific article; zbMATH DE number 2144681 (Why is no real title available?)
 
2005-03-14Paper
Average-case complexity and decision problems in group theory.
Advances in Mathematics
2005-01-11Paper
THE ANDREWS–CURTIS CONJECTURE AND BLACK BOX GROUPS
International Journal of Algebra and Computation
2004-08-06Paper
MULTIPLICATIVE MEASURES ON FREE GROUPS
International Journal of Algebra and Computation
2004-06-15Paper
scientific article; zbMATH DE number 2070157 (Why is no real title available?)
 
2004-06-08Paper
Discriminating groups and c-dimension
Journal of Group Theory
2004-03-30Paper
Automorphic orbits in free groups.
Journal of Algebra
2003-11-19Paper
Generic-case complexity, decision problems in group theory, and random walks.
Journal of Algebra
2003-07-30Paper
MALNORMAL SUBGROUPS OF FREE GROUPS
Communications in Algebra
2003-05-01Paper
scientific article; zbMATH DE number 1836314 (Why is no real title available?)
 
2003-04-24Paper
scientific article; zbMATH DE number 1819881 (Why is no real title available?)
 
2003-02-23Paper
On the Hanna Neumann Conjecture
 
2003-02-01Paper
scientific article; zbMATH DE number 1744024 (Why is no real title available?)
 
2002-10-15Paper
Stallings foldings and subgroups of free groups
Journal of Algebra
2002-09-26Paper
Discriminating completions of hyperbolic groups
Geometriae Dedicata
2002-09-18Paper
Groups whose universal theory is axiomatizable by quasi-identities
Journal of Group Theory
2002-08-19Paper
Discriminating groups
Journal of Group Theory
2002-05-29Paper
Balanced presentations of the trivial group on two generators and the Andrews-Curtis conjecture
 
2002-03-10Paper
scientific article; zbMATH DE number 1819874 (Why is no real title available?)
 
2002-01-01Paper
scientific article; zbMATH DE number 1421182 (Why is no real title available?)
 
2001-09-19Paper
Algebraic geometry over groups. II: Logical foundations
Journal of Algebra
2001-07-09Paper
scientific article; zbMATH DE number 1419250 (Why is no real title available?)
 
2001-06-20Paper
Discriminating and co-discriminating groups
Journal of Group Theory
2001-05-08Paper
MALNORMALITY IS DECIDABLE IN FREE GROUPS
International Journal of Algebra and Computation
2000-12-04Paper
Centroids of groups
Journal of Group Theory
2000-11-05Paper
scientific article; zbMATH DE number 1419249 (Why is no real title available?)
 
2000-08-01Paper
Algebraic geometry over groups. I: Algebraic sets and ideal theory
Journal of Algebra
1999-12-20Paper
scientific article; zbMATH DE number 1284209 (Why is no real title available?)
 
1999-06-13Paper
Equations in the Q-completion of a torsion-free hyperbolic group
Transactions of the American Mathematical Society
1999-05-19Paper
Tarski’s problem about the elementary theory of free groups has a positive solution
Electronic Research Announcements of the American Mathematical Society
1999-03-22Paper
Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
Journal of Algebra
1998-11-23Paper
Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
Journal of Algebra
1998-11-23Paper
A classification of fully residually free groups of rank three or less
Journal of Algebra
1998-09-09Paper
Equations in a free 𝐐-group
Transactions of the American Mathematical Society
1998-03-24Paper
Hyperbolic groups and free constructions
Transactions of the American Mathematical Society
1998-03-24Paper
Two theorems about equationally Noetherian groups
Journal of Algebra
1997-11-24Paper
Formal power series representations of free exponential groups
Communications in Algebra
1997-10-05Paper
EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
International Journal of Algebra and Computation
1997-07-13Paper
Groups with exponents. I: Fundamentals of the theory and tensor completions
Siberian Mathematical Journal
1996-11-24Paper
CSA-groups and separated free constructions
Bulletin of the Australian Mathematical Society
1996-06-02Paper
Toward a generalized computability theory
Algebra and Logic
1995-04-20Paper
Admissible sets in group theory
Algebra and Logic
1994-04-12Paper
scientific article; zbMATH DE number 88867 (Why is no real title available?)
 
1993-01-16Paper
The theory of models of bilinear mappings
Siberian Mathematical Journal
1992-06-25Paper
Definable invariants of bilinear mappings
Siberian Mathematical Journal
1992-06-25Paper
THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
Mathematics of the USSR-Izvestiya
1990-01-01Paper
Elementary theory of a module over a local ring
Siberian Mathematical Journal
1989-01-01Paper
scientific article; zbMATH DE number 4173216 (Why is no real title available?)
 
1989-01-01Paper
RECURSIVEp-ADIC NUMBERS AND ELEMENTARY THEORIES OF FINITELY GENERATED PRO-p-GROUPS
Mathematics of the USSR-Izvestiya
1988-01-01Paper
scientific article; zbMATH DE number 4089758 (Why is no real title available?)
 
1988-01-01Paper
scientific article; zbMATH DE number 4021440 (Why is no real title available?)
 
1987-01-01Paper
scientific article; zbMATH DE number 4168942 (Why is no real title available?)
 
1987-01-01Paper
Elementary group equivalence with the integral length function
Illinois Journal of Mathematics
1986-01-01Paper
Extended Nielsen transformations and triviality of a group
Mathematical Notes
1984-01-01Paper
scientific article; zbMATH DE number 3877414 (Why is no real title available?)
 
1984-01-01Paper
Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II
Siberian Mathematical Journal
1983-01-01Paper
Approximability of outer automorphism groups of free groups of finite rank
Algebra and Logic
1982-01-01Paper
Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
Siberian Mathematical Journal
1982-01-01Paper
scientific article; zbMATH DE number 3815958 (Why is no real title available?)
 
1982-01-01Paper
scientific article; zbMATH DE number 3807871 (Why is no real title available?)
 
1981-01-01Paper


Research outcomes over time


This page was built for person: Alexei Myasnikov