会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
Grammar-based Ordinary Differential Equation Discovery
Grammar-based Ordinary Differential Equation Discovery
Arxiv
0+阅读 · 4月3日
Confluence of Conditional Rewriting Modulo
Arxiv
0+阅读 · 4月3日
AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge
Arxiv
0+阅读 · 4月2日
GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
Arxiv
0+阅读 · 3月31日
Brackets and Projective Geometry in Macaulay2
Arxiv
0+阅读 · 4月1日
Confluence of Conditional Rewriting Modulo
Arxiv
0+阅读 · 4月2日
Connection Matrices in Macaulay2
Arxiv
0+阅读 · 4月2日
Integer multiplication is at least as hard as matrix transposition
Arxiv
0+阅读 · 3月28日
Cylindrical Algebraic Decomposition in Macaulay2
Cylindrical Algebraic Decomposition in Macaulay2
Arxiv
0+阅读 · 3月31日
A Geometric Approach to Cylindrical Algebraic Decomposition
Arxiv
0+阅读 · 3月28日
An Algebraic Approach to Weighted Answer-set Programming
Arxiv
0+阅读 · 3月28日
An elementary proof of Bridy's theorem
Arxiv
0+阅读 · 3月27日
An Algebraic Approach to Weighted Answer-set Programming
Arxiv
0+阅读 · 3月26日
Cylindrical Algebraic Decomposition in \textit{Macaulay2}
Cylindrical Algebraic Decomposition in \textit{Macaulay2}
Arxiv
0+阅读 · 3月27日
Hypergeometric Solutions of Linear Difference Systems
Arxiv
0+阅读 · 3月25日
参考链接
微信扫码咨询专知VIP会员
Top