J. Math. Pures Appl.

GPTKB entity