본문으로 이동

계산수론

위키백과, 우리 모두의 백과사전.

계산수론(computational number theory)은 수학컴퓨터 과학에서 알고리즘 수론(algorithmic number theory)으로도 알려진 것으로, 소수판별법소인수분해를 위한 알고리즘, 디오판토스 방정식의 해 찾기 등 수 이론 및 산술 기하학의 문제를 조사하고 해결하기 위한 계산 방법에 대한 연구이다. 산술 기하학의 명시적 방법이다. 계산수론은 RSA, 타원곡선 암호양자 후 암호를 포함한 암호학에 적용되며 리만 가설, 버치-스위너턴다이어 추측, Abc 추측, 모듈러성 정리, 사토-테이트(Sato-Tate) 추측, 랭글랜즈 프로그램의 명시적 측면 등에 응용된다.[1][2][3]

소프트웨어 패키지[편집]

참고 문헌[편집]

각주[편집]

  1. Carl Pomerance (2009), Timothy Gowers, 편집., “Computational Number Theory” (PDF), 《The Princeton Companion to Mathematics》 (Princeton University Press) 
  2. Eric Bach; Jeffrey Shallit (1996). 《Algorithmic Number Theory, Volume 1: Efficient Algorithms》. MIT Press. ISBN 0-262-02405-5. 
  3. Henri Cohen (1993). 《A Course In Computational Algebraic Number Theory》. Graduate Texts in Mathematics 138. Springer-Verlag. doi:10.1007/978-3-662-02945-9. ISBN 0-387-55640-0.