Combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
The combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.
His research interests include combinatorics, group theory and cryptography.
No talk about Victorian combinatorics would be complete without a mention of map coloring, and in particular the celebrated four-colour problem.
Her research interests are representation theory, algebraic combinatorics and computational algebra.