Programming Language
Mathematical_Software › Programming Language · Ranked by notability
12
Articles
0
Images
10
Websites Tracked
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Mathematical Software (2)
Functional Programming Language (1)
Numerical Software (1)
Proof Assistant (1)
Software Calculator (1)
Software Category (1)
Software Library (1)
Software (1)
Purely Functional Programming Language (1)
Econometrics Software (1)
Visual Programming Language (1)
Formula Editor (1)
Free Software (1)
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
Aldor
Place
programming language
Dafny
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
OpenMx
Place
open source program for extended structural equation modeling
LEGO
Place
logical proof assistant
FriCAS
Place
programming language
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Egison
Place
1