Plugins to easily resize images and save them as new files

Hi,
Are there any plugins that can easily let you resize numerically while maintaining propotions of any image in the media gallery and save a new copy of the resized/cropped image under a different file name?