Search Results for "ghost 4 linux"

jPicEdt is an extensible internationalized vector-based drawing editor for LaTeX and related packages (TikZ, PsTricks,...), written in Java. It is also a library of reusable high-level graphic primitives.

SBML2LATEX is a tool to convert files in the System Biology Markup Language SBML) format into LATEX files. A convenient online version is available, which allows the user to directly generate report from SBML in form of PDF or TeX, which can be further processed to various file types including DVI, PS, EPS, GIF, JPG, or PNG. SBML2LATEX can also be downloaded and used locally in batch mode or interactively with its Graphical User Interface or several command line options. The purpose of...

Handles .bib formatting with two-way interaction (save & load).

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python...

FigTeX manages images and their easy inclusion in LaTeX documents. Similar to BibTex, the image information is stored in an external file and is imported into the document as needed. It comes with a comfortable GUI for managing the image library.

A bundle of lisp extensions, largely original, for GNU Emacs with the goal to obtain a more user friendly and powerful interface. The new features include contextual tool bars, new TeX interface, very complete menus, and a well structured IDE.

A powerful LaTeX editor written in Java; features include syntax highlighting, autocompletion, preview (through latex+dvipng or ghostscript), multiple text buffers, symbol palettes, and more ...

A project to make a simple, but complete, bibtex parser using regexes in Java. It is meant as a library for a larger program, and so is not interactive. Testers, contributors, comments and suggestions are more than welcome.

Bibliography converter. Converts BibTeX bibliographies to Docbook 5.0 bibliography documents. Can be used as a command-line tool, Ant task or as library in other applications.

This tool converts bibtex entries to RDF

This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.

TeXConverter is a converter to parse LaTeX input and create representations of the document in other formats (currently HTML, XDocs(Maven), a specific Wiki-format). Internally a Java object model is used to represent the document, to ease extensibility.