Free Software
Mathematical_Software › Free Software · Ranked by notability
10
Articles
0
Images
8
Websites Tracked
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (2)
Programming Language (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Mathematical Software (2)
Programming Language (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
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
Emacs Calc
CreativeWork
an advanced desk calculator and mathematical tool written by Dave Gillespie that runs as part of the
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
1