- Referenced in 10365 articles
- high-level language and interactive environment for numerical computation, visualization, and programming. Using MATLAB ... algorithms, and create models and applications. The language, tools, and built-in math functions enable ... faster than with spreadsheets or traditional programming languages, such as C/C++ or Java...
- Referenced in 4663 articles
- Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...
- Referenced in 2392 articles
- Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing...
- Referenced in 1195 articles
- interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented ... libraries written in the SINGULAR programming language. A general and efficient implementation of communication links ... make its functionality available to other programs...
- Referenced in 1502 articles
- proof management system. It provides a formal language to write mathematical definitions, executable algorithms ... Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project...
- Referenced in 868 articles
- high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... Java. The language provides constructs intended to enable clear programs on both a small...
- Referenced in 727 articles
- standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing...
- Referenced in 478 articles
- Language’) is a general-purpose functional programming language. It has roots in Lisp ... formal proof that a well-typed ML program does not cause runtime type errors ... currying. It is used heavily in programming language research...
- Referenced in 422 articles
- ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced ... gave rise to many other programming languages, including CPL, Simula, BCPL, B, Pascal...
- Referenced in 563 articles
- enhanced by the dedicated high-level programming language. For convenience, the system offers a textual...
- Referenced in 259 articles
- Language 1968) is an imperative computer programming language that was conceived as a successor ... ALGOL 60 programming language, designed with the goal of a much wider scope of application ... they had reappeared in subsequently developed programming languages...
- Referenced in 373 articles
- object-oriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... well-designed syntax, which leads to programs which are easier to maintain. For a first...
- Referenced in 333 articles
- available for use with many programming languages and for many platforms and operating systems...
- Referenced in 283 articles
- including MATLAB® and usable from many programming languages...
- Referenced in 268 articles
- third-generation event-driven programming language and integrated development environment (IDE) from Microsoft...
- Referenced in 271 articles
- Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... often used as a query language for deductive databases. In recent years, Datalog has found ... application in data integration, information extraction, networking, program analysis, security, and cloud computing...
- Referenced in 263 articles
- written in the ANSI C programming language and it is available for academic research ... Concorde functions are thread-safe for programming in shared-memory parallel environments; the main...
- Referenced in 254 articles
- ACL2 is both a programming language in which you can model computer systems...
- Referenced in 251 articles
- written in a relatively low-level programming language, so it is hard to extend...
- Referenced in 163 articles
- PL/I (Programming Language One) is a procedural, imperative computer programming language designed for scientific, engineering...