d라이브러리

케플러의 구포장 문제는 공간에 구를 가장 많이 채우는 방법을 찾는 문제다. 이 문제는 최근 시앙이라는 수학자에 의해 해결되었다고 한다. 그의 증명은 고전기하학을 바탕...

케플러의 가설에 따르면 과일을 피라미드처럼 쌓는 것이 주어진 공간에 최대한 많이 담는 법으로, 이는 1998년 토머스 헤일즈가 증명했다. 컴퓨터를 활용한 복잡한 증명 과...