I am trying to process elevation data from the AW3D30 dataset with Python. I read GeoTIFF files directly without any external libraries like GDAL. Elevation data (raster type) is specified as PixelIsArea.
As I would like to interpolate the elevation between existing points, I would like to know, what are the geocoordinates of the existing points. The accompanying description file (HDR) says they start at (0.5,0.5), but I've seen some references elsewhere (geotiff.maptools.org) saying that PixelIsArea point should be interpreted as (-0.5,-0.5).
To illustrate - if in the following picture point C1 is what I read from the file and the raster type is PixelIsArea, which are the correct geocoordinates of this point: C2 or C3?