A software to analyze a octal number and generate formula to produce graph. (Phd Project in mathematics field, Article)
-
Updated
May 27, 2020 - Python
#
math-research
Here are 12 public repositories matching this topic...
An autonomous agent for mathematical reasoning and proof
computer-algebra theorem-proving mathematics proof-assistant arxiv oeis sympy fastapi math-research autonomous-agent lean4 ai-agent pydantic-ai
-
Updated
Aug 23, 2026 - Python
Convergence-theoretic reformulation of the Hodge Conjecture for K3 surfaces, with flow-based projection methods, numerical experiments, and symbolic generalizations to abelian varieties and Calabi–Yau threefolds.
mathematics algebraic-geometry symbolic-math mathematical-physics k3-surfaces cohomology math-research numerical-experiments sage-math calabi-yau hodge hodge-conjecture abelian-varieties hodge-theory gauss-manin millennium-problem theorem-verification convergence-theory
-
Updated
Apr 22, 2025
My latest resumes and some scheduled workflows.
-
Updated
Aug 29, 2026 - Batchfile
Visualizing and Interacting with Paths In Configuration Spaces. Learn more:
-
Updated
Jan 9, 2020 - C#
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
May 18, 2026 - Python
Production-tested skills for AI coding agents. Compatible with Claude Code, Codex, Gemini CLI, Cursor, and more.
-
Updated
Apr 12, 2026
My GitHub-hosted website
python data-science math sas data-analysis riemann-zeta number-theory resumes ai-agents functional-equations math-research ai-agent university-of-sao-paulo
-
Updated
Sep 4, 2026 - HTML
A modular framework for AI-assisted mathematical research: structured notes, dependency graphs, and human-AI collaboration principles grounded in Kodaira's philosophy of mathematical sense.
mathematics knowledge-base obsidian math-research research-framework llm claude-ai mathematical-notes ai-assisted-research modular-notes
-
Updated
Jul 14, 2026
A collection of code and other work done with Prof. Zack Kilpatrick at CU Boulder to investigate optimal decision strategies in two-alternative forced-choice (TAFC) tasks.
-
Updated
Oct 25, 2022 - MATLAB
A collection of code and other work done with Dr. Andy Borum at Cornell University to investigate the optimal control of collective motion.
-
Updated
Dec 8, 2022 - MATLAB
Add this topic to your repo
To associate your repository with the math-research topic, visit your repo's landing page and select "manage topics."