정밀 실수와 복소수 연산 라이브러리 칼슘
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
칼슘은 실수와 복소수를 정확히 다루는 C 라이브러리로, 수를 유한한 대수 확장 Q(a₁,…,aₙ) 의 원소로 표현한다. 확장 원소는 대수적이든 초월적이든 상징적으로 정의되며, 자동으로 대수 관계를 발견·인증한다. 이를 통해 넓은 범위의 수에 대해 등식 판정이 엄격히 결정 가능하도록 구현하였다.
상세 분석
칼슘은 실수·복소수 체 ℝ, ℂ 를 유한 생성 부분체 K = ℚ(a₁,…,aₙ) 으로 모델링한다. 각 aₖ 는 대수적이거나 초월적일 수 있으며, 이를 형식 변수 Xₖ 에 대응시켜 평가 동형 μ:ℚ
댓글 및 학술 토론
Loading comments...
의견 남기기