Search Results for "alpha linux"

Use this to remove all unused entries in bibliographic files (.bib). Keys used with cite, citep and citet commands in the manuscript will be kept by default. More commands may be added.

Convert a latex document using the input directive to a single file. Example of use: java -jar deinputex.jar -i manuscript.tex -o manuscript-single.tex --verbose

MathOCR is a printed scientific document recognition system. MathOCR is still in the pre-alpha stage, recognition result may not be good enough for practical purposes. MathOCR is a printed scientific document recognition system written in pure Java. MathOCR has the functionality of image preprocessing, layout analysis and character recognition, especially the ability to recognize mathematical expression. MathOCR can work do not depends on other OCR software.

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.

LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.

MieZ is a WYSIWYG-editor for TikZ documents. This project is now being developed on http://github.com/Antimon2000/MieZ

Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.

A Web-Application working in conjunction with the obby protocol to view documents written by other people live on a website, integrated with mediawiki and equipped with full LaTex support. It's main purpose is Real-Time Note-Taking at University

The BibXML Editor helps to manage bibliography information stored in an XML-based file. Export filters allows to generate BibTex files or HTML pages.

BibTeXlib is a BibTeX library written in JAVA. You can use it to extract information from BibTeX files, manipulate this information, and save it to BibTeX files.

A Java library for writing LaTeX files.

A Maven plug-in to generate code (and documentation) from sources written in Noweb.

JBib2HTML is a Java based software that converts bibtex files to HTML format. It comes with predefined conversion templates and is easily extensible so that you can create your own custom implementations of exports.