Search Results for "data base chess"

LaTeX is a high-quality typesetting system; it includes features designed for the production of technical and scientific documentation. LaTeX is the de facto standard for the communication and publication of scientific documents. LaTeX is available as free software.

Franklin is a simple static site generator (SSG) oriented towards technical blogging (code, maths, ...), flexibility and extensibility. The base syntax is plain markdown with a few extensions such as the ability to define and use LaTeX-like commands in or outside of maths environments and the possibility to evaluate code blocks on the fly.

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.

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

dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically. DBook is also a Document creation tool which can be found under http://www.dbook.org