基础天文标准库
基础天文标准库（Standards Of Fundamental Astronomy，SOFA）是IAU赞助的项目，旨在为天文计算提供权威有效的算法程序和常数数值。1994年的IAU大会上，IAU天文标准工作组提出了创立SOFA的提案。1997年，SOFA评审委员会正式创立，并设置了发布代码的SOFA中心。
SOFA的特点是独立性和跨平台性，也就是使用不需额外程序的支持，也尽量保证与操作系统无关。另外SODA前后版本的子程序名称也保持一致，并与国际地球自转服务的约定相容。其评审委员会由IAU第一专业委员会即基础天文学委员会指派，利用IAU最新批准的基础天文模型和理论编制程序，并对程序进行检验。第一版代码于2001年10月底公布，之后基本是每两年公布一个新版本。
该程序库大多采用成熟算法编写，并尽量挖掘计算机的运算精度。不过为顾及使用的方便性，开发者在某些子程序上还是作了妥协。
SOFA的最新版于今年8月10日推出，代码用Fortran 77编写，可以在Unix家族、Macintosh和Windows操作系统下使用。新版SOFA补充了IAU在2006年公布的岁差模型，由两部分组成：天文库和矢量\矩阵运算库。其中前者有109个子程序，可以进行天文历法计算、时间计算、星历表计算、岁差章动计算、恒星空间运动计算和主要星表系统的转换，后者有52个子程序，功能则是矢量和矩阵的各种操作，当然其中包括了球面坐标系统的变换。各子程序的功能和说明文档如下：
