Free Software
Mathematical_Software › Free Software · Ranked by notability
13
Articles
0
Images
12
Keywords Tracked
11
Websites Tracked
36,980
Monthly Searches
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (2)
Programming Language (2)
Formula Editor (1)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Gnu Package (1)
Purely Functional Programming Language (1)
Computer Algebra System (1)
Visual Programming Language (1)
Mathematical Software (2)
Programming Language (2)
Formula Editor (1)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Gnu Package (1)
Purely Functional Programming Language (1)
Computer Algebra System (1)
Visual Programming Language (1)
GNU Octave
CreativeWork
numerical computation software
KCalc
Place
Software calculator
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
GNOME Calculator
Place
calculator application for GNOME
GiNaC
Place
computer algebra system
PARI/GP
CreativeWork
computer algebra system
wxMaxima
Thing
graphical interface for the computer algebra system Maxima built with wxWidgets
Sollya
CreativeWork
tool environment for safe floating-point code development
MPFI
CreativeWork
library for arbitrary precision interval arithmetic
Econometrics Software Library
Thing
econometrics software
Gappa
CreativeWork
theorem prover
Emacs Calc
CreativeWork
an advanced desk calculator and mathematical tool written by Dave Gillespie that runs as part of the
1