수학적 증명 목록
List of mathematical proofs수학적 증명서가 있는 기사 목록:
주로 증명에 전념하는 기사의 정리
- 베르트랑의 가설과 증거
- 공분산 행렬 추정
- 페르마의 소정리와 몇 가지 증명
- 괴델의 완전성 정리 및 그 원증명
- 수학적 귀납과 증명
- 0.999의 증거...1과 같다
- 22/7이 †를 초과하는 증거
- e가 불합리하다는 증거
- is가 불합리하다는 증거
- 소수들의 역수 합계가 분산된다는 증거
(의) 증거를 제시하는 이론적인 것에 전념하는 기사
- 바나흐 고정점 정리
- 바나흐-타르스키 역설
- 바젤 문제
- 볼자노바이어슈트라스 정리
- 브루어 고정점 정리
- 버킹엄 δ 정리(증명 진행 중)
- 번사이드 보조군
- 칸토르의 정리
- 칸토르-베른슈타인-슈뢰더 정리
- 케일리의 공식
- 케일리의 정리
- clique 문제(할 일)
- 콤팩트성 정리(매우 콤팩트한 증명)
- 에르데스-코-라도 정리
- 오일러 공식
- 오일러의 사방정식
- 오일러의 정리
- 오색 정리
- 다섯 가지 보조군
- 산술의 기본 정리
- 가우스-마르코프 정리(간단한 증명 포인터)
- 괴델의 불완전성 정리
- 괴델의 첫 불완전성 정리
- 괴델의 두 번째 불완전성 정리
- 굿스타인의 정리
- 그린의 정리
- D가 단순 영역일 때 그린의 정리
- 하이네-보렐 정리
- 중간값 정리
- 이토의 보조군
- 쾨니히 보조군
- 쾨니히 정리 (집합론)
- 쾨니히 정리 (그래프 이론)
- 라그랑주 정리(군론)
- 라그랑주 정리(수론)
- 리우빌 정리(복소해석)
- 마르코프 부등식(일반화의 증거)
- 평균값 정리
- 다변량 정규 분포(작업관리)
- 정칙함수는 해석함수이다.
- 피타고라스 정리
- 이차 방정식
- 몫법칙
- 램지의 정리
- 라오-블랙웰 정리
- 라이스의 정리
- 롤의 정리
- 쪼개기 보조군
- 스퀴즈 정리
- 미분의 합계 규칙
- 통합에서의 합계 규칙
- 시로우 정리
- e와 θ의 초월(린데만의 결과로서-)Weierstrass)
- 타이코노프의 정리
- 울트라필터 레마
- 초평형 정리
- 유리손의 보조군
- 판 데르 바덴 정리
- 윌슨 정리
- 조른의 보조군
정확성을 증명하는 알고리즘에 관한 기사
- Bellman-Ford 알고리즘(할 일)
- 유클리드 알고리즘
- 크루스칼 알고리즘
- 게일 섀플리 알고리즘
- 프림 알고리즘
- Shor 알고리즘(불완전)
예문을 증명하는 기사
기타 교정을 포함한 물품
- 누적점
- N에 추가
- N첨가결합성
- N첨가환율
- N에서의 덧셈의 고유성
- 알고리즘 정보 이론
- 부울링
- 부울링의 정류성
- 부울 만족도 문제
- 부울 만족도 문제의 NP 완전성
- 칸토어의 대각선 인수
- 세트가 전원 세트보다 작습니다.
- 실수의 불가수
- 칸터의 첫 번째 불가산성 증명
- 실수의 불가수
- 조합
- 조합논리
- Co-NP
- 코제트
- 카운트 가능
- 계산 가능한 집합의 부분집합(할 것)의 계산 가능성
- 평행각
- 갈루아군
- 갈로아 이론의 기본 정리
- 괴델수
- 괴델의 불완전성 정리
- 그룹(수학)
- 정지 문제
- 정지 문제의 불용성
- 조화 급수(수학)
- (표준) 고조파 급수의 발산
- 높은 복합수
- 쌍곡선 섹터 면적, 쌍곡선 각도 기준
- 무한급수
- 첫 번째 항 1과 비율 1/2를 갖는 기하 급수의 수렴
- 정수 파티션
- 무리수
- log3의2 불합리성
- 2의 제곱근의 불합리성
- 수학적 귀납
- 총항등식
- 멱함수 규칙
- x의 미분n
- 제품 및 지수 규칙
- 구별을 위한 제품 및 지수 규칙의 파생.
- 소수
- 소수 무한도
- 원시 재귀 함수
- 이원성의 원리
- 직관적 논리에서는 어떤 명제도 참도 거짓도 아니다
- 재귀
- 관계 대수(할 일)
- 해결 가능한 군
- 제곱근 2
- 테트리스
- 집합의 대수
- 집합 합집합과 교집합에 대한 등가 법칙
이론의 의존성을 언급한 기사
- 코시의 적분 공식
- 코시 적분 정리
- 계산기하학
- 대수학의 기본 정리
- 람다 미적분
- 영역의 불변성
- 민코프스키 부등식
- 내쉬 삽입 정리
- 오픈매핑정리(함수해석)
- 제품 토폴로지
- 리만 적분
- 시간 계층 정리
- 결정론적 시간 계층 정리
