Home › Browse › Mathematical_Software › Software

Software

Mathematical_Software › Software · Ranked by notability

22
Articles
0
Images
15
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)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
KCalc
Place
Software calculator
Rocq prover
CreativeWork
proof assistant
MathType
Place
Software for Type And Design Formulas and numerical expressions
Agda
Place
dependently typed, purely functional programming language and proof assistant
Mizar
Place
proof assistant
GNOME Calculator
Place
calculator application for GNOME
GiNaC
Place
computer algebra system
MLAB
Place
multi-paradigm numerical computing environment
OpenMx
Place
open source program for extended structural equation modeling
APMonitor
Thing
modelling language for algebraic equations
Egison
Place
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
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
ADOL-C
CreativeWork
mathematical software
SuperLU-DIST
SoftwareApplication
software
Microsoft Mathematics 4.0
CreativeWork
mathematics education application
modular math system
Thing
mathematics software consisting of a computer algebra system, dynamic geometry software, a function
Econometrics Software Library
Thing
econometrics software
MPFI
CreativeWork
library for arbitrary precision interval arithmetic
Gappa
CreativeWork
theorem prover