会员服务
符号学广义上是研究符号传意的人文科学，当中涵盖所有涉文字符、讯号符、密码、古文明记号、 手语的科学。
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
Arxiv
0+阅读 · 1月6日
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
Arxiv
0+阅读 · 1月7日
A data structure for monomial ideals with applications to signature Gröbner bases
Arxiv
0+阅读 · 1月8日
Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
Arxiv
0+阅读 · 1月8日
Exact Constructive Digit-by-Digit Algorithms for Integer $e$-th Root Extraction
Arxiv
0+阅读 · 1月6日
An Automatic Pipeline for the Integration of Python-Based Tools into the Galaxy Platform: Application to the anvi'o Framework
Arxiv
0+阅读 · 1月5日
Towards Practical Automatic Piano Reduction using BERT with Semi-supervised Learning
Arxiv
0+阅读 · 1月5日
Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
Arxiv
0+阅读 · 1月1日
Fast Symbolic Integer-Linear Spectra
Arxiv
0+阅读 · 2025年12月31日
f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
Arxiv
0+阅读 · 1月1日
Quantifier Elimination Meets Treewidth
Arxiv
0+阅读 · 1月1日
Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
Arxiv
0+阅读 · 2025年12月31日
Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
Arxiv
0+阅读 · 2025年12月24日
OGRePy: An Object-Oriented General Relativity Package for Python
Arxiv
0+阅读 · 2025年12月24日
Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
Arxiv
0+阅读 · 2025年12月25日
参考链接
微信扫码咨询专知VIP会员
Top