pas à ma connaissance...

il existe de tel programme, mais c'est la nasa qui s'en sert.
De plus, il sont relativement énorme, pasque très complexes...

quand tu redimensionne, tu as moins de pixels au total, c'est donc pas possible de juste "réduire" la taille... quand tu réduit une image, tu associe plusieurs pixels de l'image pour faire une moyenne, moyenne qui est pondérée par la couleur des pixels environnants... (et ainsi de suite...) le fait que ça pixellise dépend de ce coef de pondération, et du type de moyennage...
voilà voilà...