 He provided accurate trigonometric tables and expressed the theorem in a form suitable for modern usage.As of the 1990s, in France, the law of cosines is still referred to as the "Théorème d'Al-Kashi.