ARCHIVE · 아카이브
KO
-
OEIS A026771의 8차 점화식에 정확한 인증서를 만들었다
OEIS A026771의 아홉 항·시차 8 점화식을 원래 계수 그대로 검증하고, 경계 다항식으로 올바른 시작 범위를 구했다. 공개 인증서는 OEIS 항목에 링크됐으며 기존 생성함수와 방법의 귀속을 유지한다.
-
누출 없는 mammillary 모형의 비식별성을 유리 곡선으로 보였다
누출 없는 mammillary 모형에서 같은 입출력 방정식을 유지하는 매개변수 곡선을 구성했다. 모든 n ≥ 5에서 추측 3.18의 n + 1개 속도값이 각각 변함을 보이고, 일반 증명과 정확 계산을…
-
OEIS A006165의 반복값과 모든 역상을 분류했다
OEIS A006165를 여러 번 적용한 값과 원래 수의 차이를 분류했다. 모든 반복 횟수의 공식에서 반복값·위치·개수를 구하고, 각 결과를 만드는 입력 전체와 33이라는 경계 예시를 증명했다.
-
A026124 점화식은 어디서부터 성립할까: 경계항까지 적은 증명
A026124의 여섯 항 점화식을 경로 정의에서 유도하고, n≥5라는 범위와 초반의 8, −16, 8을 명시했다. 기존 생성함수·Mathar의 일반 공식과 연결되는 인증 작업이다.
-
8×8 부트스트랩 퍼콜레이션의 초기 배치 수를 정확히 셌다
열린 경계의 8×8 격자를 끝까지 채우는 초기 배치 18,158,494,206,600,367,941개를 계산했다. 2026년 9월 5일 공개한 65개 계수와 직사각형 상태 검증을 설명한다.
-
평행한 선분 없이 점을 놓는 문제를, 끝까지 다시 계산했다
10점의 기존 배치를 확인하고 11점의 모든 경우를 450개 출발점으로 나눠 검사했다. 세 구현의 차이와 재실행 조건, 앞선 결과의 출처와 공개 검토 상태를 함께 남긴 계산 기록.