AutoLaTeX is a tool for managing small to large LaTeX documents. It detects which files which are used to build the document (included TeX files, BibTeX, figures, etc.), and launches the various different tools (latex, bibtex, makeindex) when the sources files have been changed. It provides translation rules which automatically generate figures in EPS, PNG, or PDF formats from different types of sources (dia, xfig, svg, astah, source code, etc.) AutoLaTeX also provides graphical user interfaces, a plugin for the editors Gedit and Sublime Text, and a standalone Gtk application.
LyX is a document processor that encourages an approach to writing based on the structure of your documents, not their appearance. It is intended for people people who write and want their writing to look great without tinkering with formatting details, font attributes, or page boundaries. On screen, it looks like any word processor, but it uses the TeX engine for printed output and producing richly cross-referenced PDFs. It is stable and fully featured.
GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.
bibtex2html is a collection of tools for translating BibTeX bibliographies to HTML. It can handle any BibTeX style (even those producing multiple bibliographies), use additional fields (like "abstract", "url", and "ps") to insert Web links, replace cross-references with links, sort on various fields, process simple (La)TeX macros, identify syntax errors in BibTeX files, and filter BibTeX entries based on a given criterion.
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Kile is a user-friendly TeX/LaTeX editor for the KDE desktop environment. It lets you compile, convert, and view your document with one click and features auto-completion of (La)TeX commands, templates and wizards for starting a new document, easy insertion of many standard tags and symbols and the option to add user defined tags, inverse and forward search, collection of documents that belong together into a project, easy insertion of citations and references, a flexible build system, QuickPreview of selected parts of a document, easy access to various help sources, and advanced editing commands.
The cb2Bib is a tool for rapidly extracting bibliographic references from email alerts, journal Web pages, and PDF files. It 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.