Symbolic Algorithms Standards

[Ralf Hemmecke]

Hi,

would this thread be interesting to SymbolicData?

http://lists.nongnu.org/archive/html/axiom-developer/2014-08/msg00000.html

At least I feel that the database approach of SD would be good for a
project such as creating a lattice of papers on symbolic algorithms.

I guess, as always the biggest problem is: who is going to fill that DB.

Ralf

[hgg]

Hi Ralf,

there are some efforts going on towards a Digital Library of
Mathematics, see
http://www.nap.edu/catalog.php?record_id=18619 or
https://eudml.org/
or panel 3 at the ICM 2014 in Seoul.

So it would definitely be a good idea to coordinate own efforts with
those. Anyway, at the CICM-14 in Coimbra I had the strong impression
that even for projects as the Math functions there are several not very
well cooperating approaches, as the controversy about Wolfram Alpha
(Erik Weisstein) and the NIST MF Project (Howard Cohl) in the coffee
breaks indicated (in particular Michael Kohlhase strongly emphasized
that Wolfram Alpha is great but NOT FREE in a cultural sense - FREE as
in free speech, of course).

For software rather than algorithms there is the Zentralblatt swmath
project with some efforts to link papers and software (and thus,
algorithms).

For the moment I have the strong feeling that it is due time not for
another data cemetary but get people to discuss the plenty open issues.

A central point of my talks on SD is the question "How get passive users
into active ones"? So we try to compile first "passive users" - upto now
the SD people database http://symbolicdata.org/Data/People/ contains 670
URIs.

The old SD bibliographical database
http://symbolicdata.org/Data/Bibliography/ contains 55 entries, much
more, in particular references to books from the web site of the German
Fachgruppe, is on the way, a third database
http://symbolicdata.org/Data/ConferencePapersAndTalks/ (227 papers, 36
Talks) was compiled from recent conference talks. All with author
disambiguation, i.e. replacing the authors by their URI, so one can
navigate from people to papers to software etc. in a semantically
enriched way.

We try to link the papers to big data stores with bibliographic
information as, e.g., the Zentralblatt, keep minimal fingerprints of the
papers to identify them properly, and concentrate on tagging of such
papers and talks.

We are going the (yet long) way from a centrally managed data store to a
distributed approach as explained at http://symbolicdata.org/wiki/CASN
and will get operated a distributive semantic aware Social Network at
http://symbolicdata.org/xodx - at least on the long run.

That's all for the moment I can contribute to your question.

To resume my remarks: No brainstorming, no progress. CC to Wolfram, my
main "brainstorming partner" at the moment.

Best regards, hgg

--

apl. Prof. Dr. Hans-Gert Graebe, Inst. Informatik, Univ. Leipzig
postal address: Postfach 100920, D-04009 Leipzig
Hausanschrift: Augustusplatz 10, 04109 Leipzig, Raum P-633
tel. : +49-341-97-32248
email: gra...@informatik.uni-leipzig.de
Home Page: http://www.informatik.uni-leipzig.de/~graebe