RSS 4 projects tagged "Windows"

Download Website Updated 21 Dec 2013 GNU TeXmacs

Screenshot
Pop 829.76
Vit 89.80

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.

No download Website Updated 31 Oct 2005 Jex

Screenshot
Pop 40.99
Vit 1.58

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.

Download Website Updated 28 Apr 2011 Proof General

Screenshot
Pop 66.14
Vit 3.93

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.

Download Website Updated 01 Sep 2011 Scilab

Screenshot
Pop 298.67
Vit 7.11

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.

Screenshot

Project Spotlight

pyrpm-manage

A simple manager for RPM repositories.

Screenshot

Project Spotlight

barvinok

A tool that counts the number of integer points in parametric polytopes.