Satisfiability and group rings

Informazioni relative al progetto

SATURN

ID dell’accordo di sovvenzione: 101076148

DOI

10.3030/101076148

Data della firma CE 16 Luglio 2023

Data di avvio 1 Ottobre 2023

Data di completamento 30 Settembre 2028

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 207 875,00

Contributo UE

€ 1 207 875,00

Coordinato da

RHEINISCHE FRIEDRICH-WILHELMS-UNIVERSITAT BONN
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Pubblicazioni

Peer reviewed articles (3)

Virtual first Betti number of GGS groups

Autori: Andrew Ng
Pubblicato in: Journal of Algebra, Numero 693, 2026, ISSN 0021-8693
Editore: Elsevier BV
DOI: 10.1016/J.JALGEBRA.2026.01.002

Nearly-Linear Solution to the Word Problem for 3-Manifold Groups

Autori: Alessandro Sisto, Stefanie Zbinden
Pubblicato in: International Mathematics Research Notices, Numero 2026, 2026, ISSN 1073-7928
Editore: Oxford University Press (OUP)
DOI: 10.1093/IMRN/RNAG013

Algebraically hyperbolic groups

Autori: Giles Gardam, Dawid Kielak, Alan D. Logan
Pubblicato in: Groups, Geometry, and Dynamics, 2025, ISSN 1661-7207
Editore: European Mathematical Society - EMS - Publishing House GmbH
DOI: 10.4171/GGD/907