krawczyk

Certified first 1,000 nontrivial zeros of the Riemann zeta function using a dual-evaluator (mpmath ζ + η‐series) contour method with strict Krawczyk isolation and automatic refinement.

Interval solver of systems of equations to find the workspace area of a robot

灵数求解器 — 确定性（非大模型）实数方程组求解器，≤6 变量。区间算术 + Krawczyk 构造性认证，每个已验证解数学保真；网页即用或被 AI Agent 通过 MCP 调用。全局穷尽为尽力而为，未穷尽诚实标记 truncated。非商业免费 / 商业须书面授权（详见仓库 LICENSE）；零依赖、离线。安装：npx -y lingshu-solver

🔍 Certify and explore the first 1,000 nontrivial zeros of the Riemann zeta function with a reliable, reproducible dataset for research and analysis.