Search Results for "java print"

Biblioteca para Java que implementa un potente evaluador matemático en español y un lenguaje estructurado de script, JMEScript, que hace uso de éste. Puede evaluar expresiones altamente complejas, que incluyen; * vectores * matrices * números complejos * números enteros y reales de precisión arbitraria, * expresiones booleanas * conjuntos * cadenas * diccionarios * grafos * correspondencias y relaciones finitas Permite especificar operaciones y funciones definidas por el...

Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics.

Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.