← Về trang chính1 tin
Hình thức hóa bằng Lean cho chứng minh tính tối ưu của việc xếp 11 hình vuông - Queuingtheorydotcom/11SquaresFormalized
Lịch sử nội dung (2)
- 2026-10-10 · Tóm tắt · vi · Sửa câu chữHình thức hóa bằng Lean cho chứng minh tính tối ưu của bài toán xếp 11 hình vuông – theo …Hình thức hóa bằng Lean cho chứng minh tính tối ưu của việc xếp 11 hình vuông - Queuingth…
- 2026-10-10 · Tiêu đề · vi · Sửa câu chữChứng minh bằng máy tính cho bài toán xếp 11 hình vuông tối ưuChứng minh có sự hỗ trợ của AI về cách xếp 11 hình vuông tối ưu
Đăng nhập để góp ý, chỉnh sửa
Nguồn chính
- THẢO LUẬNbluepeternews.ycombinator.com