I received an email based off this question, as the notes linked above are not available any more. The best way to perform these coordinate transformations is arguably in Python with astropy. This will be more accurate, and work for a larger range of dates than the formulae above.
The exact answer depends on the precise meaning of the question, since "RA and DEC for 01.01.2017" is not very well defined. If you just want to apply precession of the equator, you probably want to transform your RA and Dec from whatever it is now into FK5 at the correct equinox. If you have J2000 coordinates they are probably in the ICRS frame and so you want, e.g:
from astropy import coordinates as coord
from astropy import units as u
from astropy.time import Time
coo = coord.SkyCoord('17 57 48.49980 +04 41 36.1114', unit=(u.hour, u.deg), frame='icrs')
equinox = Time('2017-01-01')
fk5_frame = coord.FK5(equinox=equinox)
coo_fk5 = coo.transform_to(fk5_frame)
print(coo_fk5.to_string(style='hmsdms', sep=':'))
which gives 17:58:38.91262 +04:41:33.5019.
The formulae quoted above give 17:58:38.91406 +04:41:32.8530, which gives you some idea about the precision of the formulae.
However, you may want "JNow" or apparent place, which are corrected for precession AND nutation of the Earth, plus for the aberration of starlight due to the Earth's motion. JNow is often used for pointing equatorial telescopes...
In astropy the coordinate frame for apparent place is TETE:
https://docs.astropy.org/en/stable/api/astropy.coordinates.TETE.html
In this case you would want something like (assuming an observing location of La Palma, Spain):
from astropy import coordinates as coord
from astropy import units as u
from astropy.time import Time
coo = coord.SkyCoord('17 57 48.49980 +04 41 36.1114', unit=(u.hour, u.deg), frame='icrs')
observatory = coord.EarthLocation.of_site('lapalma')
equinox = Time('2017-01-01')
jnow_frame = coord.TETE(obstime=equinox, location=observatory)
coo_jnow = coo.transform_to(jnow_frame)
print(coo_jnow.to_string(style='hmsdms', sep=':'))
which gives 17:58:37.14350 +04:41:40.7183