On weak and weighted computations over the real closure of \(\mathbb{Q}\)

From MaRDI portal
Publication:5941734