The OSCAR Computer Algebra System

07/30/2021, 1:50 PM2:00 PM UTC
Red

Abstract:

We present OSCAR, an Open Source Computer Algebra Research system for abstract algebra, algebraic geometry, group theory, number theory, and more. It joins existing world class systems under a common Julia interface in the Oscar.jl package. Applications exist well beyond pure mathematics (e.g. in coding theory, cryptography, robotics, ...).

We give an overview of existing and planned capabilities. We also discuss what sets us apart from Symbolics.jl.

Description:

In this talk we present OSCAR, an Open Source Computer Algebra Research system for computations to support research in abstract algebra, algebraic geometry, group theory, number theory, and more. It builds on decades of experience by extending and integrating our four existing cornerstone systems:

These are joined together under a common Julia interface in the Oscar.jl package.

Applications of our computational capabilities exist well beyond pure mathematics (e.g. in coding theory, cryptography, crystallography, robotics, ...).

While OSCAR is still under heavy development, many useful features are already available, and more are in the works. We will give an overview of existing capabilities and give a preview of what will come in the future. We will also outline what sets us apart from Symbolics.jl (which has a very different scope).

The development of OSCAR is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195. Outside contributions to OSCAR are highly welcome. Please talk to us:

Additional information can be found on our homepage, https://oscar.computeralgebra.de.

Platinum sponsors

Julia Computing

Gold sponsors

Relational AI

Silver sponsors

Invenia LabsConningPumas AIQuEra Computing Inc.King Abdullah University of Science and TechnologyDataChef.coJeffrey Sarnoff

Media partners

Packt Publication

Fiscal Sponsor

NumFOCUS