29 projects tagged "TeX/LaTeX"
Updated 24 May 2013
Hilbert II
| Pop | 368.96 |
|---|---|
| Vit | 62.24 |
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 20 May 2013
Asymptote
| Pop | 932.20 |
|---|---|
| Vit | 130.79 |
Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 973.64 |
|---|---|
| Vit | 103.88 |
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 05 Nov 2012
cb2Bib
| Pop | 189.83 |
|---|---|
| Vit | 32.24 |
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.
Updated 04 Sep 2012
ePiX
| Pop | 233.68 |
|---|---|
| Vit | 29.45 |
ePiX creates mathematically accurate, publication-quality figures, plots, and animations. The input syntax is easy to learn, and the output is expressly designed for use with LaTeX. Complete documentation and dozens of sample files are included.
Updated 15 Jan 2012
JabRef
| Pop | 213.15 |
|---|---|
| Vit | 5.34 |
JabRef is a graphical Java application for managing bibtex (. bib) databases. It can import bibliographies in numerous formats, provides extensive searching, sorting, and grouping features, can automatically create bibtex keys, and can insert citations into LyX.
Updated 08 Jan 2012
GLE (Graphics Layout Engine)
| Pop | 241.75 |
|---|---|
| Vit | 10.63 |
GLE (Graphics Layout Engine) is a graphics scripting language designed for creating publication quality figures (e.g., a chart, plot, graph, or diagram). GLE supports various chart types (including function plot, histogram, bar chart, scatter plot, contour plot, color map, and surface plot) through a simple but flexible set of graphing commands. More complex output can be created by relying on GLE's scripting language, which is full featured with subroutines, variables, and logic control. GLE relies on LaTeX for text output and supports mathematical formulae in graphs and figures.
Updated 22 Feb 2009
texdrive
| Pop | 25.73 |
|---|---|
| Vit | 1.45 |
TeXDrive is an Emacs minor mode that makes adding math formulae to HTML documents easy. You can specify the formula in the familiar TeX notation, and TeXDrive creates a PNG image with the formula and also inserts an IMG element in your document for this PNG image.
Updated 20 Nov 2008
Web Reference Database
| Pop | 93.48 |
|---|---|
| Vit | 2.81 |
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 25 Jan 2008
GDC
| Pop | 42.21 |
|---|---|
| Vit | 3.97 |
GDC is a utility to calculate compressible flow (Gas Dynamics Calculator). It provides calculations for isentropic nozzle, isothermal nozzle, isothermal, Fanno (choke and unchoked), Rayleigh flow, etc. It also provide calculations for shock and oblique shock by direct calculations (no iteration, probably the only one that can do it). GDC also calculates shock dynamics, i.e gas running into a different medium with different speed. The result are in plain text, LaTeX, or a range of values.
