Mathematical_Software
Ranked by notability
42
Articles
1
Images
34
Websites Tracked
1
Pages
Browse by Type
Mathematical Software (2)
Programming Language (2)
Free Software (1)
Software Calculator (1)
Proof Assistant (1)
Econometrics Software (1)
Functional Programming Language (1)
Numerical Software (1)
Software Category (1)
Software Library (1)
Formula Editor (1)
Software (1)
Purely Functional Programming Language (1)
Visual Programming Language (1)
Programming Language (2)
Free Software (1)
Software Calculator (1)
Proof Assistant (1)
Econometrics Software (1)
Functional Programming Language (1)
Numerical Software (1)
Software Category (1)
Software Library (1)
Formula Editor (1)
Software (1)
Purely Functional Programming Language (1)
Visual Programming Language (1)
Mathematica
Place
computational software program
MATLAB
Place
numerical computing environment
GNU Octave
CreativeWork
numerical computation software
Maple
Thing
computer algebra system
Scilab
Place
free and open source software for numerical computation
SAS
Thing
statistical software
Mathcad
Thing
computer algebra system
Stata
Place
statistical software package
KCalc
Place
Software calculator
MathType
Place
Software for Type And Design Formulas and numerical expressions
Lean
CreativeWork
software for interactive and automated theorem proving
Rocq prover
CreativeWork
proof assistant
Derive
Thing
computer algebra system
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
GAP
Thing
computer algebra system for computational discrete algebra
Mizar
Place
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
Aldor
Place
programming language
Dafny
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
APMonitor
Thing
modelling language for algebraic equations
FriCAS
Place
programming language
LEGO
Place
logical proof assistant
OpenMx
Place
open source program for extended structural equation modeling
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Egison
Place
Gappa
CreativeWork
theorem prover
ADOL-C
CreativeWork
mathematical software
SuperLU-DIST
SoftwareApplication
software
MPFI
CreativeWork
library for arbitrary precision interval arithmetic
modular math system
Thing
mathematics software consisting of a computer algebra system, dynamic geometry software, a function
Econometrics Software Library
Thing
econometrics software
matrico
Thing
flonum matrix module for CHICKEN Scheme
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
Microsoft Mathematics 4.0
CreativeWork
mathematics education application
1