電腦協助證明
維基百科,自由的
encyclopedia
電腦協助證明
是一種部份或全部內容以電腦協助之數學證明。
此條目
需要擴充。
(
2013年2月14日
)