semantic-mathematics

Here are 2 public repositories matching this topic...

YucongDuan / YucongDuan

Official GitHub research hub for Yucong Duan (段玉聪): DIKWP, artificial consciousness, semantic mathematics, auditable AI, patents, conferences, and open-source systems.

open-source artificial-consciousness research-profile auditable-ai dikwp semantic-mathematics yucong-duan

Updated Aug 25, 2026

YucongDuan / Complete-Information-Theoretic-Mathematics-Problem-to-Certificate-Compiler

Star

Compile mathematical problems into deterministic, hash-linked, machine-readable audit certificates with explicit proof boundaries. / 语义数学问题—证书编译器。

information-theory proof provenance research-tool formal-methods dikwp semantic-mathematics

Updated Aug 25, 2026

Improve this page

Add a description, image, and links to the semantic-mathematics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the semantic-mathematics topic, visit your repo's landing page and select "manage topics."

Learn more