4 299 418 travaux, canadiens par l’une de quatre routes.
Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.
La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
1 868 travaux dans la cohorte · sur 4 299 418page 15 sur 38
Les étiquettes couvrent 0 des 1 868 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.
Les prédictions distillées couvrent 1 868 des 1 868 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.
2020· book-chapter· fr· Proceedings of the Canadian Society for the History and Philosophy of Mathematics, Société Canadienne d'Histoire et Philosophie des Mathématiques· Earth and Planetary Sciences
Mohammed El-Diasty, Ahmed El‐Rabbany, Spiros Pagiatakis
2006· article· en· Proceedings of the 19th International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS 2006)· Earth and Planetary Sciences
