수학
수학적 개념, 이론, 퍼즐 및 응용
-
수학
유클리드의 '원론'은 수천 년간 기하학을 형성했습니다
-
수학
피타고라스 정리, 고대 비밀을 풀다
-
수학
소수는 당신의 온라인 비밀을 보호합니다
-
수학
형식 언어에서 진리는 정의할 수 없다
-
수학
Isabelle/HOL: 컴퓨터가 수학의 정확성을 증명하다
-
수학
컴퓨터는 수학 정리를 완벽한 정확도로 증명할 수 있습니다
-
수학
아벨라, 논리 프로그래밍의 숨겨진 규칙을 증명하다
-
수학
린의 엔진은 복잡한 수학 증명을 자동화합니다
-
수학
NuPRL, 수학 증명을 완벽한 프로그램으로
-
수학
작은 모델이 무한 집합을 이해할 수 있을까?
-
수학
컴퓨터가 수학 오류를 확인합니다
-
수학
코드와 논리는 동전의 양면이다
-
수학
트웰프는 수학 검증 도구를 분석합니다
-
수학
이 논리는 배중률을 거부합니다
-
수학
마티타, 컴퓨터의 수학 증명 확인을 돕다
기타 카테고리
카테고리 →