Programming Language
Mathematical_Software › Programming Language · Ranked by notability
17
Articles
0
Images
15
Keywords Tracked
15
Websites Tracked
5,158,770
Monthly Searches
1
Pages
Also in Mathematical_Software
All Mathematical_Software
Mathematical Software (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)
Mathematical Software (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)
GNU Octave
CreativeWork
numerical computation software
Stata
Place
statistical software package
Rocq prover
CreativeWork
proof assistant
Lean
CreativeWork
software for interactive and automated theorem proving
Agda
Place
dependently typed, purely functional programming language and proof assistant
Mizar
Place
proof assistant
Idris
Thing
purely functional programming language
GAP
Thing
computer algebra system for computational discrete algebra
PARI/GP
CreativeWork
computer algebra system
Aldor
Place
programming language
Dafny
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
FriCAS
Place
programming language
LEGO
Place
logical proof assistant
OpenMx
Place
open source program for extended structural equation modeling
TOMVIEW
Place
platform for solving applied optimization problems in LabVIEW
Egison
Place
1