Search Results for "tex"

JabRef is a graphical application for managing bibliographical databases. JabRef is designed specifically for BibTeX bases, but can import and export many other bibliographic formats. JabRef runs on all platforms and requires Java 1.8 or newer.

LateXSL is a set of XSLT stylesheets that translates LaTeX embedded in a Web page into HTML, so that math typed directly into a web page as LaTeX is displayed as math in a viewer's browser. The stylesheets may be applied in the browser or by a server.

UPDATE: The project was moved to github (https://github.com/schober-ch/calc2booktab). The soruceforge page won't get any bugfixes, please use the github repo if you want to try this macro. -------------------------------------------------------------------------- A Python extension for OpenOffice/LibreOffice to convert selected cells to LaTeX-Code. Its similar to Calc2Latex, but typographic formatting is more advanced (numeric columns, dcolumn-package, booktab-package) Script is...

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.

Visual Math Editor New Version “ It now offers more than 730 LaTeX symbols and 210 AsciiMath symbols. It now works in all modern browsers without plugin. It now works with LaTeX, AsciiMath, MathML and HTML syntaxes. It improves the ergonomics of the user interface.” VisualMathEditor is a LaTeX, AsciiMath and MathML editor developed in Javascript and HTML. It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their...

rfMaxima is an RF toolbox for the wxMaxima computer algebra system.

The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.

The algorithms package is aimed at (flexibly) typesetting pseudo-code in LaTeX documents (with the high typographical quality provided by the TeX engine).

PortableLatex is LaTeX without installation; you download and use it straight away, without changing a byte of your system. Plus a complete suite of apps to comfortably edit, view, compile and handle latex or tex projects, glued by some scripting.

The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.

MathJax is a modular javascript framework for including mathematics in web pages. It can take input in various formats, like TeX and MathML, and can produce output in various forms, such as MathML or HTML-with-CSS. Components are loaded as needed.

The Perl 3D-extension of MFPic LaTeX package aimed to high quality draw of spatial objects, such as vectors, curves, bounded surfaces.

DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a variety of different linear syntax for mathematics, including MathML, LaTeX, Maple, Maxima or any user defined style. PLEASE NOTE: active code development has moved to GitHub. https://github.com/maths/dragmath

TeXGrapher is an application for drawing graphs and exporting them into code for GraphTeX, which is a package for LaTeX that provides macros for specifying drawings within LaTeX source file.

Hier wird die Versionsverwaltung (SVN) für die LaTeX-Mitschrift der Vorlesung "Analysis für Informatiker und Statistiker" gehostet. Diese findet im WS 2009/2010 an der LMU München statt.

JsMath is a means of including mathematical notation in web pages. It interprets TeX code within your document and uses JavaScript, CSS and unicode fonts to typeset the resulting formulas. It works across multiple browsers and platforms, without MathML

Web service providing a REST and ROA (Resource Oriented Architecture) interface to LaTeX to layout formulas. As the project evolves, different output representations will be available.

The pf2html project adds functionality to LATEX2HTML such that LATEX documents written with pf.sty can be viewed in a web browser up to the desired level of detail for each branch of a structured proof.

TopDrawer makes it easy to produce beautifully typeset Euclidean geometry diagrams.

Yabman is a tool for managing bibliographic references. Its key features are a quality user interface, a carefully designed data model, and sophisticated three-state hierarchical reference labeling. It is currently usable but in a pre-alpha stage.

FarsiTeX is a free Persian/English bidirectional typesetting system based on Donald Knuth's TeX and Leslie Lamport's LaTeX. Currently FarsiTeX is based on old LaTeX2.09. Windows and Linux ports are available.

sMArTH is a SVG and ECMAScript-powered equation editor for MathML and LaTeX

A project to develope a run-time TeX library, with support for enhancements (like the one present in e-TeX, pdf-e-TeX, Omega).

jake (aka Jointly Administered Knowledge Environment) supports the management of and linking between online resources and descriptions thereof. jake consists of a database containing information about online journals, databases, search interfaces, and tex

A collection of TeX files making it easy to write ascii readable latex.