Ore, Oystein (1899-1968)

° Formule d’Ore. – Formule établie par le mathématicien norvégien Ore en 1957 et qui permet de trouver le jour de la semaine d'une date donnée dans le calendrier grégorien. Soit q le quantième, m le rang du mois (mars étant le 1^er mois, avril le 2^e, ... , janvier et février les 11^e et 12^e mois), s la partie séculaire et a les deux derniers chiffres de l’année, le jour de la semaine correspond au reste de la division par 7 de k où [ ] désigne la partie entière.

Pour janvier ou février d’une année non bissextile, on soustrait 1 à k. Pour janvier ou février d’une année bissextile, on soustrait 2 à k. Si k est négatif, on fait (7n + k) où n est choisi de façon à ce que la valeur de l'expression varie de 0 à 6. Les jours de la semaine sont numérotés selon leur rang ; dimanche correspond à 0 et samedi à 6. 

Le 2 mars 1905 est un jeudi, car k = 2 + [12/5] + [19/4] - 38 + 5 + [5/4] = -24 et 28 - 24 = 4. 

Le 12 janvier 1976 est un lundi, car k = 12 + [142/5] + [19/4] - 38 + 76 + [76/4] = 101 et 101 - 2 = 99 (année bissextile). On fait 99 ÷ 7 = 14 reste 1.