消耗
发表于 2025-3-25 04:17:58
http://reply.papertrans.cn/63/6266/626586/626586_21.png
证实
发表于 2025-3-25 09:55:26
http://reply.papertrans.cn/63/6266/626586/626586_22.png
压迫
发表于 2025-3-25 12:39:05
The Reformation of SageThe monolithic open-source mathematical software system Sage, developed since 2005, is being transformed into a modular system of Python libraries with a renewed focus on collaboration and vertical integration. This paper is the author’s personal account of this modularization project, led by him since 2020.
分贝
发表于 2025-3-25 18:24:56
Formalization of the Existence of Frobenius ElementsWe use Lean 4 to formalize a proof of the existence of Frobenius elements for finite Galois extensions of number fields.
implore
发表于 2025-3-25 23:07:39
http://reply.papertrans.cn/63/6266/626586/626586_25.png
mercenary
发表于 2025-3-26 00:10:42
http://reply.papertrans.cn/63/6266/626586/626586_26.png
秘方药
发表于 2025-3-26 07:00:23
http://reply.papertrans.cn/63/6266/626586/626586_27.png
仇恨
发表于 2025-3-26 09:37:07
Computing the Determinant of a Dense Matrix over ical efficiency, which is always at least as good as currently known methods. The algorithm uses randomness internally, but the result is guaranteed correct. The main new idea is to use a modular HNF in cases where the Pauderis–Storjohann HCOL method performs poorly. The algorithm is implemented in OSCAR 1.0.
Palatial
发表于 2025-3-26 13:44:54
Computer Classification of Linear Codes Based on Lattice Point Enumerationorithmic framework for the classification of linear codes over finite fields with restricted sets of weights. The underlying algorithms are based on lattice point enumeration and integer linear programming. We present new enumeration and non-existence results for projective two-weight codes, divisible codes, and additive .-codes.
宪法没有
发表于 2025-3-26 17:41:54
http://reply.papertrans.cn/63/6266/626586/626586_30.png