Décimo-terceiro problema de Hilbert - Outras línguas