Computational Group Theory

The Seung Lab uses techniques from machine learning and social computing to extract brain structure from light and electron microscopic images.EyeWire

Computation is any type of calculation that includes both arithmetical and non-arithmetical steps and follows a well-defined model, for example an algorithm.. The study of computation is paramount to the discipline of computer science

This PDF document contains hyperlinks, and one may navigate through it by click-ing on theorem, definition, lemma, equation, and page numbers, as well as URLs,

The study of groups. Gauss developed but did not publish parts of the mathematics of group theory, but Galois is generally considered to have been the first to develop the theory.

Learning Theory is a research field devoted to studying the design and analysis of machine learning algorithms. In particular, such algorithms aim at making accurate predictions or representations based on observations.

A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.

The aim of ICCMSE 2018 is to bring together computational scientists and engineers from several disciplines in order to share methods, methologies and ideas and to attract original research papers of very high quality.

Computational chemistry is a branch of chemistry that uses computer simulation to assist in solving chemical problems. It uses methods of theoretical chemistry, incorporated into efficient computer programs, to calculate the structures and properties of molecules and solids.

Computational number theory is the branch of number theory concerned with finding and implementing efficient computer algorithms for solving various problems in number theory.

SIGACT is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes.