在這篇社區文章中，我想放一些高度吸引人的遊戲和互動環境的連結（免費提供），幫助人們探索編程和數學中的高深概念。如果你知道其他有趣的地方可以參觀，請在下面發帖。玩得開心！ Lean： 一系列高度吸引人的編程謎題，幫助你學習數學是如何被證明和形式化的。你將不再以同樣的方式看待 5*7=7*5 的難度。 NandGame： 你可以從零開始製作自己的處理器（甚至 NAND 是由更簡單的電路組成的）。非常上癮且超級有趣！ Quantum Flytrap： 在這裡你將最終理解量子計算。色彩繽紛、無限、引人入勝，並且數學上非常深奧。 Scratch： 以有趣的方式學習編程。 Euclidea： 學習如何用尺和圓規進行構造。這曾經是學校教育的一部分，但現在它是一個應用程式。既有趣又非常有資訊。 Planarity： 嘗試找到一個圖的嵌入，顯示它確實是平面的。 Golly： 終極的細胞自動機探索者。 如果你想深入了解： SageMath： 這是一個強大的計算機代數系統，使用 Python 語法。它非常適合課程，SageMath 的語法與常規數學話語更接近。我喜歡用 SageMath 教課。 GeoGebra： 你可以進行證明、計算和互動小應用。這是一種有趣的方式來學習許多不同的本科數學方面。 Wolfram Demonstration Projects： 一系列數學小應用，幫助你理解非常複雜的主題。你不需要 Mathematica 來運行，但你需要它來設計自己的小應用。 The Mechanics of Proof (由 Heather Macbeth 編寫)： 這是一本書，附有互動的 GitHub 倉庫，你可以更全面地學習 Lean 的結構和語法。 An Illustrated Theory of Numbers (由 Martin H. Weissman 編寫)： 這是一本關於初等數論及其應用的教科書。這些應用可以從網站上獲得，作為一系列免費的 Jupyter Notebooks，教你關鍵概念。 Graphical Linear Algebra： 以插圖和某種程度的互動方式學習代數中的深刻概念。 HomotopyContinuation.jl： 這是一種極其美麗且互動的（使用 Julia）學習代數幾何中一些高度複雜概念（連通分量、同倫延續方法）的方法，並應用於來自應用的非常特殊的代數系統。你可以在過程中學習 Julia。 Mathamaze： 這是 Helena Verrill 的一個體驗。美麗的幾何、鋪砌、圖案。簡直太棒了。 難以解釋： n: the way of the ninja： 如果你認為數學很難。以艱難的方式學習耐心。警告：高度上癮 HyperRogue： 你可以在類似流氓的環境中學習雙曲幾何。