Efektivní implementace semi-implicitní nespojité Galerkinovy methody pro simulaci stlačitelného proudění