28 citations · 59 across the 5 of their papers we have counts for
5 papers
Lean on Vampire Proofs (Short Paper)
Jonas Bodingbauer, Márton Hajdu, Laura Kovács +2
Vampire proves theorems completely automatically in first- and higher-order logic extended with theories. Proof checking is increasingly demanded to consolidate user trust in Vampi…
Effective cosmology from one-body operators in group field theory
Steffen Gielen, Luca Marchetti, Daniele Oriti +1
We propose a new method for obtaining an effective Friedmann-Lemaître-Robertson-Walker (FLRW) cosmology from the quantum gravity dynamics of group field theory (GFT), based on the…
Hamiltonian group field theory with multiple scalar matter fields
Steffen Gielen, Axel Polaczek
One approach to defining dynamics for quantum gravity in a naturally timeless setting is to select a suitable matter degree of freedom as a 'clock' before quantisation. This idea o…
Generalised effective cosmology from group field theory
Steffen Gielen, Axel Polaczek
We extend various recent results regarding the derivation of effective cosmological Friedmann equations from the dynamics of group field theory (GFT). Restricting ourselves to a si…
Addendum to "Relational Hamiltonian for group field theory"
Steffen Gielen, Axel Polaczek, Edward Wilson-Ewing
In this addendum to [Phys. Rev. D 99 (2019) 086017], we extend the construction of a Hamiltonian formalism to a new class of group field theory actions with a kinetic term that is…