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)
Formula Editor (1)
Free Software (1)
Functional Programming Language (1)
Numerical Software (1)
Open-Source 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)
Programming Language (2)
Formula Editor (1)
Free Software (1)
Functional Programming Language (1)
Numerical Software (1)
Open-Source 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)
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
MathType
Place
Software for Type And Design Formulas and numerical expressions
Lean
CreativeWork
software for interactive and automated theorem proving
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
Dafny
Place
programming language
Aldor
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
LEGO
Place
logical proof assistant
APMonitor
Thing
modelling language for algebraic equations
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
Sollya
CreativeWork
tool environment for safe floating-point code development
modular math system
Thing
mathematics software consisting of a computer algebra system, dynamic geometry software, a function
SuperLU-DIST
SoftwareApplication
software
ADOL-C
CreativeWork
mathematical software
Gappa
CreativeWork
theorem prover
Microsoft Mathematics 4.0
CreativeWork
mathematics education application
Econometrics Software Library
Thing
econometrics software
MPFI
CreativeWork
library for arbitrary precision interval arithmetic
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
1