Joe wrote:

I am aware that there are many examples of planetarium software that carry
out the appropriate calculations to give the positions of the stars and
planets as seen from any location on the surface of the Earth. Are there any
such programs that do the same for the Martian sky?

Starry Night does, and lets you select from a large number of named
craters (including Gale) for location on Mars.

Stellarium also lets you choose Mars as your viewing location, but you
have to input lat/lon yourself for specific Martian locations.

--
Pd