Binary codes that do not preserve primitivity

DOI10.1007/978-3-031-10769-6_23OpenAlexW4289104060MaRDI QIDQ2104527FDOQ2104527

Authors: Štěpán Holub, Martin Raška, Štěpán Starosta 

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2203.11341

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• The equation \(a_ M=b^ Nc^ P\) in a free group
• Title not available (Why is that?)
• Sharp characterizations of squarefree morphisms
• Primitive morphisms
• Uniqueness Theorems for Periodic Functions
• Sur le théorème du defaut
• Codes and automata.
• On F-semigroups with three generators
• Sur la combinatoire des codes à deux mots. (On the combinatorics of two-word codes)
• On the independence of equations in three variables.
• Defect effect of Bi-infinite words in the two-element case
• 12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 -- July 1, 2021

Cited In (2)

• Binary_Code_Imprimitive
• Binary codes that do not preserve primitivity

Uses Software

• Isabelle/HOL
• Archive Formal Proofs
• Combinatorics_Words

This page was built for publication: Binary codes that do not preserve primitivity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104527)