Descobri que o ImageMagick 7 produz um resultado tão bom quanto o obtido pelo Mozilla Firefox:
Para redimensionar uma imagem usando o ImageMagick, use o comando:
magick image.png -resize 600 small.png
Isso redimensionará image.png
para uma largura de 600px, preservando a proporção e salvando a saída como small.png
.
Após algumas tentativas e erros, até encontrei uma maneira de redimensionar em lote usando o cmd.exe no Windows 7. O comando:
for %f IN (*.png) DO magick %f -resize 600 scaled/%f
redimensionará todas as imagens PNG no diretório atual para uma largura de 600px, preservando a proporção e colocando as imagens de saída no subdiretório scaled
.