(computing) Any of a set of subroutines supplied with a language or system that can be called to perform standard mathematical functions efficiently

The study of mathematical concepts independently of applications outside mathematics.

(mathematics) Any game featuring arithmetic or other branches of mathematics; a branch of recreational mathematics

(mathematics) Any use of mathematics or logic whose primary purpose is recreation, though often with more serious characteristics.

plural of mathematical game

(mathematics) Collectively, most discrete or computer science-related branches of mathematics, such as graph theory and combinatorics.

plural of matha

An abstract mathematical representation of a process, device or concept; it uses a number of variables to represent inputs, outputs and internal states, and sets of equations and inequalities to describe their interaction.

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

(computer science) A study of formal semantics of computer languages, such as denotational semantics.