Lyndon Words Formalized in Isabelle/HOL
DLT(2021)
摘要
We present a formalization of Lyndon words and basic relevant results in Isabelle/HOL. We give a short review of Isabelle/HOL and focus on challenges that arise in this formalization. The presented formalization is based on an ongoing larger project of formalization of combinatorics on words.
更多查看译文
关键词
Isabelle/HOL,Lyndon word,Lyndon factorization,Combinatorics on words
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要