Диференційовний многовид – Інші мови