đóng phần này của thư viện Toán học (945)
đóng phần này của thư viện Ứng dụng tin học (1)
Xem tài liệu Phương pháp WU trong chứng minh tự động định lý hình học