Ψηφιακές Βιβλιοθήκες

1. ΠΜΣ Επιστήμη της Πληροφορίας Υπηρεσίες Πληροφόρησης σε Ψηφιακό Περιβάλλον Μάθημα: Ψηφιακές Βιβλιοθήκες Εισηγητής:Σαράντος Καπιδάκης Εργασία: «Ψηφιακές Βιβλιοθήκες για τα Μαθηματικά" Σιώχος Βασίλης Κέρκυρα Ιανουάριος 2006

2. Εισαγωγή • Ιδιαιτερότητες – Προβλήματα • Ταξινομικά Συστήματα Μαθηματικών • Σχήματα Περιγραφή μαθηματικών • Ψηφιακές Βιβλιοθήκες για τα μαθηματικά (Euler - Euclid)

3. Σκοπός Βιβλιοθήκης Μαθηματικών • Καταγραφή – Οργάνωση Μαθηματικής Γνώσης • Διάχυση της Μαθηματικής Γνώσης • Επισκόπηση Μαθηματικών Δημοσιεύσεων "Η νέα επιστήμη εξαρτάται καθοριστικά από την παλαιότερη γνώση. Το 50% των σύγχρονων αναφορών αναφέρονται σε δημοσιεύσεις πριν το 1990 και το 25% σε δημοσιεύσεις πριν το 1980." (MSRI, 2004)

4. Περιεχόμενο • Κείμενο:π.χ. μια βιογραφία ενός μαθηματικού, αποτελεί και αυτή κομμάτι τωνΜαθηματικών. • Εικόνα:π.χ. μια γραφική παράσταση μιας συνάρτησης, ή ένα γεωμετρικό σχήμα. • Σύμβολα:π.χ. ο συμβολισμός του ολοκληρώματος • Εργαλεία:π.χ. άβακας, διαβήτης, ή μια τρισδιάστατη κατασκευή. • Λογισμικό: π.χ. Mathematica.

5. Ιδιαιτερότητες – Προβλήματα

6. Ιδιαιτερότητες – Προβλήματα • Ψηφιοποιημένα μαθηματικά: μαθηματική γνώση ενσωματωμένη σε ψηφιακόπ.χ. ένα μαθηματικό κείμενο γραμμένο στο word με τη βοήθεια με τη βοήθεια του Mathype. • Μαθηματικά με ψηφιακή αναπαράσταση: το ψηφιακό τεκμήριο έχει κάποια συντακτική δομή η οποία παραπέμπει στη μαθηματική δομή. π.χ. μια μαθηματική απόδειξη γραμμένη με MathML. • Τυπικά μαθηματικά: προσπελάσιμη και η συντακτική δομή και η σημασιολογία της μαθηματικής γνώσης. π.χ. μια αλγεβρική απόδειξη γραμμένη στο Mathematica. Τρόποι αναπαράστασης των Μαθηματικών:

7. Ιδιαιτερότητες – Προβλήματα • Ετερογενές περιεχόμενο (κείμενο, σύμβολα εικόνες) • Πολλοί και διαφορετικοί συμβολισμοί • Πολυσήμαντη σημασία εννοιών και συμβολισμών ("διάμεσος" Στατιστική–Ευκλείδια Γεωμετρία) • Πολλοί διαφορετικοί τρόποι γραφής (κείμενο Άλγεβρας και Στατιστικής) • Εξέλιξη Μαθηματικής Γλώσσας

8. Ταξινομικά Συστήματα & Μαθηματικά • Dewey (DDC) • Library of Congress (LOC) • Mathematics SubjectClassification (MSC)

9. Dewey – Library of Congress

10. MSC 2000

11. Σχήματα Μεταδεδομένων

12. MathML Στόχοι της είναι: • Κωδικοποίηση μαθηματικού υλικού • Κωδικοποίηση και μαθηματική αναπαράσταση του μαθηματικού νοήματος • Υλοποίηση της μετατροπής από και προς άλλα μαθηματικά μορφότυπα • Να επιτρέπει την μεταφορά πληροφορίας μεταξύ εφαρμογών • Παροχή αποτελεσματικής εμφάνισης στον ιστό • Παροχή επεκτασιμότητας • Να είναι κατάλληλη για πρότυπα και άλλες τεχνικές μαθηματικής επεξεργασίας. • Να είναι ανθρώπινη Προτυποποιήθηκε το 2001 από το W3C, με τις ευλογίες της Wolfram Research.

13. MathML

14. 3 (x+2) <mo>(</mo> 3 ( x + 2 ) <mi>x</mi> ( 2 ) x + <mo>+</mo> <mn>2</mn> <mo>)</mo> MathML <mfrac/> <mi>3</mi> <mrowm> … </mrow>

15. MathML

16. OpenMath Είναι πρότυπο για την ανταλλαγή πλούσιων σημασιολογικά μαθηματικών αντικειμένων μεταξύ εφαρμογών. Περιγράφει την δομή των αντικειμένων OpenMath, την κωδικοποίηση και τα λεξικά περιεχομένων (ΛΠ). Στην αναπαράσταση ενός μαθηματικού αντικειμένου υπάρχουν τρία επίπεδα: • το αφαιρετικό που είναι η αναπαράστασή του σαν ένα OpenMath αντικείμενο • το ιδιωτικό που είναι η εσωτερική αναπαράσταση που χρησιμοποιείται από μια εφαρμογή • το επίπεδο μεταφοράς που είναι η μετατροπή του OpenMath αντικειμένου σε μία σειρά από bytes.

17. OpenMath Εφαρμογή Α Εφαρμογή Β Α – Εξειδικευμένη Αναπαράσταση Β – Εξειδικευμένη Αναπαράσταση Ιδιωτικό Επίπεδο Βιβλίο Εκφράσεων Α Λεξικό Περιεχομένων Α Βιβλίο Εκφράσεων Β Λεξικό Περιεχομένων Β Αντικείμενο OpenMath Αντικείμενο OpenMath Πιθανή ενδιάμεσηεπικοινωνία Αφαιρετικό Επίπεδο ΚωδικοποίησηOpenMath ΚωδικοποίησηOpenMath Κωδικοποιημένο Αντικείμενο Κωδικοποιημένο Αντικείμενο Γενικό Επίπεδο Μεταφοράς XML ή δυαδικά ψηφία

18. ΨΒ για Μαθηματικά • Project Euler • Project Euclid

19. Euler http://www.emis.de/project/EULER/ • Η ψηφιακή βιβλιοθήκη European Libraries and Electronic Resources (EULER) είναι το αποτέλεσμα του ProjectEuler που υλοποιήθηκε στο πλαίσιο του ευρωπαϊκού προγράμματος C ORDIS από την Κοινοπραξία EULER. • Το έργο αυτό ξεκίνησε το 1998, η πρώτη του φάση τελείωσε το 2000, και η δεύτερη φάση το 2002. • Την επιστημονική επίβλεψη λειτουργίας του, την έχει η Ευρωπαϊκή Μαθηματική Εταιρία (EMS), • Αντικείμενο του EULER είναι να παρέχει πλήρη κάλυψη της παγκόσμιας μαθηματικής γραμματείας, συμπεριλαμβανομένου βιβλιογραφικών δεδομένων, ανασκοπήσεις και/ή επιτομών, υπηρεσίες ευρετηρίου, ταξινόμησης και αναζήτησης, πρόσβαση σε υπηρεσίες βιβλιοθήκης και συνεργασία με εμπορικούς παροχείς πληροφόρησης (εκδότες, βιβλιοπωλεία) σε Ευρωπαϊκή βάση.

20. Euler Στην κοινοπραξία ανάπτυξης του EULER συμμετείχαν οι εξής φορείς: • Ακαδημαϊκή Βιβλιοθήκη του Göttingen (UNIGOE) • Ευρωπαϊκή Μαθηματική Εταιρία (EMS) • Centrum voor Wiskunde en Informatica (CWI) • Πανεπιστήμιο της Φλορεντίας (UNIFI) . • Πολυτεχνείο της Karlsruhe (FIZ)

21. Τεχνικά Χαρακτηριστικά • Λογισμικόευρετηρίασης, ενημέρωσηςκαιανάκτησηςEBDM (European Database Manager for Mathematics της Cellule MathDoc • Περιβάλλον διεπαφής χρήστη από πρόγραμμα διαδικτυακών εφαρμογών και διαχείρισης περιεχομένου Zope • Πρόγραμμα κανονικοποίησης δεδομένων της CWI • Η ψηφιακή βιβλιοθήκη EULER χρησιμοποιεί ποικίλου τύπους πόρων δεδομένων όπως: • Βιβλιογραφικές βάσεις δεδομένων • Δημόσιας πρόσβασης Διαδικτυακούς καταλόγους βιβλιοθηκών • Ηλεκτρονικά περιοδικά από ακαδημαϊκούς εκδότες • Διαδικτυακά αρχεία προεκδόσεων και γκρίζα φιλολογία • Ευρετήρια από διαδικτυακές μαθηματικές πηγές οι οποίοι γίνονται διαλειτουργικοίμε την χρήση περιγραφών μεταδεδομένων βασισμένων στο Dublin Core.

22. DC DC DC DC DC WWWCatalogues Database Preprints OPAC E-Journals Euler Χρήστης WWW Μηχανή EULER Z39.50

23. Euler

24. Euler

25. Euler

26. Euler

27. Euclid http://projecteuclid.org • Η Ψηφιακή Βιβλιοθήκη Euclid είναι το αποτέλεσμα του Project Euclid το οποίο ξεκίνησε το 2000 • Περιβάλλον για την αποτελεσματική διακίνηση της περιοδικής φιλολογίας στα μαθηματικά και την στατιστική • Μη κερδοσκοπική πρωτοβουλία της Ακαδημαϊκής Βιβλιοθήκης του Cornell • Η πρωτοβουλία υποστηρίζεται από την: • Επιτροπή Βιβλιοθήκης της Αμερικάνικης Μαθηματικής Εταιρίας • Ευρωπαϊκής Μαθηματικής Εταιρίας • Αμερικάνικη Ένωση Στατιστικής • Εταιρία Βιομηχανικών και Εφαρμοσμένων Μαθηματικών

28. Euclid • Η μηχανή αναζήτησης του Euclid στηρίζεται στο λογισμικό freeWAIS. • Η κατανομή της εφαρμογής επικεντρώνεται στο εξυπηρετητή WAIS, waisserver και το ευρετήριο, waisindex. • Το πρωτόκολλο WAIS, βασίζεται στο πρότυπο του ANSI Ζ39.50, έκδοσης 1 (Z39.50 V1 or Z39.50 88).

29. Euclid Πελάτης Δίκτυο TCP/IP Εξυπηρετητής Ευρετήριο Έγγραφα Ευρετηρίαση

30. Euclid

31. Euclid

32. Euclid

33. Euclid

34. Euclid

35. Euclid

36. Euclid

37. Σύγκριση

38. Σύγκριση

39. Σύγκριση

40. Συμπεράσματα – Ερωτήσεις (??)