Physlib

About

Impact

Why formalize physics?

01

Make it easier to find and reference existing results across physics.

02

Enable AI and machine learning to automate discovery of new results.

03

Check papers and results for mathematical correctness automatically.

04

Create new avenues through which physics can be taught and explored.

05

Open new ways to interface between theory and computer programs.

06

Build a shared, standardized foundation for the whole physics community.

Read the paper: arXiv:2405.08863