h a l f b a k e r y
Number one on the no-fly list
add, search, annotate, link, view, overview, recent, by name, random
news, help, about, links, report a problem
or get an account
Just as there is a Hierarchies list for Usenet like "alt.*",
there should be a commonly agreed to Hierarchies for
mathematical equations. Kind of like a Dewey system but
e.g. in usenet:
comp.* Discussion of computer-related topics
news.* Discussion of Usenet itself
Discussion of scientific subjects
mathDB.circle.* would have mathDB.circle.radius
classified under it.
Of which if this was sent as a query to a MathDB as
"mathDB.circle.radius" it will retrieve semantic marked
up MathML of the formula and how it was derived, and
typical symbols used for it. etc...
Could possibly also have it classified as decimal numbers
like Dewey system as well, for shorter references.
If hooked to a mathematical database (a MathDB), it
allow for meta information about each equations to be
retrieved. (e.g. Automatic retrieval of symbol
and meaning of an equations to place in the 'legends' box
next to an equation. Means faster compilation of
accurate lecture slide. )
Furthermore other information such as derivations can
retrieved from the database for an equation. Of which
derivations can be recursively expanded as needed until
reaches set theory.
The data is stored via MathML as much as possible since
can store semantics within it's structure.
Used to describe algorithms in a much higher abstract sense
[mofosyne, Jun 20 2014]
Markup language for maths [mofosyne, Jun 20 2014]
distributed bulletin board system [mofosyne, Jun 20 2014]
The Online Encyclopedia of Integer Sequences
Another angle. [jutta, Jan 03 2016]
||So namespaces, but for math. Normally, my bun wouldn't
be dependent on exactly *why* one would want to
implement an idea, but in this case I feel it's relevant. The
idea behind namespaces is that users (of the programming
language) can define their own modules, classes, functions,
on. Unless you're planning to define your own mathematical
functions, why bother? (And, incidentally, if you *are*
planning to, you must be a Haskell programmer.)
||I think you want object-oriented mathematics.
||One of the most commonly used examples of why object class inheritance should be minimized concerns mathematical objects. I've forgotten now how the example works, but I suspect it's bad news for this idea. [no vote]
||This structure is precisely what Oracle claims
copied from Java.
||And, in a somewhat unbelievable coincidence,
law firm in that case was MoFo. (That's Morrison /
||So, if it turns out that you're Michael Jacobs, just
out here trolling us, I will place a wing-tip in your
ass next time I see you at court.
||('course, I'd want to be *sure* first. I wouldn't want
to do that and be mistaken.)