Both for individual researchers as for research groups or projects, it is of major importance to organize the literature one has read. A well organized bibliography is a powerful instrument. It speeds up the search for publications one has already read and supports the user in structuring information. Aigaion provides a bibliography management software environment that supports a user in just this: Organizing and managing a complete bibliography, from small bibliographies to bibliographies for a complete research department.
Bibliographies in LaTeX using BibTeX for sorting only. The biblatex package is a complete reimplementation of the bibliographic facilities provided by LaTeX in conjunction with BibTeX. It redesigns the way in which LaTeX interacts with BibTeX at a fairly fundamental level. With biblatex, BibTeX is only used to sort the bibliography and to generate labels. Instead of being implemented in BibTeX's style files, the formatting of the bibliography is entirely controlled by TeX macros. Good working knowledge in LaTeX should be sufficient to design new bibliography and citation styles — there is no need to learn BibTeX’s postfix stack language. Just like the bibliography styles, all citation commands may be freely (re)defined.
The cb2Bib is a free, open source, and multiplatform application for rapidly extracting unformatted, or unstandardized bibliographic references from email alerts, journal Web pages, and PDF files. The cb2Bib facilitates the capture of single references from unformatted and non standard sources. Output references are written in BibTeX. Article files can be easily linked and renamed by dragging them onto the cb2Bib window. Additionally, it permits editing and browsing BibTeX files, citing references, searching references and the full contents of the referenced documents, inserting bibliographic metadata to documents, and writing short notes that interrelate several references.
Referencer is a Gnome application to organise documents or references, and ultimately generate a BibTeX bibliography file. Referencer includes a number of features to make this process easier: * Smart web links Referencer uses documents' metadata to provide handy links to the document's web location — no need to maintain your own bookmarks. * Import from BibTeX, Reference Manager and EndNote No need to start from scratch — Referencer will import your existing bibliography files using the BibUtils library. * Tagging No need to organise your documents into rigid directory trees — with Referencer you can use tags to categorise your documents. * Automatic arXiv, PubMed and CrossRef metadata retrieval If you show Referencer a PDF which has an arXiv ID or DOI code, Referencer will retrieve the metadata for this document over the internet. * Python plugin support Referencer can be extended using the versatile Python scripting language. * Localisation
doi resolver CrossRef is an independent membership association, founded and directed by publishers. CrossRef’s mandate is to connect users to primary research content, by enabling publishers to work collectively. CrossRef is also the official DOI® link registration agency for scholarly and professional publications. It operates a cross-publisher citation linking system that allows a researcher to click on a reference citation on one publisher’s platform and link directly to the cited content on another publisher’s platform, subject to the target publisher’s access control practices. Our citation-linking network today covers millions of articles and other content items from several hundred scholarly and professional publishers.
This is a home page for logical frameworks providing pointers to further material, including a bibliography, implementations, some researchers in the area, and recent announcements and papers. logical framework is a formal meta-language for deductive systems. The primary tasks supported in logical frameworks to varying degrees are * specification of deductive systems, * search for derivations within deductive systems, * meta-programming of algorithms pertaining to deductive systems, * proving meta-theorems about deductive systems. I include here systems that in other places have been called meta-logics and meta-logical frameworks; for me the choice of terminology merely indicates the relative emphasis placed on these tasks. Logical frameworks have been applied to many examples from logic and the theory of programming languages.
Welcome to the largest bibliographic database dedicated to Economics and available freely on the Internet. Over 750'000 items of research can be browsed or searched, and over 600'000 can be downloaded in full text! This site is part of a large volunteer effort to enhance the free dissemination of research in Economics, RePEc. To see the popularity of these services, browse the statistics at LogEc