Search Results for "program"

LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures.

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.

...Obtaining LaTeX code for designed graph is a single-click operation. Allows creating less and more complicated graphs for LaTeX documents without any knowledge about TikZ library. The program lets you design and edit vertices, edges and labels to your liking thanks to a wide range of variants adequate to TikZ library. GraTeX incorporates common editing mechanisms like saving/loading projects, undo-redo & copy-paste operations, and many other useful features. The application has been developed by two students of University of Science and Technology in Krakow, Poland.

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.

Program converts HTML pages into LaTeX format. Own mappings between HTML tags and character entities can be defined. CSS formatting properties are also supported (including colours). Implemented in Java.