IBM/AI-Hilbert

AI Hilbert is an algebraic geometric based discovery system (based on Putinar's Positivstellensatz), that enables the discovery of fundamental laws of nature (or non-physical systems) based on knowledge (articulated in formal logic terms) and experimental data.

语言：Jupyter Notebook · GitHub 星标：44 · Fork：7

在 GitHub 上查看原仓库