earticle

바둑 게임에서의 정리(定理) 증명

Tristan Cazenave

국제바둑학회(구 한국바둑학회) 한국바둑학회 국제학술대회논문집 2001 국제 바둑학 학술대회 논문집 2001.05 pp.267-285

정리증명을 이용한 RFID 인증 프로토콜 설계 및 검증

오정현, 최진영

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.301-303

개선된 자동정리증명 기법에 기초한 유한체상의 디지털논리시스템 구성

박춘명

[Kisti 연계] 한국해양정보통신학회 한국해양정보통신학회논문지 Vol.10 No.10 2006 pp.1773-1778

불완전한 지식에서 정리증명을 위한 확률추론

김진상, 신양규

[Kisti 연계] 한국데이터정보과학회 한국데이터정보과학회지 Vol.12 No.1 2001 pp.61-69

정리 증명기의 개발 동향

김익순

[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.29-33

피타고라스 정리와 증명의 발견 과정 재구성

한대희

[Kisti 연계] 대한수학교육학회 학교수학 Vol.4 No.3 2002 pp.401-413

피타고라스 정리와 증명의 발견 과정 재구성

한대희

[Kisti 연계] 대한수학교육학회 대한수학교육학회 학술대회논문집 2002 pp.307-323

피복정리의 증명에 대하여

임동일

[Kisti 연계] 한국수학교육학회 한국수학교육학회지시리즈A:수학교육 Vol.17 No.1 1978 pp.25-27

괴델의 불완전성 정리:증명된 신화(神話)?

홍성기

[Kisti 연계] 한국논리학회 논리연구 Vol.5 No.2 2002 pp.39-66

종이접기에서 Haga 정리의 증명과 일반화에 대한 연구

이성현, 정상혁, 한인기

[Kisti 연계] 한국수학교육학회 한국수학교육학회지시리즈E:수학교육논문집 Vol.22 No.1 2008 pp.65-77

수학사적 관점에서 본 피타고라스 정리의 증명

최영기, 이지현

[Kisti 연계] 대한수학교육학회 학교수학 Vol.9 No.4 2007 pp.523-533

테크놀로지를 활용한 사인함수의 덧셈정리 증명 - 수학영재아를 중심으로 한 사례연구 -

이헌수, 박종률, 정인철

[Kisti 연계] 한국수학교육학회 한국수학교육학회지시리즈A:수학교육 Vol.48 No.4 2009 pp.387-398

비전문가에 의한 각의 3등분과 페르마정리의 증명

방승진

[Kisti 연계] 한국수학사학회 한국수학사학회 학술대회논문집 2005 p.4

DNA 컴퓨팅을 이용한 혼 절 논리 정리 증명

박의준, 남진우, 이인희, 장병탁

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.58-60

벡터를 이용한 삼각형의 무게중심에 관한 정리 증명에 관련된 탐구 능력 추출

한인기

[Kisti 연계] 한국수학교육학회 한국수학교육학회지시리즈E:수학교육논문집 Vol.13 No.1 2002 pp.305-316

단일입력 불확실 비선형 시스템에 대한 Utkin 정리의 증명

이정훈

[Kisti 연계] 대한전기학회 電氣學會論文誌 Vol.66 No.11 2017 pp.1612-1619

효율적인 자동 주석을 위한 단어 임베딩 인공 신경 정리 증명계 구축

양원석, 박한철, 박종철

[Kisti 연계] 한국정보과학회 정보과학회논문지 Vol.44 No.4 2017 pp.399-410

피타고라스 정리의 유클리드 증명에 관한 일반화

정영우, 김부윤, 김동영, 류동민, 박주형, 장민제

[Kisti 연계] 영남수학회 East Asian mathematical journal Vol.31 No.4 2015 pp.459-481

피타고라스 정리의 다양한 증명 방법과 수학교육학적 아이디어 분석

김영록, 노희성, 손은해

[Kisti 연계] 한국수학교육학회 한국수학교육학회지시리즈E:수학교육논문집 Vol.23 No.3 2009 pp.887-921

Morley 정리의 한 증명방법과 그 활용에 대한 연구

이상근, 이춘구

[Kisti 연계] 영남수학회 East Asian mathematical journal Vol.24 No.5 2008 pp.521-526