output
19952026
most citedThe Gaia mission

7.1k citations

researchers with a paper here
collaborating institutions
Showing 2017Show all

12 papers · 1 filter

cs.PL2017★ 2 cited

Proof Mining with Dependent Types

Ekaterina Komendantskaya, Jonathan Heras

Several approaches exist to data-mining big corpora of formal proofs. Some of these approaches are based on statistical machine learning, and some -- on theory exploration. However…

math.FA2017

1-Greedy renormings of Garling sequence spaces

Fernado Albiac, José L. Ansorena, Ben Wallis

Garling sequence spaces admit a renorming with respect to which their standard unit vector basis is 1-greedy. We also discuss some additional properties of these Banach spaces rela…

astro-ph.SR2017★ 101 cited

Gaia Data Release 1. Testing the parallaxes with local Cepheids and RR Lyrae stars

Gaia Collaboration, G. Clementini, L. Eyer +588

Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release…

math.FA2017★ 14 cited

Fourier Series of Gegenbauer-Sobolev Polynomials

Óscar Ciaurri, Judit Mínguez

We study the partial sum operator for a Sobolev-type inner product related to the classical Gegenbauer polynomials. A complete characterization of the partial sum operator in an ap…

math.FA2017★ 9 cited

On Garling sequence spaces

Fernando Albiac, José L. Ansorena, Ben Wallis

The aim of this paper is to introduce and investigate a new class of separable Banach spaces modeled after an example of Garling from 1968. For each and each…

math.CA2017★ 1 cited

A Hardy inequality for ultraspherical expansions with an application to the sphere

Alberto Arenas, Óscar Ciaurri, Edgar Labarga

We prove a Hardy inequality for ultraspherical expansions by using a proper ground state representation. From this result we deduce some uncertainty principles for this kind of exp…