11 projects tagged "Mathematics"
Updated 27 Mar 2013
GNU TeXmacs
| Pop | 1,044.56 |
|---|---|
| Vit | 124.98 |
GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.
Updated 28 Apr 2011
Proof General
| Pop | 53.33 |
|---|---|
| Vit | 4.57 |
Proof General is a generic Emacs interface for proof assistants, suitable for use by pacifists and Emacs militants alike. It is supplied ready-customized for LEGO, Coq, and Isabelle. You can adapt Proof General to other proof assistants if you know a little bit of Emacs Lisp.
Updated 20 Dec 2011
EFEU
| Pop | 66.58 |
|---|---|
| Vit | 8.64 |
EFEU is suitable for handling data cubes, which are especially useful for building data warehouses. It consists of a building system including mkmf (a xmkmf like Makefile generator), esh (a powerful C/C++ interpreter), efeudoc (a document generator with different output formats (LaTeX, HTML, roff, etc.)). EFEU has a huge set of C library core features, including robust memory allocation tools, functions to concatenate and copy strings with memory allocation, buffers for dynamically-growing strings and fields, data structures with reference counters and garbage collection, and file tools that allow you to specify pipes wherever a filename is expected and support automatic implementation of (de)compression filters (gzip) depending on filename extensions. It also includes a high-level interface to files, strings, and anything else you can read from or write to.
Updated 30 Jun 2007
jscl-meditor
| Pop | 51.44 |
|---|---|
| Vit | 4.62 |
jscl-meditor is a Java symbolic computing library and math editor. It includes polynomial system solving, vectors and matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, Java code generation, and geometric algebra.
Updated 21 Sep 2003
LaTeX Service
| Pop | 33.84 |
|---|---|
| Vit | 1.00 |
LaTeX Service returns a LaTeX rendering of selected text as a TIFF image.
Updated 31 Oct 2005
Jex
| Pop | 46.04 |
|---|---|
| Vit | 1.59 |
Jex is a WYSIWYG mathematical equation editor for OpenOffice.org 2.0. It is written in Java for cross-platform portability. TeX, MathML, and Mathtype are supported as external formats. Conversion of documents to and from TeX is supported.
Updated 01 Sep 2011
Scilab
| Pop | 250.02 |
|---|---|
| Vit | 8.38 |
Scilab is a numerical computation system similiar to Matlab or Simulink. Scilab includes hundreds of mathematical functions, and programs from various languages (such as C or Fortran) can be added interactively. It has sophisticated data structures (including lists, polynomials, rational functions, and linear systems), an interpreter, and a high-level programming language. Scilab has been designed to be an open system where the user can define new data types and operations on these data types by using overloading. A number of toolboxes are available with the system.
Updated 28 Jan 2004
EasyLatex
| Pop | 35.16 |
|---|---|
| Vit | 1.00 |
EasyLatex is a preprocessor to make writing LaTeX much easier. It accepts "ASCII math" and generates equivalent LaTeX documents.
Updated 23 Feb 2013
jHepWork
| Pop | 280.99 |
|---|---|
| Vit | 27.16 |
jHepWork (jWork) is an environment for scientific computation, data analysis, and data visualization for scientists, engineers, and students. The program is fully multi-platform (written in Java). Programs can be written in the Java, Jython/Python, and BeanShell scripting languages. Matlab/Octave is supported for symbolic calculations. The program can be used to display data and functions in D and 3D. It comes with a friendly IDE and a code assist.
Updated 29 Feb 2008
iloog
| Pop | 33.23 |
|---|---|
| Vit | 1.46 |
iloog is a Gentoo-based live CD targeted mainly at students and scientists. It features UnionFS filesystem support that enables you to write everywhere on the LiveCD and install extra packages, a graphical X environment through the Fluxbox window manager, many programming editors and IDEs, and a plethora of scientific applications, including Octave, Namd, Merlin, and full (La)TeX support.
