News for hackers. Stuff that matters.
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

There are no comments on this comment yet.