Những gì chúng ta biết là π là vô hạn và hoàn toàn có khả năng nó chứa mọi chuỗi chữ số hữu hạn có thể có ( chuỗi phân biệt ). Gần đây tôi đã thấy một số nguyên mẫu của πfs giả định rằng mọi tệp bạn đã …
Lý lịch Tôi đang học hỗ trợ, Coq, một mình. Cho đến nay, tôi đã hoàn thành việc đọc Coq của Yves Bertot trong một vội vàng . Bây giờ, mục tiêu của tôi là chứng minh một số kết quả cơ bản liên quan đến các số tự nhiên, …
Đối với phương pháp phân nhánh, điều cần thiết là phải biết nhiều khía cạnh của các đa giác được tạo ra bởi vấn đề. Tuy nhiên, hiện tại đây là một trong những vấn đề khó khăn nhất để thực sự tính toán tất cả các khía cạnh của …