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 9 public repositories matching this topic...
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
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
Mar 26, 2026 - Python
Production-tested skills for AI coding agents. Compatible with Claude Code, Codex, Gemini CLI, Cursor, and more.
-
Updated
Apr 12, 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
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 16, 2026 - Python
Visualizing and Interacting with Paths In Configuration Spaces. Learn more:
-
Updated
Jan 9, 2020 - C#
Improve this page
Add a description, image, and links to the math-research topic page so that developers can more easily learn about it.
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."