Home | Members | Projects | Publications | SCIM | Theses topics |
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.