C.Algebra System derived fron own Author works.
-
Updated
Oct 7, 2020 - C
#
open-problems
Here are 8 public repositories matching this topic...
The minimal elements of the prime numbers which are > b written in the positional numeral system with radix b, as digit strings under the subsequence ordering, for 2 ≤ b ≤ 36
computer-science algorithms proof sieve radix prime-numbers numeral-systems number-theory formal-languages subsequence heuristic-algorithm open-problems primality-test partial-orders trial-division antichains unsolved-problems miller-rabin-test minimal-set positional-notation
-
Updated
Apr 16, 2026 - C++
CLI and workspace for Paul Erdos problems.
cli research theorem-proving graph-theory combinatorics agents number-theory erdos open-problems sunflower
-
Updated
Apr 15, 2026 - JavaScript
A new philosophy of cryptographic design where every attack strategy becomes a liability. V9 — THE LEVIATHAN. 70+ defenses, Hall spread derivation, Reguli-resistant decoys, 15-vector attack battery. Novelty: 9/10 (unanimous).
finite-fields post-quantum-cryptography ai-safety open-problems projective-geometry ai-human-collaboration adversarial-design cryptographic-philosophy aikido-cryptography desarguesian-spreads
-
Updated
Feb 25, 2026 - Python
A constructive and AI-assisted approach to the Riemann Hypothesis, focusing on structured classification and critical line constraints.
open-problems formal-proofs zeta-functions riemann-hypothesis analytic-number-theory ai-assisted critical-line arxiv-ready constructive-proof math-nt
-
Updated
Jun 16, 2025 - TeX
A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems
-
Updated
Feb 9, 2026 - Python
Standalone protocol & tooling for AI-agent exploration of unsolved math problems: machine-readable registry, AI-amenability triage, reproducible workspaces, and evidence bundles.
python reproducible-research optimization theorem-proving mathematics proof-assistant computational-mathematics formal-verification number-theory multi-agent-systems open-problems ai-agents mathlib math-research lean4 llm generative-ai research-workflow research-protocol
-
Updated
Apr 17, 2026 - Python
Computational experiments for Erdős-style combinatorial conjectures
-
Updated
Apr 6, 2026 - Rust
Improve this page
Add a description, image, and links to the open-problems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the open-problems topic, visit your repo's landing page and select "manage topics."