9 projects tagged "TeX/LaTeX"
Updated 11 Apr 2013
Hilbert II
| Pop | 323.83 |
|---|---|
| Vit | 47.73 |
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".
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 1,056.82 |
|---|---|
| Vit | 127.20 |
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.
Updated 08 Feb 2009
deplate
| Pop | 81.63 |
|---|---|
| Vit | 6.17 |
deplate converts wiki-like markup to LaTeX (standard classes, koma, dramatist, sweave), HTML/PHP (single page, chunked/website, HTML, or s5-based slideshow), DocBook (article, book, man/ref page), and really plain text. Currently supported input formats are viki and Ruby's rdoc. The viki markup supports footnotes, citations, index, table of contents, embedded LaTeX for mathematics, integration with R for dynamically generated figures and tables, and more. Output can be customized via page templates.
Updated 20 Nov 2008
Web Reference Database
| Pop | 93.66 |
|---|---|
| Vit | 2.83 |
refbase is a Web-based bibliographic manager that can import and export references in various formats (including BibTeX, Endnote, ISI, RIS, PubMed, MODS XML, OpenOffice, and Word 2007 XML). It can make formatted lists of citations in HTML, RTF, PDF, or LaTeX, and offers powerful searching and RSS support. Its OpenSearch and SRU/W services and support for unAPI and COinS metadata allow for easy access by clients and search engines.
Updated 30 Sep 2007
ASCIIMathML
| Pop | 86.30 |
|---|---|
| Vit | 2.84 |
ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.
Updated 06 Jun 2006
Bib2x
| Pop | 26.34 |
|---|---|
| Vit | 1.00 |
Bib2x allows the conversion of BibTeX bibliographies to any ASCII/UTF8-based file format using templates. Bib2x allows filtering on a subset of bibliographic entries read from BibTeX databases.
Updated 20 Oct 2004
bibtex2html
| Pop | 30.27 |
|---|---|
| Vit | 1.00 |
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.
Updated 16 Jul 2004
ChordDB
| Pop | 20.42 |
|---|---|
| Vit | 1.00 |
ChordDB is a Web-based database front-end for keeping track of and typesetting chord files (a.k.a. guitar fake sheets). It accepts chord and chordpro files as inputs, and creates output sets in a large variety of formats (PDF, text, chordpro, LaTeX) with the help of pdftex and the LaTeX Songbook style. Songs are stored internally using SQLite, so there is very little need for configuration.
Updated 15 Aug 2001
html2latex
| Pop | 64.00 |
|---|---|
| Vit | 2.80 |
html2latex is a Perl script to convert HTML to LaTeX. It handles nested tables, lists, headers, pictures, URLs, and has the option to create a PDF as well.
