4 projects tagged "Mathematics"
Updated 27 May 2013
GSL Shell
| Pop | 292.09 |
|---|---|
| Vit | 31.24 |
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.
Updated 14 Oct 2012
Pedagogic Bundle
| Pop | 32.22 |
|---|---|
| Vit | 1.02 |
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.
Updated 08 Nov 2012
ocamlmath
| Pop | 17.83 |
|---|---|
| Vit | 14.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.
Updated 18 Dec 2012
Verish
| Pop | 19.87 |
|---|---|
| Vit | 13.56 |
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.
