학위논문(석사) - 한국과학기술원 : 전산학부, 2017.8,[iii, 41 p. :]
Computable Analysis▼aExact Real Computation▼aFormal Verification▼aMatrix Diagonalization; 계산 해석학▼a실수 연산▼a프로그램 검증▼a행렬 대각화
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.