Lean을 통해 수학 이해하기: 새로운 접근법과 그 가능성
Lean은 수학적 증명을 컴퓨터로 검증할 수 있게 하는 프로그래밍 언어입니다. 이 글에서는 Lean이 수학 교육과 연구에 어떤 영향을 미치는지, 그리고 이를 실무에 어떻게 적용할 수 있는지 살펴봅니다.
수학
다항식의 근을 시각화하다: 2swap의 5차 방정식 영상에서 받은 영감
2swap의 5차 방정식 영상을 통해 다항식의 근을 시각화하는 방법을 살펴보고, 이를 통해 얻을 수 있는 통찰력을 소개합니다.