search

fredrik-johansson / fungrim

Fungrim: the Mathematical Functions Grimoire
MIT License
119 stars 15 forks source link

Skill tree: relations between formulas #3

Open gekaremi opened 5 years ago

gekaremi commented 5 years ago

First of all, I want to thank you and say that this is a wonderful project and I dreamed of a formula repository from the first year of university

It may be useful to indicate the relationships and dependencies between different formulas. This can be used to explore and visualize relations between different branches.

Initially, this idea was for a catalog of theorems, in which dependencies between different theorems were their previously proved theorems could be used to prove new ones, as dependencies between software packages in package managers.

fredrik-johansson commented 5 years ago

It's a great idea! The easiest way to do this would be to manually enter cross-references as entry metadata.

Once there are a lot more formulas, it could be interesting to have some code that figures out relations automatically.