WRK-01 // SOFTWARE ENGINEERING2026
矩阵计算器 · 精确有理数
基于 BigInt 构造有理数代数域,消除浮点截断误差,支持初等行变换事件回放与标准 LaTeX 推导。
01 //BigInt 动态约分有理数内核,分数域精确消元
02 //Bareiss 整数环消元算法,抑制行列式中间分数膨胀
03 //Faddeev–LeVerrier 谱迹递推求解特征多项式与伴随矩阵
04 //基于代数公理的 fast-check 属性测试与 SymPy 交叉比对
02 / Tracks
Artificial Intelligence
探索大模型智能体与计算机视觉前沿
Intelligent Software Engineering
融合现代软件工程与 AI 智能体
Database Technology
深耕分布式存储与国产信创数据库
Intelligent Cloud & IoT
打通端、边、云一体化全链路协同
Industrial Digital Intelligence
软硬结合深度赋能工业 4.0 智能制造
03 / Featured Project
基于 BigInt 构造有理数代数域,消除浮点截断误差,支持初等行变换事件回放与标准 LaTeX 推导。
04 // RECRUITMENT