Before you do this you need to come up with a systematic way of organizing them by categories. This would require some sort of systematic logic, which if you are working in pure mathematics might be etale or Grothendieke category cohomology. If so, this might have to be cross-referenced with some other categorical system based on either applicable area of work and so forth.
LC On Saturday, November 26, 2022 at 12:25:43 AM UTC-6 Mindey I. wrote: > *How would we go about creating a referencible repository of mathematical > models?* > > Mathematical formulas used for science are a world-modeling tool useful in > imagining and decision making. However, entering formula is different in > each CAS <https://en.wikipedia.org/wiki/Computer_algebra_system> software > systems (like Maple, Mathematica, SageMath, Sympy, Maxima, R, GeoGebra, > etc.) is different, meaning that every time want to use a function or > equation in context of another CAS system, we have to manually enter or > rewrite the same formula in other syntactic rules, which is > attention+time-consuming. It's like having one address, and looking it up > on each different geographical maps application manually. It has to be > automated. Geographers, in the development of Wikipedia, had solved this > via a straightforward script, called GeoHack script > <https://geohack.toolforge.org/geohack.php?pagename=North_Pole¶ms=90_N_0_E_region:XN>, > > tha gives a list of links to open geographic coordinates in a set of > different map providers. Can we have something like coordinates for > mathematical formulae? > > Number theorists have catalogued > <https://oeis.org/wiki/Welcome#Welcome_to_The_On-Line_Encyclopedia_of_Integer_Sequences.C2.AE_.28OEIS.C2.AE.29_Wiki> > the > integer sequences by building "The On-Line Encyclopedia of Integer > Sequences" - oeis.org, so today, we can say "Positive Integers" is the > ID: A000027 <https://oeis.org/A000027>, or "Non-negative integers" is the > ID: A005843 <https://oeis.org/A005843>, and so on. > > However, in the rest of mathematics, physics, chemistry and lifesciences > this isn't the case. While we have repositories of genomes with each gene > ID, there seem to be no IDs for the important relationships like "Taylor's > expansion", "Ohm's Law", "Bayes theorem", "Combined gas law", "Pythagora's > theorem", "Relativistic rocket equation" or pretty much any other important > relationship, there's no ID or a coordinates for that formula. > > Do you know any systematic index or map of mathematical models online? > > What such map should be? Link to any ideas and projects about creating > such an map. > > Here is my thoughts on creating such a map: > https://wefindx.com/method/178001/ (should I repost it here?) > > What would be your thoughts? > > -- > Mindey > > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/29646e9a-5af9-48f3-98e8-df54b247e078n%40googlegroups.com.
