ProdCAS: 北太天元符号计算内核(详解篇)
ProdCAS: 北太天元符号计算内核北太天元&北太真元2026ProdCAS:一个符号计算内核的四十年近日,由北京大学李若教授带领的北太天元团队与中国科学院数学与系统科学研究院贾晓红研究员带领的软件开发团队合作研发的通用符号计算引擎ProdCAS完成v2.0.0版本交付。按照计划,它将在北太天元的2026版(2026年10月发版)中进入插件体系开展试用,邀请广大用户参与测试。就软件本身而言,这是一次版本发布:以C++17从零实现,代码规模十万行出头,...
浏览: