Improving the Formatting Tools of CDS Invenio

Total Page:16

File Type:pdf, Size:1020Kb

Improving the Formatting Tools of CDS Invenio Improving the Formatting Tools of CDS Invenio J´erˆome Caffaro CERN-THESIS-2009-057 20/10/2006 Supervisors: Jean-Yves Le Meur Dr. Pearl Pu Faltings IT-UDS-CDS, CERN I&C-IIF-HCI, EPFL October 1, 2006 Abstract CDS Invenio is the web-based integrated digital library system developed at CERN. It is a strategical tool that supports the archival and open dissemina- tion of documents produced by CERN researchers. This paper reports on my Master’s thesis work done on BibFormat, a module in CDS Invenio, which for- mats document meta-data. The goal of this project was to implement a completely new formatting module for CDS Invenio. In this report a strong emphasis is put on the user-centered design of the new BibFormat. The bibliographic formatting process and its re- quirements are discussed. The task analysis and its resulting interaction model are detailed. The document also shows the implemented user interface of BibFormat and gives the results of the user evaluation of this interface. Finally the results of a small usability study of the formats included in CDS In- venio are discussed. “Good tools obviate bad processes.” Dr. Michael B. Johnson, Pixar Animation Studios, Apple WWDC, August 2006 vi Contents 1 Introduction 1 1.1 Context . 1 1.1.1 CERN . 1 1.1.2 CDS Invenio . 1 1.1.3 BibFormat . 2 1.2 The Project . 4 1.2.1 Motivations . 4 1.2.2 Objectives . 4 1.2.3 Activities . 5 2 Analysis 7 2.1 Task Analysis . 7 2.1.1 Product Statement . 7 2.1.2 User Population Analysis . 7 2.1.3 Personas . 11 2.1.4 User Needs . 17 2.1.5 User Scenarios . 18 2.1.6 Task Tables and Task Map . 19 2.1.7 Usability Goals . 24 2.2 Comparative Analysis . 24 2.2.1 Previous Formatting Module . 25 2.2.2 Competitors . 30 2.2.3 Synthesis . 34 3 Design 37 3.1 Specifications . 37 3.2 Prototypes . 40 3.3 Final UI Design . 44 3.4 Formatting Engine Design . 51 4 Evaluation 57 4.1 User Evaluation of the BibFormat Admin User Interface . 57 4.2 Usability Study of the Formats . 58 4.2.1 Goals of the Study . 59 4.2.2 Experimental Conditions . 60 4.2.3 Results . 61 4.3 Further Improvements of BibFormat . 62 vii CONTENTS 5 Conclusions 65 Appendices A UML Use Cases 69 B BibFormat Developers APIs 73 Bibliography 79 viii Chapter 1 Introduction 1.1 Context 1.1.1 CERN CERN (European Organization for Nuclear Research) is the world’s largest particle physics center[1]. Located near Geneva on the Frenco-Swiss border, it employs 3000 persons to operate, maintain and develop the complex facilities that allows scientists to discover the building blocks of matter. Founded in 1954, the laboratory was one of Europe’s first joint ventures and includes now 20 Member States. Some 6500 visiting scientists, half of the world’s particle physicists, come to CERN for their research. They represent 500 universities and over 80 nationalities. Among the important discoveries for which many CERN scientists have re- ceived prestigious awards, including Nobel prizes, is the Web. The Web was first thought by Tim Berners-Lee in 1989 as a solution to the problem of loss of in- formation due to the high turnover of people at CERN. His original proposal[2] suggested to use Hypertext to link information systems accross network such that anyone could have access to any important documents produced at CERN. The web has now extended worldwide and has become a primary component of IT. Unfortunately some concepts proposed by Tim Berners-Lee have not made their way into the world wide web: there is for example no typed links (' Semantic web) between information systems, and there is still not always a clear separation between the data and its visual representation. 1.1.2 CDS Invenio CDS Invenio1 is the integrated digital library system developed and used at CERN[3]. It is in some ways the implementation of the original idea of Tim Berners-Lee for scientific documents. As CERN researchers issue about 2000 publications per year, CDS Invenio is an essential tool to capture all of this information and turn it into shared knowl- edge. At CERN CDS Invenio currently has a database of more than 800’000 bibliographic references, including 360’000 fulltext documents[4]. These docu- ments are organized in more than 500 collections. In additions to the documents 1Formerly known as CDSware 1 CHAPTER 1. INTRODUCTION produced at CERN, CDS Invenio harvests about 100’000 documents from ex- ternal sources. CDS Invenio uses standards at its core. It is OAI-compliant[5] to support the open dissemination of these documents. CDS Invenio also uses MARC 21[6] (and its XML derivative MARCXML) to store and process bibli- ographic meta-data. The server is accessible from a web-based interface, which offers both a fast search of documents and a browsable tree-like structure. Collections of docu- ments can have customizable “portals” to support community building. Addi- tionally, CDS Invenio provides collaborative tools such as baskets or alerts for new specific documents [7]. CDS Invenio is a free, open source application (under the terms of the GNU Gen- eral Public License). It is developed at CERN by the CERN Document Server (CDS) section, in the User and Document Services (UDS) group. CDS Invenio is now being used by many scientific institutions worldwide, including EPFL[8]. The software complements other librarians’ tools such as Aleph 500[9], with which CDS Invenio can synchronize. 1.1.3 BibFormat BibFormat is one of the many modules that compose CDS Invenio. Its purpose is to format the records of the database by applying customizable templates. The BibFormat module is almost invisible to end-users of CDS Invenio, in the sense that users only see the formatted output produced by BibFormat, but do not directly interact with the module. Figure 1.1 shows where BibFormat sits in the case of a record access by a user. This workflow is only a conceptual view of CDS Invenio Request for Search Request for formatting document(s) query a record Web search Search BibFormat interface Engine Formatted Formatted Formatted User output record(s) record Records Meta-data Figure 1.1: Simplified scenario of typical access to a record by end-user. the process, as other mechanisms such as caching of pre-formatted records are involved. This scenario repeats for each search request of the user as BibFormat is also responsible for formatting each individual notice of the search results list. Figure 1.2 shows the output produced by BibFormat in the case of a search results displaying and in the case of a detailed view of a record. Notice that BibFormat only produces the red surrounded areas, while other components are laid out by CDS Invenio itself. 2 guest :: session :: alerts :: baskets :: login Search Submit Convert Agenda Webcast Bulletin Library Home > Search Results CERN Document Server Search: einstein any field Search Browse Search Tips :: Advanced Search :: Try your search on... Search collections: *** any collection *** Sort by: Display results: Output format: - latest first - 10 results HTML brief desc. - or rank by - split by collection 1.1.Results overview: CONTEXT Found 13,092 records in 0.56 seconds. Articles & Preprints, 12,433 records found guest :: session :: alerts :: baskets :: login Books & Proceedings, 337 records found Search Submit Convert Agenda Webcast Bulletin Library Presentations & Talks, 52 records found Periodicals & Progress Reports, 4 records found Home > Articles & Preprints > Preprints > Detailed record #981978 Multimedia & Outreach, 187 records found Archives, 79 records found Format: HTML | HTML MARC | XML DC | XML MARC Articles & 12,433 records found 1 - 10 jump to Preprints Other Fields of Physics physics/0609026 Preprints record: 1 On the Machian Origin of Inertia 1. Why Does Gravity Ignore the Vacuum Energy? / Padmanabhan, T 3 pages including front one The equations of motion for matter fields are invariant under the shift of the matter lagrangian by a constant. [...] gr-qc/0609012; 5 Sep 2006 Fulltext Berman, M S; Detailed record - Similar records 3 Sep 2006 . - 3 p 2. On the Machian Origin of Inertia / Berman, M S We determine the numerical value of a constant which appears in the Machian inertial force expression devised by Graneau and Graneau[2]. [...] physics/0609026; 3 Sep 2006 . - 3 p Fulltext Detailed record - Similar records Abstract: We determine the numerical value of 3. Large atom number Bose-Einstein condensate of sodium / a constant which appears in the Machian van der Stam, K M R; van Ooijen, E D; Meppelink, R; inertial force expression devised by Graneau Vogels, J M; Van der Straten, P and Graneau[2]. We point out that this formula We describe the setup to create a large Bose-Einstein condensate containing may be not restricted to Newtonian physics. more than 120x10^6 atoms. [...] Keywords: Einstein; Brans-Dicke; Newton; physics/0609028; 4 Sep 2006 . - 11 p Fulltext Gravitation; Graneau and Graneau; Mach. Detailed record - Similar records PACS: 01.55.+b; 04.20.-q. 4. Extended Coherence Time with Atom-Number Squeezed Sources / Li, W; Tuchman, A K; Chien, H C; Kasevich, M A Coherence properties of Bose-Einstein condensates offer the potential for improved interferometric phase contrast. [...] Access to fulltext document quant-ph/0609009; 2 Sep 2006 . - 4 p Fulltext Detailed record - Similar records 5. Some analytical models of radiating collapsing spheres / You can download this document in the following formats: Herrera, L; Prisco, A D; Ospino, J Portable Document Format - [51984 bytes] We present some analytical(a) solutions Search to the Einstein results equations, describing (b) Detailed record output radiating collapsing spheres in the diffusion approximation.
Recommended publications
  • Tools for Creating Bibliographic Databases for Use with Bibtex D.V.L.K.D.P
    The PracTEX Journal, 2007, No. 3 Article revision 2007/08/14 Tools for creating bibliographic databases for use with BibTEX D.V.L.K.D.P. Venugopal Email [email protected] Address Senior Personal Assistant Vice-Chancellor’s Office Banaras Hindu University Varanasi 221 005, India Abstract By using BibTEX we can easily change the style of Bibliography/References according to the style of the journal. But creating bibliographic databases for use with BibTEX is very cumbersome. This article describes the various software tools available for creating bibliographic databases easily, particu- larly for the Windows platform. 1 Introduction One of the major advantages of using LATEX is ease of inclusion of bibliographies in conjunction with BibTEX. Various bibliographic style files (bst) are available for different journals and publishing houses. Using these bst files the format and citation style can be changed easily[1]. This facility is not available in commercial wordprocessors or desktop publishing systems. Creating BibTEX databases is also discussed in LATEX Tutorials[2] and by Parthasarathy[3]. Bibliographic databases for BibTEX can be created using ordinary editors but it is tedious work involving a lot of typing. But once created, the same data can be used many times and by many users. A search on the Internet for BibTEX database managers gives a long list of free and commercial software1. To name a few: bibtex mode and Ebib (for Emacs), Pybliographer (using Python for Linux), gBib (for GNOME, Linux), Barracuda (for Linux), KBibTeX (for KDE, Linux), Sixpack (multi platform), JBibtexManager, Javabib and JabRef (multi platform using Java), BibDB (for DOS and Windows), 1.
    [Show full text]
  • Manage Your Information
    9/24/2008 Useful Tools for Study & Research Yiping Lin Department of Physics National Tsing Hua University Y. Lin Where to Look for Information Are these sources reliable? Y.Lin 1 9/24/2008 Google in Books & Papers Search the full text of books Search scholarly papers Y.Lin Databases of Research Papers Published or Preprint Published Cited References Y.Lin 2 9/24/2008 How Do You Organize These Papers? Y.Lin In File Folders? In A File Cabinet? Feel Like Sinking in Sea of Papers? Help! Y.Lin 3 9/24/2008 When Start to Writing Your Report Or Prepare Your Presentation Or Write Your Thesis ... … … … Y.Lin A Convenient Tool - Zotero A free, easy-to-use Firefox extension to help you collect, manage, and cite your research sources. It lives right where you do your work — in the web browser itself. Y.Lin 4 9/24/2008 Zotero’s Features Automatic capture of citation information from web pages Storage of PDFs, files, images, links, and whole web pages Flexible notetaking with autosave Fast, as-you-type search through your materials Playlist-like library organization, including saved searches and tags Runs right in your web browser Formatted citation export (style list to grow rapidly) Free and open source Integration with Microsoft Word and OpenOffice Y.Lin Annotation of Web Pages Y.Lin 5 9/24/2008 Collection History – Timeline Y.Lin Can generate the list of Export for Report bibliographies and switch the style In Word, OpenOffice Write In Google Docs Y.Lin 6 9/24/2008 A Helper to Manage References Software Handling the Bibliography Entries
    [Show full text]
  • An Insider's Insight Into Literature Searches
    An Insider’s Insight into Literature Searches Searching the literature can take various forms, ranging from a quick scan of recent publications to a formal, systematic interrogation of all available data sources to establish the scientific consensus on a specific topic. In these days of online journal databases, the relative ease of conducting a search means that they often start informally with no thought-out search strategy or defined goal. A long list of articles can be generated almost instantaneously, but what did you miss and how long will it take to review the data? How easily can the search strategy be repeated and adapted to obtain a more complete and refined set of references? We offer some insights from the Niche medical writing team who have been conducting literature searches for their clients since 1998. Copyright © 2016 Niche Science & Technology Ltd, UK 1 Before you start Prepare to succeed • Establish a formal plan for your literature • Your searches will create outputs in the form of search if you propose to do anything more than lists of publications. Decide what information conduct a cursory review of the literature you need to record about each reference in order to help determine its relevance, how you • Know what you want to achieve so you avoid will store the information and how you will endless futile or repetitive searching. Set ‘score’ the overall efficacy of a search strategy yourself an objective and identify an endpoint that qualifies whether or not you have achieved • Know something about your subject area your goal before you decide on the operational parameters of your search; consider the • Ensure you have access to an appropriate coverage history in the literature, controversies, search engine as different databases will specialist journals, sub categories, etc.
    [Show full text]
  • Análisis Comparativo De Los Gestores Bibliográficos Sociales Zotero, Docear Y Mendeley: Características Y Prestaciones
    Análisis comparativo de los gestores bibliográficos sociales Zotero, Docear y Mendeley: características y prestaciones. Comparative analysis of social bibliographic management software Zotero , Docear and Mendeley: fea- tures and benefits. Montserrat López Carreño Universidad de [email protected] Resumen Abstract Se realiza una aproximación al origen y evolu- A comparative analysis between the free biblio- ción de la gestión bibliográfica personal, esta- graphic reference management software. These bleciendo una cronología de la aparición de los bibliographic reference managers offer to the gestores bibliográficos más populares, resaltan- users the ability to retrieve, store, edit and dis- do sus características y evidenciando su utilidad seminate bibliographic information. An approach en el ámbito académico-científico. Para ello, hay is made to the origin and evolution of these sys- que tratar de analizar conceptos y procesos di- tems, establishing a chronology since the ap- rectamente relacionados con los gestores bi- pearance of the most popular bibliographic bliográficos personales, productos objeto de management software, highlighting their fea- estudio, tales como fuentes de información bi- tures and usefulness in academic research. We bliográfica y la normalización bibliográfica y, have analyzed concepts and processes directly fundamentalmente del ámbito científico, donde related to personal bibliographic management son productos esenciales en la formalización de applications under study, such as the sources of la su producción para su posterior difusión. Para bibliographic information and the set of biblio- ello se realiza un análisis comparativo entre los graphic standards employed by them, essential gestores de referencia bibliográficos gratuitos aspects of the scientific field, where these prod- Zotero, Docear y Mendeley, habiendo consegui- ucts have a great importance in the formalization do identificar algunas diferencias significativas of the scientific production for later broadcast .
    [Show full text]
  • Managing Bibliographies with LATEX Lapo F
    36 TUGboat, Volume 30 (2009), No. 1 Multiple citations can be added by separating Bibliographies with a comma the bibliographic keys inside the same \cite command; for example \cite{Goossens1995,Kopka1995} Managing bibliographies with LATEX Lapo F. Mori gives Abstract (Goossens et al., 1995; Kopka and Daly, 1995) The bibliography is a fundamental part of most scien- Bibliographic entries that are not cited in the tific publications. This article presents and analyzes text can be added to the bibliography with the the main tools that LATEX offers to create, manage, \nocite{key} command. The \nocite{*} com- and customize both the references in the text and mand adds all entries to the bibliography. the list of references at the end of the document. 2.2 Automatic creation with BibTEX A 1 Introduction BibTEX is a separate program from LTEX that allows creating a bibliography from an external database Bibliographic references are an important, sometimes (.bib file). These databases can be conveniently fundamental, part of academic documents. In the shared by different LATEX documents. BibTEX, which past, preparation of a bibliography was difficult and will be described in the following paragraphs, has tedious mainly because the entries were numbered many advantages over the thebibliography envi- and ordered by hand. LATEX, which was developed ronment; in particular, automatic formatting and with this kind of document in mind, provides many ordering of the bibliographic entries. tools to automatically manage the bibliography and make the authors’ work easier. How to create a 2.2.1 How BibTEX works A bibliography with LTEX is described in section2, BibTEX requires: starting from the basics and arriving at advanced 1.
    [Show full text]
  • Bibliographic Related Software and Standards Information
    Bibliographic Related Software and Standards Information Last Modified A printer friendly PDF version of this page is available 2006-January-9 biblio-sw.pdf (120 Kb) Table of Contents Open Standards Open Standards Information Citproc Bibliophile MODS Z39.50 and SRW Other Links to Bibliographic Software Information Overview of Personal Bibliographic Software Java B3 JabRef Perl, Python Pbib RISImport.py MS Windows Scholars Aid Nota Bene EndNote ProCite Reference Manager Biblioscape Citit! Bibliographix Windows, Linux, Other Bibutils Bibus LaTeX / BibTeX Linux Bookcase BibTeXML BibML BibX ISDN Search YAZ Zoom RefDB Sixpack bp 1 gBib Pybliographer Kaspaliste The Jurabib package refbase MAC OS X BibDesk Open Standards Information Check this web site on Open Standards and software for bibliographies and cataloging. This site provides a quick overview of the landscape of open-source bibliographic software; both where is has been, but more importantly, where it may yet go, and may be better than this page. http://wwwsearch.sourceforge.net/bib/openbib.html A good source on open standards in regards to XML, is the OASIS site http://xml.coverpages.org, and of course www.w3.org - home of the internet. CitProc The Openoffice Bibliographic project is proposing to use Bibliographic citation and table generation via XSLT style-sheets using a new process called CiteProc. CiteProc style-sheets provide, for the first time, the opportunity for the creation and distribution of opensource bibliographic style definitions that are not specific to a particular word-processor or bibliographic package. Also see BiblioX for technical discusion of this approach. We now have working examples. Bibliophile Bibliophile is an initiative to align the development of bibliographic databases for the web.
    [Show full text]
  • Download Article
    Online Tools for Researchers: An Effective Way to Enhance the Quality of Research Prof. Manisha B. Mane Librarian Shri Chhatrapati Shivaji College of Engineering Pune, India [email protected] Dr. Rajendra Kumbhar Department of Library and Information Science, Savitribai Phule Pune University Pune, India ABSTRACT This paper aims to find out various research tools available online and their applications in libraries for providing innovative library services. ICT plays a significant role in library and information science; it helps to transform the libraries into an effective learning center. In the digital world, it is essential to understand the need of modern researchers, to minimize their difficulties in research work, to motivate them to conduct research in various fields. Librarians by proving research related services can encourage new researchers which will help in the development of the nation. A collection of relevant database links to resources, online software and research tools to help researchers in all phases of research will become the value added service of the library. Keywords: Research online tools, E-research, E-tools. Keywords: Online Tools, Quality of Research 1. Introduction: WWW plays an important role in the transformation of traditional libraries into digital libraries. Due to advancement in Information Technology, it became essential for librarians to adopt modern technology in libraries. Thus, the role of librarian is changing in the digital era, librarian not only disseminate the information, but also actively participate in research activities and motivates users for research. Librarians are facing problem of users’ attraction towards Internet resources which decreased their frequency of visits to the library.
    [Show full text]
  • Information Behaviour and Practices of Phd Students Appendices
    Information behaviour and practices of PhD students Thea Marie Drachen, Asger Væring Larsen, Eystein Gullbekk, Hilde Westbye, Karin Lach To cite this version: Thea Marie Drachen, Asger Væring Larsen, Eystein Gullbekk, Hilde Westbye, Karin Lach. Informa- tion behaviour and practices of PhD students. 2011. hprints-00599034 HAL Id: hprints-00599034 https://hal-hprints.archives-ouvertes.fr/hprints-00599034 Submitted on 8 Jun 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Information behaviour and practices of PhD students Appendices By Thea M. Drachen and Asger V. Larsen, Research Support Service, Copenhagen University Library and Information Services Eystein Gullbekk and Hilde Westbye, University of Oslo Library Karin Lach, Vienna University Library 1. June 2011 Information behaviour and practices of PhD students - Appendices 1. June 2011 Table of contents Appendix A. Graphic representation of the survey responses ........................................................... 3 Vienna PhD students survey responses ....................................................................................................
    [Show full text]
  • Download Download
    Evidence Based Library and Information Practice 2019, 14.2 Evidence Based Library and Information Practice Research Article Evaluating Bibliographic Referencing Tools for a Polytechnic Environment Gina Brander Reference & Information Services Librarian Saskatchewan Polytechnic Library Regina, Saskatchewan, Canada Email: [email protected] Erin Langman Nursing Liaison Librarian Saskatchewan Polytechnic Library Regina, Saskatchewan, Canada Email: [email protected] Tasha Maddison OER & Copyright Librarian Saskatchewan Polytechnic Library Saskatoon, Saskatchewan, Canada Email: [email protected] Jennifer Shrubsole Learning & Teaching Librarian Saskatchewan Polytechnic Library Moose Jaw, Saskatchewan, Canada Email: [email protected] Received: 15 Aug. 2018 Accepted: 24 Mar. 2019 2019 Brander, Langman, Maddison, and Shrubsole. This is an Open Access article distributed under the terms of the Creative Commons‐Attribution‐Noncommercial‐Share Alike License 4.0 International (http://creativecommons.org/licenses/by-nc-sa/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly attributed, not used for commercial purposes, and, if transformed, the resulting work is redistributed under the same or similar license to this one. Data Availability: Brander, G., Maddison, T., Langman, E., & Shrubsole, J. (2019). Scoring instrument for reference tools. UAL Dataverse, V1. https://doi.org/10.7939/DVN/7PMKTO/EX8VFM DOI: 10.18438/eblip29489 4 Evidence Based Library and Information Practice 2019, 14.2 Abstract Objective – This paper analyzes the design process for a toolkit for appraising emerging and established bibliographic reference generators and managers for a particular student population. Others looking to adapt or draw from the toolkit to meet the needs of users at their own institutions will benefit from this exploration of how one team developed and streamlined the process of assessment.
    [Show full text]
  • Software on Berserk
    - -4pc - -4pc Berserk User’s Guide Eric Nodwell Scott Webster Copyright © 2002-2004 Eric NodwellScott Webster This document can be freely redistributed according to the terms of the GNU General Public License. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Table of Contents Introduction ..................................................................................... 3 What is the Berserk computer system? ........................................................ 3 Introduction to Command Line Linux ......................................................... 3 Guidelines - Getting Along With Other Users .................................................. 4 Use the cluster Luke! ....................................................................... 4 Berserk Features ................................................................................. 4 Printing .................................................................................... 4 Setting default print options ............................................................ 4 Setting print options from the command line .............................................. 6 Using xpp or kprinter instead of lpr .....................................................
    [Show full text]
  • Computer Guidance in Logical Research
    Computer Guidance in Logical Research Félix Bou Artificial Intelligence Research Institute (IIIA - CSIC) Barcelona (Spain) [email protected] Barcelona Seminar 17th October 2008 Félix Bou (IIIA - CSIC) Computer Guidance in Logical Research 17th October 2008, Barcelona 1 / 5 The main tool is LATEX Everybody knows about it. This means something. Any editor can be used to write latex code, but it is desirable to use an efficient one (Vi(m), Emacs, WinEdt, TeXnicCenter, Kile, . ). This saves a lot of time. It is interesting to remark that there are (perl) scripts that continuously run latex. See http://magic.aladdin.cs.cmu.edu/2007/11/06/continuous-latex- compilation-using-latexmk/ It is convenient to take a look at the short document “An essential guide to LATEX2e usage” about bad habits. ftp://ftp.tex.ac.uk/tex-archive/info/l2tabu/english/l2tabuen.pdf Félix Bou (IIIA - CSIC) Computer Guidance in Logical Research 17th October 2008, Barcelona 2 / 5 A great auxiliary tool is BibTeX This helps to citations inside a LATEXdocument. You have to write in the code something like \bibliographystyle{alpha} %% or plain, etc. \bibliography{logalg} where “logalg.bib” is for instance the name of the database. There are a lot of webpages where you can download citations in bibtex format. For example, Mathscinet, Zentralblatt, The ACM Digital Library, etc. There are great bibtex database managers like JabRef, Pybliographer and Bibdesk. They allow to synchronize your database with files inside your computer. This provides a really efficient way to find and organize your e-papers and e-books. Félix Bou (IIIA - CSIC) Computer Guidance in Logical Research 17th October 2008, Barcelona 3 / 5 Automatic Theorem Provers (ATPs) There are a lot of them.
    [Show full text]
  • Velayutham C Chellapandian P Vineeshkumar M Thankiah R Dept
    IMPACT OF REFERENCE MANAGEMENT SOFTWARE AND INFORMATION RETRIEVAL OF INTELECTUAL ASPECTS Velayutham C Chellapandian P Vineeshkumar M Thankiah R Dept. of Library and Information Science INTRODUCTION Reference management software is a software for scholars and authors to use for recording and utilizing bibliographic citations (references). The aim of this software is to save search results and publications with a view to using citations (references) to generate bibliographies. Indeed, publishers or journals often have different citation formats which is time- consuming activity when writing. General Features Full bibliographic references can be entered. Modern reference management packages can usually be integrated with word processors. Facility for importing the details of publications from bibliographic databases. Commercial Softwares Endnote Reference Manager Procite EndNote It is a commercial reference management software package. It is used to manage bibliographies and references when writing essays and articles. It is made by Thomson Scientific //www.endnote.com www.endnote.com Features of EndNote Built-in import options for Refer, BibIx, ProCite, Reference Manager. conversion utilities for Papyrus, Notebook, Notebuilder, REF-11, Publish, SRS, REFLIST, Bookends, Citation It Connect command uses Z39.50 protocol to access remote online bibliographic databases using Endnote's search facilities Users can select citations, select a specific format, and save them as .txt files EndNote can automatically format the citation into whatever format the user wishes from a list of over two thousand different styles. For example, here are some citations from Gray's Anatomy using several different styles: Anthropos: Gray, Henry 1910 Anatomy, descriptive and applied. Philadelphia: Lea & Febiger. [18th ed.] APA : 5thGray, H.
    [Show full text]