计算机辅助证明
维基百科,自由的
encyclopedia
计算机辅助证明
是一种部分或全部内容以电脑协助之数学证明。
此条目
需要扩充。
(
2013年2月14日
)