C-D18I-DUAL-46

Đa diện dual bậc-5 có đúng 46 đỉnh hữu tỉ, liệt kê đầy đủ, mỗi đỉnh là một minorant bậc-5 hợp lệ

Đã chứng minh (nội bộ)Evidence I2Phạm vi: exact rational enumerationTừ gate-d18

Nói dễ hiểu

Họ chứng chỉ bậc năm tốt nhất có thể là một danh sách hữu hạn gồm 46 phần tử chính xác.

Phát biểu chính xác

Đa diện dual bậc-5 có đúng 46 đỉnh hữu tỉ, liệt kê đầy đủ, mỗi đỉnh là một minorant bậc-5 hợp lệ

Tất cả claimXem trên bản đồ