Software
Mathematical_Software › Software · Ranked by notability
28
Articles
0
Images
21
Keywords Tracked
21
Websites Tracked
2,396,270
Monthly Searches
1
Pages
Also in Mathematical_Software
All Mathematical_Software
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)
Gnu Package (1)
Purely Functional Programming Language (1)
Computer Algebra System (1)
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)
Gnu Package (1)
Purely Functional Programming Language (1)
Computer Algebra System (1)
GNU Octave
CreativeWork
numerical computation software
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
Agda
Place
dependently typed, purely functional programming language and proof assistant
GAP
Thing
computer algebra system for computational discrete algebra
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
MLAB
Place
multi-paradigm numerical computing environment
APMonitor
Thing
modelling language for algebraic equations
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
Microsoft Mathematics 4.0
CreativeWork
mathematics education application
Econometrics Software Library
Thing
econometrics software
ADOL-C
CreativeWork
mathematical 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
SuperLU-DIST
SoftwareApplication
software
modular math system
Thing
mathematics software consisting of a computer algebra system, dynamic geometry software, a function
Sollya
CreativeWork
tool environment for safe floating-point code development
1