News for hackers. Stuff that matters.
Re:LMFDB, a catalog of mathematical objects and the connecti... by nv-vn on Tuesday May 17, 2016 @03:06AM (#11711813)
The idea is awesome, but it sort of loses its usefulness to people who aren't math experts. It's very clear by looking at the website that it's _not_ meant to be a Wikipedia for math. That's definitely not a bad thing, but I think that this website leaves an opening for something conceptually similar (but different in its implementation) that would be a sort of digital pathway through as many math concepts as possible -- for example, you can start on a page formalizing the idea of numbers and click links to navigate to addition, and then later on to multiplication, etc. allowing one to study math from the ground up. Or, you could start at a high-level concept and work your way down to the simple math. The purpose wouldn't be for researchers to better connect math, but for students trying to learn how math comes together in a broader sense. I think that a site like that could serve the same general purpose we see here of collecting math into a big catalog, just in a way that's more friendly to newcomers.
Re:LMFDB, a catalog of mathematical objects and the connecti... by spuz on Tuesday May 17, 2016 @04:46AM (#11712084)
There is something like this already called Wolfram Mathworld [1]. As a mathematical laymen trying to solve the problems on Project Euler, Mathworld would often give me the insight I needed to find an efficient solution so it is a great tool for students.

[1] http://mathworld.wolfram.com/

Re:LMFDB, a catalog of mathematical objects and the connecti... by hasch on Tuesday May 17, 2016 @08:01AM (#11712844)
as someone who has been at their workshops, there are ideas to do that. the goal is to have a semantic database, with a 3form ontology.

look at these slides of the open dreamkit project: http://opendreamkit.org/meetings/2016-01-25-DKS/Kohlhase_sli... ... somewhere there lmfdb should be mentioned

Re:LMFDB, a catalog of mathematical objects and the connecti... by aardvark179 on Tuesday May 17, 2016 @04:42AM (#11712073)
Mathworld feels like it is part way to being the thing you want, but does mention Mathematica more than may be strictly necessary.
Re:LMFDB, a catalog of mathematical objects and the connecti... by sn9 on Tuesday May 17, 2016 @11:06PM (#11719428)
I think that's called a university undergraduate math curriculum.

You could look at the top n undergraduate math programs in your state and see what the flowchart of courses are and their corresponding syllabi and just go from there.