跳到主要内容
说明书
应用
交叉
理论
形式
计算
专栏
源代码
形式
形式科学|Formal Science
关注抽象形态,涉及到的可能有数学、统计和计算机科学
🗃️ 分析
2 个项目
🗃️ 代数
1 个项目
🗃️ 优化
3 个项目