Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to …

Algebraic combinatorics Young diagram of the integer partition (5, 4, 1). Algebraic combinatorics is an area of mathematics that employs methods of abstract algebra, notably group theory and …

Functional programming List of computer algebra systems List of computer simulation software List of information graphics software Literate programming Mathematical markup language Mathematical …

Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language. It covers several areas of technical computing, such as symbolic mathematics, numerical …

The language of mathematics or mathematical language is an extension of the natural language (for example English) that is used in mathematics and in science for expressing results (scientific laws, …

TK Solver is a mathematical modeling and problem-solving software system based on a declarative, rule-based language, commercialized by Universal Technical Systems, Inc. Torch is a deep-learning …

This is a timeline of pure and applied mathematics history. It is divided here into three stages, corresponding to stages in the development of mathematical notation: a "rhetorical" stage in which …

Ancient Greek mathematics refers to the history of mathematical ideas and texts in Ancient Greece during classical and late antiquity, mostly from the 5th century BC to the 6th century AD. [1][2] Greek …