会员服务
Automator · TOOLS · MoDELS ·
2021 年 8 月 16 日
A Conjecture Equivalent to the Collatz Conjecture
翻译：与COlatz Conventure 的猜想等值的猜想
Ashish Tiwari
Ashish Tiwari

We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.


翻译：我们提出了一个Collatz猜想的公式,有可能更便于通过自动终止检查工具进行模型和分析。
0
下载
关闭预览

相关内容

Automator是苹果公司为他们的Mac OS X系统开发的一款软件。 只要通过点击拖拽鼠标等操作就可以将一系列动作组合成一个工作流，从而帮助你自动的（可重复的）完成一些复杂的工作。Automator还能横跨很多不同种类的程序，包括：查找器、Safari网络浏览器、iCal、地址簿或者其他的一些程序。它还能和一些第三方的程序一起工作，如微软的Office、Adobe公司的Photoshop或者Pixelmator等。
【硬核书】量子信息理论，598页pdf
专知会员服务
123+阅读 · 2021年8月4日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
125+阅读 · 2020年11月20日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
专知会员服务
40+阅读 · 2019年12月30日
【电子书】人工智能编程范式（Paradigms of Artificial Intelligence Programming）1048页PDF免费下载
【电子书】人工智能编程范式（Paradigms of Artificial Intelligence Programming）1048页PDF免费下载
专知会员服务
47+阅读 · 2019年10月30日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
275+阅读 · 2019年10月9日
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | CCF推荐期刊专刊信息5条
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
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日
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
Call4Papers
5+阅读 · 2018年12月7日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
【推荐】自然语言处理（NLP）指南
【推荐】自然语言处理（NLP）指南
机器学习研究会
35+阅读 · 2017年11月17日
计算机类 | 国际会议信息7条
计算机类 | 国际会议信息7条
Call4Papers
3+阅读 · 2017年11月17日
【计算机类】期刊专刊/国际会议截稿信息6条
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
What can linearized neural networks actually say about generalization?
Arxiv
0+阅读 · 2021年10月13日
Dynamic Sampling from a Discrete Probability Distribution with a Known Distribution of Rates
Arxiv
0+阅读 · 2021年10月12日
Fallout: Distributed Systems Testing as a Service
Arxiv
0+阅读 · 2021年10月11日
Exchangeability-Aware Sum-Product Networks
Arxiv
0+阅读 · 2021年10月11日
Efficient Extensional Binary Tries
Arxiv
0+阅读 · 2021年10月11日
POD-Galerkin Model Order Reduction for Parametrized Nonlinear Time Dependent Optimal Flow Control: an Application to Shallow Water Equations
Arxiv
0+阅读 · 2021年10月10日
Pareto Optimization for Subset Selection with Dynamic Cost Constraints
Arxiv
0+阅读 · 2021年10月10日
Counterexample Classification
Arxiv
0+阅读 · 2021年10月8日
Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake
Arxiv
0+阅读 · 2021年10月8日
The Measure of Intelligence
The Measure of Intelligence
Arxiv
6+阅读 · 2019年11月5日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
Automator
TOOLS
MoDELS
相关VIP内容
【硬核书】量子信息理论，598页pdf
专知会员服务
123+阅读 · 2021年8月4日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
【干货书】机器学习速查手册，135页pdf
【干货书】机器学习速查手册，135页pdf
专知会员服务
125+阅读 · 2020年11月20日
Linux导论，Introduction to Linux，96页ppt
Linux导论，Introduction to Linux，96页ppt
专知会员服务
78+阅读 · 2020年7月26日
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
【图机器学习论文】图神经网络的逻辑表达性（Logical Expressiveness of Graph Neural Networks）
专知会员服务
40+阅读 · 2019年12月30日
【电子书】人工智能编程范式（Paradigms of Artificial Intelligence Programming）1048页PDF免费下载
【电子书】人工智能编程范式（Paradigms of Artificial Intelligence Programming）1048页PDF免费下载
专知会员服务
47+阅读 · 2019年10月30日
强化学习最新教程，17页pdf
强化学习最新教程，17页pdf
专知会员服务
174+阅读 · 2019年10月11日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用
专知会员服务
39+阅读 · 2019年10月9日
MIT新书《强化学习与最优控制》
MIT新书《强化学习与最优控制》
专知会员服务
275+阅读 · 2019年10月9日
热门VIP内容
相关资讯
计算机 | 国际会议信息5条
计算机 | 国际会议信息5条
Call4Papers
3+阅读 · 2019年7月3日
计算机 | CCF推荐期刊专刊信息5条
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
【TED】生命中的每一年的智慧
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
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日
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
CCF C类 | IJCNN 2019 Special Section : 信息论与深度学习
Call4Papers
5+阅读 · 2018年12月7日
计算机类 | 期刊专刊截稿信息9条
计算机类 | 期刊专刊截稿信息9条
Call4Papers
4+阅读 · 2018年1月26日
【推荐】自然语言处理（NLP）指南
【推荐】自然语言处理（NLP）指南
机器学习研究会
35+阅读 · 2017年11月17日
计算机类 | 国际会议信息7条
计算机类 | 国际会议信息7条
Call4Papers
3+阅读 · 2017年11月17日
【计算机类】期刊专刊/国际会议截稿信息6条
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【今日新增】计算机领域国际会议截稿信息
【今日新增】计算机领域国际会议截稿信息
Call4Papers
9+阅读 · 2017年7月21日
相关论文
What can linearized neural networks actually say about generalization?
Arxiv
0+阅读 · 2021年10月13日
Dynamic Sampling from a Discrete Probability Distribution with a Known Distribution of Rates
Arxiv
0+阅读 · 2021年10月12日
Fallout: Distributed Systems Testing as a Service
Arxiv
0+阅读 · 2021年10月11日
Exchangeability-Aware Sum-Product Networks
Arxiv
0+阅读 · 2021年10月11日
Efficient Extensional Binary Tries
Arxiv
0+阅读 · 2021年10月11日
POD-Galerkin Model Order Reduction for Parametrized Nonlinear Time Dependent Optimal Flow Control: an Application to Shallow Water Equations
Arxiv
0+阅读 · 2021年10月10日
Pareto Optimization for Subset Selection with Dynamic Cost Constraints
Arxiv
0+阅读 · 2021年10月10日
Counterexample Classification
Arxiv
0+阅读 · 2021年10月8日
Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake
Arxiv
0+阅读 · 2021年10月8日
The Measure of Intelligence
The Measure of Intelligence
Arxiv
6+阅读 · 2019年11月5日
Top
微信扫码咨询专知VIP会员
Top