algebraic-number-theory 开源项目推荐（30 个）

thofma /Hecke.jl

计算代数数论

foo123 /Abacus

Computer Algebra and Symbolic Computation System for Combinatorics and Algebraic Number Theory for JavaScript

andreaferretti /commutative-algebra

An introduction to the basic ideas of commutative algebra

devatnull /High-Performance-Integer-Factorization-Suite-GNFS-MPQS-QS

High-performance integer factorization suite implementing GNFS, MPQS, and QS algorithms with optimized lattice reduction, vectorization, GPU acceleration, and tensor-based linear algebra. Features automatic algorithm selection, NUMA-aware scheduling, and checkpoint/restore for computational number theory research and cryptanalytic analysis.

fermulerpy /fermulerpy

Repository for the FermulerPy core package. Fermulerpy is useful for problems related to various fields of Number Theory.

WangFrankie /QuadraticNumberFields

A formalization of quadratic number fields in Lean 4

pitmonticone /QuadraticIntegers

Formalising the Ring of Integers in Quadratic Fields in the Lean proof assistant.

BenSinger2005 /A-Geometric-Approach-to-3-x-3-Magic-Squares-of-Squares

This is the Magma code to accompany my paper "The Algebraic Geometry of 3 x 3 Magic Squares of Squares" with Asher Auel. The paper is linked in the URL.

jonhanke /quadratic-forms-lean

Quadratic forms over number fields in Lean 4: Siegel's theorem over totally real fields, Tamagawa numbers, Hilbert reciprocity, Hasse–Minkowski

AEjonanonymous /Nonagonal-Cyclotomic-Resultants

Algebraic Closure and Composite Chord Symmetry of the Regular Nonagon via Cyclotomic Polynomial Resultants in Lean 4 with Comparator.

Alonso-del-Arte /algebraic-integer-calculator

WORK IN PROGRESS: This grew out of the visualization of imaginary quadratic integer rings project.

BaseMax /go-math-opt

A Go-based symbolic algebra engine for parsing, simplifying, and manipulating mathematical expressions. Designed for compilers, research tooling, and symbolic computation. A symbolic math expression simplifier and optimizer.

VladaSedlacek /Circular-Units---Diploma-Thesis

Circular units of real abelian fields with four ramified primes.

acapunay-math /ShintaniK41

Examples of Shintani domains for complex quartic number fields. Moreover, we propose in the folder "Algorithm" an implementation to obtain Shintani domains in complex quartic fields (restriction: unit group without torsion)

Tseng-math /erdos-unit-distance-pointwise-certificate

Proof package for a certified pointwise lower bound in the Erdős unit-distance problem

stalex444 /pdt-automath

该项目在 GitHub 上没有填写描述

jordanbell2357 /continued_fractions

continued fractions tools

arturkorb3 /faktorisierung-1

Three barrier results for classical RSA semiprime factorization: Joux–Buchmann smoothness, Pell trace compression, and CRT walls. AI-assisted exploratory mathematics.

coinstudent2048 /bquadform

An implementation of some mathematics of "Class group of Positive-definite Binary Quadratic Forms" in Python 3

stalex444 /PDT-pisot-test-suite

Computational verification of Pisot pruning across the trinomial family x^n = x + 1 — three-test suite for the algebraic foundation of Pisot Dimensional Theory.