What is Mathematical knowledge management?

The International Congress on Mathematical Physics is the largest research congress in mathematical physics. It is held every three years, on behalf of the International Association of Mathematical Physics.

The Canadian Mathematical Olympiad is Canada's top mathematical problem-solving competition. It is run by the Canadian Mathematical Society. The Olympiad plays several roles in Canadian mathematics competitions, most notably being...

A timeline of mathematical logic. See also History of logic.

The Carus Mathematical Monographs is a monograph series published by the Mathematical Association of America. Books in this series are intended to appeal to a wide range of readers in...

Algebraic modeling languages like AIMMS, AMPL, GAMS, MPL and others have been developed to facilitate the description of a problem in mathematical terms and to link the abstract formulation with...

Mathematical modelling competitions are team competitions for students that aim to promote mathematical modelling to solve problems of real-world importance. Several types of math contests exist. Contests are held at...

The United States of America Mathematical Talent Search is a mathematics competition open to all United States students in or below high school.

This is a list of contributors to the mathematical background for general relativity. For ease of readability, the contributions are unlinked but can be found in the contributors' article.

In mathematical logic, a literal is an atomic formula or its negation. The definition mostly appears in proof theory , e.g. in conjunctive normal form and the method of resolution....

The Balkan Mathematical Olympiad is an international contest of winners of high-school national competitions from European countries.