Nazwa oprogramowania |
Strona domowa |
Pobierane |
Isabelle |
http://isabelle.in.tum.de/ |
28692x |
Isabelle jest popularnym narzędziem do udowadniania twierdzeń ogólnych na Uniwersytecie Cambrigde oraz TU Munich.
|
|
Calcoo |
http://calcoo.sourceforge.net/ |
27335x |
Calcoo is a scientific calculator designed to provide maximum usability. Its features bitmapped button labels and display digits to improve readability, no double-function buttons, undo/redo buttons, copy/paste interaction with the clipboard, both RPN and algebraic modes, two memory registers with displays, displays for Y, Z, and T registers, and tick marks to separate thousands. Calcoo is written in C.
|
|
gtapecalc |
http://gtapecalc.sourceforge.net/ |
12369x |
Gtapecalc to prosty kalkulator z dodaną funkcją okna wyjściowego wyświetlającego obliczenia tak jak papierowa taśma kalkulatora biurkowego.
|
|
LinPacker |
http://freehackers.org/[..]er/index.html |
9972x |
Linpacker is a tool to optimize the placement of rectangles in a band of semi-infinite size (2D bin packing problem). It can be useful for cutting stocks in trucks and factories.
|
|
gdcalc |
http://bhepple.freeshell.org/dcalc/unix/ |
8703x |
An RPN calculator for X.
|
|
Pg Calculator |
http://www.pgcalc.net/ |
7345x |
PG Calculator is a powerfull scientific skinable calculator.
PG Calculator works in algebraic and RPN mode. It recognizes real and complex numbers and allows simple vectors manipulations.
|
|
bcalc |
http://bmcalc.sourceforge.net/ |
6519x |
bmcalc is a calculator for your GTK+-Desktop. It is released under the GNU General Public License. The special thing about bmcalc is that it supports many many functions. Well, not yet, I have to do some things for school occasionally.
|
|
vofce |
http://vofce.sourceforge.net/ |
5351x |
vofce is a (hold your breath, surprise!) graph plotting tool. It's multiplatform, easy to use and has many exporting capabilities.
|
|
MuPAD |
http://www.mupad.de/ |
4650x |
GUI o text-oriented software for sybolic and exact algebraic computations with graphs and TeX output.
For non-commercial or education use is free (The company sends you via e-mail your own serial number for unlock; MuPAD runs without it too).
|
|
LibTomMath |
http://math.libtomcrypt.org/ |
4633x |
LibTomMath jest wysoko wydajną biblioteką funkcji matematycznych.
|
|
Mceitor |
http://geocities.com/slicesoft/ |
4529x |
Mceitor is a program to quickly and easily compute functions of matrices.
|
|
Fung-Calc |
http://fung-calc.sourceforge.net |
4472x |
Fung-Calc is a free, open source advanced, yet easy to use, graphing calculator for Linux using Qt. It plots several types of 2D and 3D graphs. It combines the use of advanced mathematical features and ease of use all in one package.
|
|
hacker's calculator |
http://www.geocities.com/[..]tware/hc.html |
4468x |
Hacker's Calculator jest prostym kalkulatorem ze składnią opartą na języku C, działającym w systemie dziesiętnym, heksagonalnym i oktalnym.
|
|
Mathomatic |
http://www.mathomatic.com |
4295x |
Mathomatic is a small, portable, general purpose symbolic math program that can solve algebraic equations. It can do standard, complex number, and polynomial arithmetic. It is designed to be as general as possible, with few options.
|
|
SNAC |
http://snac.seul.org/ |
4252x |
|
|