시리즈 | Quantum Chemistry - 0. 양자화학이란?
양자화학의 세계에 여러분을 초대합니다~!
Latest
테브난 정리 | Thevenin's Theorem
복잡한 회로를 단순화하는 획기적인 방법
Tregs
2025 Nobel Prize in Physiology or Medicine ... "For the Discovery of Peripheral Immune Tolerance"
슈트라센 알고리즘
행렬 곱 빠르게 하기
딥러닝으로 증명하기(DL4TP)
https://github.com/ZHAOYU-LI/dl4tp
1. DL4TP란 무엇인가?
Welcome to our repository! This is a curated collection of resources related to deep learning for theorem proving.
수학 정리 증명(Theorem Proving) 분야는 오랫동안 사람이 작성한 논리 규칙 등에 기반해 발전해왔다. 하지만, 최근에는 대형 언어 모델(LLM)들이 빠르게 이 분야의
Proof of the Intermediate Value Theorem
Stewart Calculus에 나오는 Intermediate Value Theorem을 증명하여 보았다.
오일러 공식을 이끌어내는 5가지 방법
Introduction
오늘은 오일러 공식을 이끌어내는 5가지 방법을 알아보도록 하자.
제목이 <오일러 공식을 증명하는 5가지 방법>이 아니라 <오일러 공식을 이끌어내는 5가지 방법>인 이유는 엄밀한 증명을 위해서는 고급 수학을 다뤄야 하기 때문이다. 그래서 수학적 엄밀함 보다는 아이디어에 초점을 맞추고 글을 읽도록 하자.
I. 테일러 급수
각