我开发了一个 Gröbner 基础引擎，可以在浏览器中解决 7 个变量的系统。
我是一个自学成才的开发者，没有接受过正式教育。经过三个月的密集学习，我开发了一个可以在浏览器中运行的 Gröbner 基础引擎。
<p>它的功能：
- 解决复杂的四维系统，例如 w²+x²+y²+z²=1，带有对称约束
- 在 10 次迭代中生成 5 次多项式基
- 精确的 BigInt 算术运算，无近似值
- 纯 TypeScript 编写，无依赖库
<p>为什么这很重要：
这使得高级计算代数对任何拥有浏览器的人都变得可访问，无需昂贵的软件许可证。
<p>技术细节：
- 使用优化的配对选择的 Buchberger 算法
- 采用 AST 架构和享元/访问者模式
- 实际上可以处理多达 7 个变量
<p>在线演示： https://romimath.pages.dev
（目前支持 Gröbner 基础 - 更多功能将在本周推出）
<p>我非常希望能得到计算数学社区的反馈。
查看原文
I'm a self-taught developer without formal education. After 3 months of intense study, I built a Gröbner basis engine that runs in the browser.<p>What it does:
- Solves complex 4D systems like w²+x²+y²+z²=1 with symmetric constraints
- 5-polynomial basis in 10 iterations
- Exact BigInt arithmetic, zero approximations
- Pure TypeScript, no dependencies<p>Why it matters:
This makes advanced computational algebra accessible to anyone with a browser - no expensive software licenses needed.<p>Technical details:
- Buchberger algorithm with optimized pair selection
- AST architecture with Flyweight/Visitor patterns
- Handles up to 7 variables practically<p>Live demo: https://romimath.pages.dev
(Currently Gröbner basis - more features coming this week)<p>I'd love feedback from the computational math community.