최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기주관연구기관 | 이화여자대학교 Ewha Womans University |
---|---|
연구책임자 | 김선영 |
보고서유형 | 최종보고서 |
발행국가 | 대한민국 |
언어 | 한국어 |
발행년월 | 2020-03 |
과제시작연도 | 2019 |
주관부처 | 과학기술정보통신부 Ministry of Science and ICT |
등록번호 | TRKO202000005116 |
과제고유번호 | 1711087132 |
사업명 | 개인기초연구(과기정통부)(R&D) |
DB 구축일자 | 2020-07-29 |
키워드 | 증명보조기.선형대수학.수리논리.Coq. |
□ 연구개요
본 연구는 수리논리 프로그래밍 언어인 증명보조기 Coq을 활용하여 수학자들이 쉽게 배우고 다룰 수 있는 행렬 계산기와 선형대수 증명보조 프로그래밍 도구를 개발하는 것이 기존 목표였다. 이 주제는 이미 유럽 등지 에서 활용하는 수리논리 프로그래밍 언어를 국내의 연구 도구로 활용하여 진행한다는 데에서 의미를 지니며, 국내 수학의 발전과 대중화 및 연구 분야의 다양화를 이끌어낸다는 점에서도 매우 중요한 연구이다.
□ 연구 목표대비 연구결과
기존 달성 목표는 1차 년도에 기초 대수 패키지 확보, 2차 년
※ AI-Helper는 부적절한 답변을 할 수 있습니다.