Search Results for "tex/latex"

Java Quine McCluskey implements the Quine McCluskey algorithm with Petrick’s Method (or the method of prime implicants) for minimization of Boolean functions. This software can be used both for learning and solving real problems. As a learning/teaching tool, it presents not only the results but also how the problem was solved as well as how to use Karnaugh Maps to solve the problem. Up to sixteen functions of sixteen variables can be minimized. A graphical interface is provided for entering...

This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.

Mathematical Assistant on Web is a web interface for Maxima computations, including steps in the solution. The demo site is http://um.mendelu.cz and covers selected problems typical for courses of calculus on technical universities.

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.

Software de Mapas de Argumentos con interfaz gráfica diseñado con el objetivo específico (aunque no excluyente) de analizar la estructura argumentativa de demostraciones matemáticas, utilizando el modelo de Toulmin. Además, el contenido de los elementos puede ser tanto texto como imágenes, lo que permite guardar como imagen expresiones matemáticas escritas en LaTeX (utilizando software de apoyo como KLatexFormula). Se puede imprimir el diagrama y exportarlo a formato imagen (varios...

Inspired from LaTeXDraw.NET and Paint.NET, this project aims at creating a comfortable environment for creating geometry figures. The basic idea was to "digitize" geometry construction tools so that the screen becomes a piece of paper...

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.

Language teaching/learning aid. Laid generates latex vocabulary lists, double side printed memorization cards from arbitarary utf8 encoded latex text. - latex based booklet generation - latex based vocabulary lists - latex based memorization cards

ASCIIMathML.js: a JavaScript to convert ASCII math notation (and some LaTeX) to Presentation MathML while your webpage loads. Now also simple graphs are translates to SVG. Works with Firefox 2.0+ or with Internet Explorer 6/7+MathPlayer+Adobe SVGview.