NDLI: Towards automatically categorizing mathematical knowledge

Content Provider	IEEE Xplore Digital Library
Author	Grabowski, A. Schwarzweller, C.
Copyright Year	2012
Description	Author affiliation: Department of Computer Science, University of Gdańsk, Wita Stwosza 57, 80-952 Gdańsk, Poland (Schwarzweller, C.) \|\| Institute of Informatics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland (Grabowski, A.)
Abstract	Clearly, there is no definitive standard for categorizing information contained in mathematical papers. Even if AMS Mathematics Subject Classification was important for mathematicians for years, nowadays we can observe growing popularity of other schemes, e.g. arXiv categories. On the other hand, in the era of digital information storing one can expect from the process of classification to be more or less automatic. Furthermore, generic categorization can be done inside the search engine. At different level, the distinction between such classical tagging items as lemma, proposition, theorem etc. had the aim of showing importance of proven facts. Here the automatization is much harder, or, to be more precise, the results obtained can be far from the original tagging given by the author. In the paper we point out some problems and thoughts concerned with the categorization of mathematical knowledge, illustrating some of them by examples taken from the Mizar Mathematical Library, large machine-checked repository of mathematical facts.
Starting Page	63
Ending Page	68
File Size	129984
Page Count	6
File Format	PDF
ISBN	9781467307086
e-ISBN	9788360810484
e-ISBN	9788360810514
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2012-09-09
Publisher Place	Poland
Access Restriction	Subscribed
Rights Holder	Polish Info Processing Socit
Subject Keyword	Dictionaries Algebra Lattices Encyclopedias Libraries Complexity theory
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in