Programming Language
Science_Software › Programming Language · Ranked by notability
16
Articles
0
Images
14
Keywords Tracked
14
Websites Tracked
5,048,770
Monthly Searches
1
Pages
Also in Science_Software
All Science_Software
Mathematical Software (2)
Computer Algebra System (1)
Econometrics Software (1)
Formula Editor (1)
Free And Open-Source Software (1)
Free Software (1)
Functional Programming Language (1)
Game Engine (1)
Numerical Software (1)
Plotting Software (1)
Proof Assistant (1)
Report Generator (1)
Software (1)
Software Calculator (1)
Mathematical Software (2)
Computer Algebra System (1)
Econometrics Software (1)
Formula Editor (1)
Free And Open-Source Software (1)
Free Software (1)
Functional Programming Language (1)
Game Engine (1)
Numerical Software (1)
Plotting Software (1)
Proof Assistant (1)
Report Generator (1)
Software (1)
Software Calculator (1)
GNU Octave
CreativeWork
numerical computation software
Stata
Place
statistical software package
Rocq prover
CreativeWork
proof assistant
Agda
Place
dependently typed, purely functional programming language and proof assistant
GAP
Thing
computer algebra system for computational discrete algebra
Idris
Thing
purely functional programming language
Mizar
Place
proof assistant
PARI/GP
CreativeWork
computer algebra system
Dafny
Place
programming language
Aldor
Place
programming language
MLAB
Place
multi-paradigm numerical computing environment
LEGO
Place
logical proof assistant
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
1