RSS 5 projects tagged "Mathematics"

Download No website Updated 07 Nov 2013 GSL Shell

Screenshot
Pop 184.75
Vit 13.19

GSL shell offers an interactive user interface that gives access to the GSL collection of mathematical functions. It is based on the powerful and elegant scripting language Lua. GSL shell is not just a wrapper over the C API of GSL, but offers a much more simple and expressive way to use GSL. The objective is to give the user the power to easily access GSL functions without having to write a complete C application. It also has a powerful module to produce plots or almost any kind of graphics based on data or functions.

No download Website Updated 14 Oct 2012 Pedagogic Bundle

Screenshot
Pop 22.41
Vit 1.01

Pedagogic Bundle is a bundle of educational software for all ages. It teaches how to use a computer mouse, make calculations, and construct and tell stories. It is both amusing and educationally enriching for your children.

No download Website Updated 08 Nov 2012 ocamlmath

Screenshot
Pop 13.64
Vit 22.93

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

No download No website Updated 18 Dec 2012 Verish

Screenshot
Pop 16.06
Vit 22.07

Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.

No download Website Updated 08 Apr 2014 wasora

Screenshot
Pop 22.58
Vit 3.21

wasora is a computational tool designed to aid a cognizant expert, whether an engineer, scientist, technician, or geek, to analyze complex systems by solving mathematical problems by means of a high-level plain-text input file containing algebraic expressions, data for function interpolation, differential equations, and output instructions amongst other facilities. At first glance, it may look like another high-level interpreted programming language, but it should be seen as a syntactically-sweetened way to ask a computer to perform a certain mathematical calculation. For example, the famous Lorenz system may be solved by writing the three differential equations in a human friendly plain text file.

Screenshot

Project Spotlight

Echofish

Log monitoring made easy.

Screenshot

Project Spotlight

rodent-pkg

A package manager plugin for Rodent Filemanager.