会员服务
Automator · 数学 ·
2021 年 2 月 2 日
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata
翻译：Pecan: 使用 Büchi Automata 自动序列自动定序的自动定理源
Reed Oei,Dun Ma,Christian Schulz,Philipp Hieronymi
Reed Oei,Dun Ma,Christian Schulz,Philipp Hieronymi
from arxiv, Working draft

Pecan is an automated theorem prover for reasoning about properties of Sturmian words, an important object in the field of combinatorics on words. It is capable of efficiently proving non-trivial mathematical theorems about all Sturmian words.


翻译：Pecan 是用于解释Sturmian 单词属性的自动理论的自动理论证明者, 这是词组组合学领域的一个重要对象。 它能够有效地证明所有Sturmian 单词的非三元数学理论。
0
下载
关闭预览

相关内容

Automator是苹果公司为他们的Mac OS X系统开发的一款软件。 只要通过点击拖拽鼠标等操作就可以将一系列动作组合成一个工作流，从而帮助你自动的（可重复的）完成一些复杂的工作。Automator还能横跨很多不同种类的程序，包括：查找器、Safari网络浏览器、iCal、地址簿或者其他的一些程序。它还能和一些第三方的程序一起工作，如微软的Office、Adobe公司的Photoshop或者Pixelmator等。
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
专知会员服务
82+阅读 · 2020年5月10日
自动结构变分推理，Automatic structured variational inference
自动结构变分推理，Automatic structured variational inference
专知会员服务
38+阅读 · 2020年2月10日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
14+阅读 · 2020年2月1日
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
专知会员服务
151+阅读 · 2020年1月25日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
专知会员服务
33+阅读 · 2019年11月30日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
多轮对话之对话管理：Dialog Management
多轮对话之对话管理：Dialog Management
PaperWeekly
18+阅读 · 2018年1月15日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】GAN架构入门综述(资源汇总)
【推荐】GAN架构入门综述(资源汇总)
机器学习研究会
10+阅读 · 2017年9月3日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
Automated freezing of gait assessment with marker-based motion capture and deep learning approaches expert-level detection
Arxiv
0+阅读 · 2021年3月29日
Bayesian model averaging for mortality forecasting using leave-future-out validation
Arxiv
0+阅读 · 2021年3月29日
Temporally-Weighted Hierarchical Clustering for Unsupervised Action Segmentation
Temporally-Weighted Hierarchical Clustering for Unsupervised Action Segmentation
Arxiv
0+阅读 · 2021年3月27日
Secure Process Algebra
Arxiv
0+阅读 · 2021年3月26日
An Empirical Study of the Characteristics of Popular Minecraft Mods
Arxiv
0+阅读 · 2021年3月26日
The second boundary value problem for a discrete Monge-Ampere equation
Arxiv
0+阅读 · 2021年3月26日
Quantum-inspired identification of complex cellular automata
Arxiv
0+阅读 · 2021年3月25日
Measure Theoretic Weighted Model Integration
Measure Theoretic Weighted Model Integration
Arxiv
0+阅读 · 2021年3月25日
Hierarchically Compositional Tasks and Deep Convolutional Networks
Arxiv
0+阅读 · 2021年3月25日
Graph Summarization: A Survey
Arxiv
5+阅读 · 2017年4月12日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Automator
数学
相关VIP内容
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
对话管理的综述论文:最近的进展和挑战，A Survey on Dialog Management: Recent Advances and Challenges
专知会员服务
82+阅读 · 2020年5月10日
自动结构变分推理，Automatic structured variational inference
自动结构变分推理，Automatic structured variational inference
专知会员服务
38+阅读 · 2020年2月10日
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
【亚马逊-WWW2020】不解析,生成!用于面向任务的语义分析的序列到序列体系结构，Don't Parse, Generate! A Sequence to Sequence Architecture for Task-Oriented Semantic Parsing
专知会员服务
14+阅读 · 2020年2月1日
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
【2020新书】Python Pro专业实践原则，Practices of the Python Pro，250页pdf
专知会员服务
151+阅读 · 2020年1月25日
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
【变分推断课件】Lectures on Variational Inference：Statistical Analysis of Variational Approximations（附带pdf）
专知会员服务
15+阅读 · 2019年11月30日
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
【变分推断课件】Lectures on Variational Inference： Approximate Bayesian Inference in Machine Learning（附带pdf）
专知会员服务
33+阅读 · 2019年11月30日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
机器学习入门的经验与建议
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
Hierarchically Structured Meta-learning
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
强化学习的Unsupervised Meta-Learning
强化学习的Unsupervised Meta-Learning
CreateAMind
17+阅读 · 2019年1月7日
A Technical Overview of AI & ML in 2018 & Trends for 2019
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
计算机类 | LICS 2019等国际会议信息7条
计算机类 | LICS 2019等国际会议信息7条
Call4Papers
3+阅读 · 2018年12月17日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
Hierarchical Disentangled Representations
Hierarchical Disentangled Representations
CreateAMind
4+阅读 · 2018年4月15日
多轮对话之对话管理：Dialog Management
多轮对话之对话管理：Dialog Management
PaperWeekly
18+阅读 · 2018年1月15日
【论文】变分推断（Variational inference)的总结
【论文】变分推断（Variational inference)的总结
机器学习研究会
39+阅读 · 2017年11月16日
【推荐】GAN架构入门综述(资源汇总)
【推荐】GAN架构入门综述(资源汇总)
机器学习研究会
10+阅读 · 2017年9月3日
【学习】Hierarchical Softmax
【学习】Hierarchical Softmax
机器学习研究会
4+阅读 · 2017年8月6日
相关论文
Automated freezing of gait assessment with marker-based motion capture and deep learning approaches expert-level detection
Arxiv
0+阅读 · 2021年3月29日
Bayesian model averaging for mortality forecasting using leave-future-out validation
Arxiv
0+阅读 · 2021年3月29日
Temporally-Weighted Hierarchical Clustering for Unsupervised Action Segmentation
Temporally-Weighted Hierarchical Clustering for Unsupervised Action Segmentation
Arxiv
0+阅读 · 2021年3月27日
Secure Process Algebra
Arxiv
0+阅读 · 2021年3月26日
An Empirical Study of the Characteristics of Popular Minecraft Mods
Arxiv
0+阅读 · 2021年3月26日
The second boundary value problem for a discrete Monge-Ampere equation
Arxiv
0+阅读 · 2021年3月26日
Quantum-inspired identification of complex cellular automata
Arxiv
0+阅读 · 2021年3月25日
Measure Theoretic Weighted Model Integration
Measure Theoretic Weighted Model Integration
Arxiv
0+阅读 · 2021年3月25日
Hierarchically Compositional Tasks and Deep Convolutional Networks
Arxiv
0+阅读 · 2021年3月25日
Graph Summarization: A Survey
Arxiv
5+阅读 · 2017年4月12日
Top
微信扫码咨询专知VIP会员
Top