Blog de Hqak (WXYHLY)

Home Archives Programs About

2024

12月 21

Introduction to Type Theory and Machine Proof

11月 17

Introduction to Axiomatic Set Theory

分类

4D Computer Graphics1
Four-Dimensional Space Series10
Four-Dimensional World Series10
Peculiar World Series1
Tesserxel系列4
四维世界系列2
四维空间系列5
四维计算机图形学2
奇特世界系列3

链接

WXYHLY(Hqak)的B站链接
Hadroncfy's Notebook

标签云

2b2t 4D 4dViewer Algebra Bilibili video Chemistry Four-Dimensional Four-dimensional Games Geometric Algebra Geometry Graphics Group Theory Hutton32 Mathematical Logic Mathematics Minecraft Peculiar Imagination Physics Rendering Series Series Articles Series articles Topology four-dimensional fractals games geometry googology graphics hyperbolic space javascript mathematics music physics series series articles simulation tesserxel topology webgpu 代数几何动画双曲空间四维图形图形学奇特想象拓扑学数学杂记模拟物理电路算法系列文章翻译自动机自我描述递归

归档

20254
20247
20237
20225
20211
20207
20193
20185
20171
201619

最新文章

Four-Dimensional Space (14): Plane State Space and Angle Problems (Part 1)
Four-Dimensional World (12): Material Structure
Four-Dimensional World (XI): The Periodic Table
Four-Dimensional Space (Part 13): Hyperspherical Harmonics
Introduction to Type Theory and Machine Proof

© 2025 wxyhly
Powered by Hexo

Home Archives Programs About