ALCYON lab

ALgorithms for
Combinatorics,
geometrY,
Optimization and
Number theory
Home Members Projects Publications SCIM Theses topics

Orbiter - Classifying Combinatorial Objects


Dr. Anton Betten


Colorado State University, USA

18 February 2022 17:00



Abstract

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. We will discuss the system Orbiter which is aimed at classifying mathematical objects of combinatorial nature.