Mathematical_Software
Ranked by notability
42
Articles
1
Images
33
Keywords Tracked
34
Websites Tracked
5,518,310
Monthly Searches
1
Pages
Browse by Type
Mathematical Software (2)
Programming Language (2)
Free Software (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)
Econometrics Software (1)
Programming Language (2)
Free Software (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)
Econometrics Software (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
Rocq prover
CreativeWork
proof assistant
Lean
CreativeWork
software for interactive and automated theorem proving
MathType
Place
Software for Type And Design Formulas and numerical expressions
Derive
Thing
computer algebra system
Agda
Place
dependently typed, purely functional programming language and proof assistant
GAP
Thing
computer algebra system for computational discrete algebra
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
GNOME Calculator
Place
calculator application for GNOME
PARI/GP
CreativeWork
computer algebra system
GiNaC
Place
computer algebra system
wxMaxima
Thing
graphical interface for the computer algebra system Maxima built with wxWidgets
Dafny
Place
programming language
Aldor
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
APMonitor
Thing
modelling language for algebraic equations
LEGO
Place
logical proof assistant
FriCAS
Place
programming language
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
Emacs Calc
CreativeWork
an advanced desk calculator and mathematical tool written by Dave Gillespie that runs as part of the
modular math system
Thing
mathematics software consisting of a computer algebra system, dynamic geometry software, a function
matrico
Thing
flonum matrix module for CHICKEN Scheme
MPFI
CreativeWork
library for arbitrary precision interval arithmetic
Econometrics Software Library
Thing
econometrics software
Sollya
CreativeWork
tool environment for safe floating-point code development
Microsoft Mathematics 4.0
CreativeWork
mathematics education application
1