A programming language is a set of instruction and it’s used to produced various kind of output in the form of communication, usually between human beings and machines. If we take a look the same thing in different style means “programming is a subset of the language of mathematics.” Here, we’re talking about top programming language for mathematics to solve a mathematical and logical problem.

### Wolfram

The wolfram language can be an overall multi-paradigm programming language developed by wolfram research. It may be your programming language of the mathematical symbolic computation application Mathematica and also the wolfram programming cloud. It can employ structures and info and emphasizes programming, functional programming, and symbolic computation.

### MATLAB

MATLAB (matrix laboratory) is a multi-paradigm numerical computing surroundings and proprietary programming language made by MathWorks. Matrix manipulations are allowed by MATLAB, plotting of data and functions and execution of calculations along with interfacing with apps for example c#, C++, do, java, Fortran and Python.

### R

R is a programming language and also free computer software environment for statistical computing and graphics that is supported via the foundation for statistical computing. The scripting terminology is used for information investigation and statistical software one of statisticians and data miners. Polls, studies of literature databases, and studies of information miners demonstrate that the popularity of r has increased substantially in the last several years.

### Python

Python is an interpreted programming-language for most general-purpose programming. Python comes with a design philosophy that highlights code readability, especially using white space that is significant. It provides constructs that empower programming onto both large and tiny scales. In July 2018, python includes a lively sort system and memory management. It supports numerous programming paradigms, such as object oriented, critical, abstract and functional, and has a large and comprehensive standard library

### Julia

Julia is a high-tech lively programming language which has been originally made to deal with the requirements of high-speed numerical investigation and technical engineering, minus the standard requirement of different compilation to become rapidly, additionally useable for server and client web usage, non-invasive programming and even like a resource speech.

### Idris

Idris is a functional programming language with dependent forms, the attention on Idris is on programming, also such as the Haskell that is purely practical, and with performance. Idris' type method is much like the main one and also theorem-proving in it is very similar to coq, for example tactics. By comparison, Idris has a priority easy management of side effects and service to implementing embedded domain specific languages.

### Haskell

Haskell is a general-purpose compiled programming language, with semantics and static scanning. Haskell's most recent grade is currently Haskell 2010. As of 2016, there is a band doing work to the next version, Haskell 2020. Haskell has a kind program with sort inference. Type lessons first emerged from the Haskell programming language. Its execution would be the Glasgow Haskell compiler.

### J

Notably when doing functions on matrices j is just a terse array programming language, also so is most suited to statistical and mathematical programming. Additionally, it has been found in programming and system performance investigation.

### Prolog

Prolog is a logic programming language associated with computational linguistics and artificial intelligence. Prolog has its origins in logic, a logic that is formal, and similar to a number of other programming languages, prolog is intended as being a programming language: that the application logic is expressed with respect to connections, reflected as rules and facts. There is a computation initiated by running a query within these connections.

### Coq

Coq is an interactive theorem prover and it enables automatically assesses evidence of the assertions, the expression of assertions, extracts that a curriculum in the proof its proper specification, also really helps you come across signs. Coq performs over the principle of this calculus of structures. It isn't an automatic theorem prover but comprises selection techniques and theorem proving techniques.