Satisfiability and group rings

Información del proyecto

SATURN

Identificador del acuerdo de subvención: 101076148

DOI

10.3030/101076148

Fecha de la firma de la CE 16 Julio 2023

Fecha de inicio 1 Octubre 2023

Fecha de finalización 30 Septiembre 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 207 875,00

Aportación de la UE

€ 1 207 875,00

Coordinado por

RHEINISCHE FRIEDRICH-WILHELMS-UNIVERSITAT BONN
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Data Management Plan (1)

Data Management Plan

Drafting of Data Management Plan

Publicaciones

Peer reviewed articles (3)

Virtual first Betti number of GGS groups

Autores: Andrew Ng
Publicado en: Journal of Algebra, Edición 693, 2026, ISSN 0021-8693
Editor: Elsevier BV
DOI: 10.1016/J.JALGEBRA.2026.01.002

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

Autores: Alessandro Sisto, Stefanie Zbinden
Publicado en: International Mathematics Research Notices, Edición 2026, 2026, ISSN 1073-7928
Editor: Oxford University Press (OUP)
DOI: 10.1093/IMRN/RNAG013

Algebraically hyperbolic groups

Autores: Giles Gardam, Dawid Kielak, Alan D. Logan
Publicado en: Groups, Geometry, and Dynamics, 2025, ISSN 1661-7207
Editor: European Mathematical Society - EMS - Publishing House GmbH
DOI: 10.4171/GGD/907