SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems

Buchberger, Bruno (Projektleiter*in)
Jebelean, Tudor (Projektleiter*in)
Paule, Peter (Projektleiter*in)

Institut für Symbolisches Rechnen

Projekt: Geförderte Forschung › EU - Europäische Union

Status	Abgeschlossen
Tatsächliches Beginn-/Enddatum	01.07.2016 → 31.08.2018

Projektbeteiligte

Johannes Kepler Universität Linz (Leitung)
University of Bath (Projektpartner*in)

Wissenschaftszweige

101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra

JKU-Schwerpunkte

Digital Transformation