Orbiter - Classifying Combinatorial Objects

Dr. Anton Betten

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.