LINUXSOFT.cz
Username: Password:     
    CZ UK PL

> Software list : : SCIENTIFIC-->mathematics

The newest SW   Total count SW item: 57   Top download SW
Showing items 1 to 15 > NEXT >>> LAST
SW Name Home page Downloaded
Isabelle http://isabelle.in.tum.de/ 19926x
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
 
Calcoo http://calcoo.sourceforge.net/ 19216x
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/ 7203x
Gtapecalc is a simple calculator with the added feature of an output window that displays calculations like the paper tape of a desktop calculator.
 
LinPacker http://freehackers.org/[..]er/index.html 6242x
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/ 5979x
An RPN calculator for X.
 
Pg Calculator http://www.pgcalc.net/ 4591x
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/ 3791x
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/ 3631x
vofce is a (hold your breath, surprise!) graph plotting tool. It's multiplatform, easy to use and has many exporting capabilities.
 
LibTomMath http://math.libtomcrypt.org/ 3143x
LibTomMath provides highly optimized and portable routines for a vast majority of integer-based number theoretic applications (including public key cryptography).
 
Mceitor http://geocities.com/slicesoft/ 3140x
Mceitor is a program to quickly and easily compute functions of matrices.
 
MuPAD http://www.mupad.de/ 3074x
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).
 
hacker's calculator http://www.geocities.com/[..]tware/hc.html 3033x
The Hacker's Calculator is a simple integer calculator based on C syntax with support for hex and octal numbers.
 
Mathomatic http://www.mathomatic.com 2881x
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.
 
Fung-Calc http://fung-calc.sourceforge.net 2864x
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.
 
Easy Funktion http://home.t-online.de/[..]r/eflinux.htm 2775x
Easy Funktion is 2D function plotter software with an equation solver. It has an office-like GUI frontend and features a built-in pocket calculator, calculating with complex numbers (with special extensions for electronics, e.g. capacitor/inductor impedance), a function to export to spreadsheet software, and an advanced formula editor with automatic formatting.
 
Showing items 1 to 15 > NEXT >>> LAST
> Search Software
> Search Google
1. Pacman linux
Download: 2632x
2. FreeBSD
Download: 6706x
3. PCLinuxOS-2010
Download: 6130x
4. alcolix
Download: 8375x
5. Onebase Linux
Download: 7158x
6. Novell Linux Desktop
Download: 0x
7. KateOS
Download: 3835x

1. VFU File Manager
Download: 1427x
2. LeftHand Mała Księgowość
Download: 5005x
3. MISU pyFotoResize
Download: 744x
4. Lefthand CRM
Download: 1675x
5. MetadataExtractor
Download: 0x
6. RCP100
Download: 1154x
7. Predaj softveru
Download: 0x
8. MSH Free Autoresponder
Download: 0x
9. Guitar Scale Expert
Download: 1224x
10. Jinja24Doc
Download: 0x
11. Čistič
Download: 1300x
12. BASH History Suggest Box
Download: 5484x
©Pavel Kysilka - 2003-2017 | mailatlinuxsoft.cz | Design: www.megadesign.cz