MétaCan
Menu
Retour à la cohorte
Enregistrement W775333488

Sage (version 3.4); The Princeton Companion To Mathematics

2009· article· en· W775333488 sur OpenAlexvenueno aff
Robert A. Beezer

Notice bibliographique

RevueSound Ideas (University of Puget Sound) · 2009
Typearticle
Langueen
DomaineMathematics
ThématiqueAdvanced Mathematical Theories
Établissements canadiensnon disponible
Organismes subventionnairesnon disponible
Mots-clésMathematicsSAGEMathematics educationCalculus (dental)PhysicsNuclear physicsMedicine
DOInon disponible

Résumé

récupéré en direct d'OpenAlex

Sage is software for mathematics.To the uninitiated, this statement might sound unimpressive, or even obvious, but the readers of SIAM Review will clearly recognize the challenges of representing the infinite and the continuous in a machine that is finite and discrete.For example, consider just the vagaries of floating-point arithmetic.A better description, which concisely captures the essence of Sage, comes from the project's mission: "Creating a viable free open-source alternative to Magma, Maple, Mathematica and Matlab."While Sage continues to improve and expand at a dramatic pace, it has come a long way toward meeting its goals.Stable and fast algorithms are provided for much of the mathematical universe, including symbolic, exact, numerical, and graphical capabilities.A notebook interface runs in a web browser and provides a convenient and productive environment for using all of Sage's features.The user and developer communities have also expanded dramatically.All of this is based on open-source software, open standards, and an open development process.Borne of his frustration with proprietary programs providing similar functionality, William Stein founded Sage in 2005 and continues to lead the project.He wondered how one could rely on software for research in mathematics with little or no knowledge of the algorithms and code producing those results.He believed rapid progress in scientific research had always been predicated on an open exchange of ideas, and so should it be with software for mathematics.Since 2005 the project has attracted a very large user community, as measured by these recent monthly statistics provided by Harald Schilly, the Sage web site and forum manager: 2,000 forum posts generated and viewed by the 2,000 forum members, 6,000 downloads of the program, and 60,000 visits to the web site.Contributors to the code are an international group numbering 150, while at any one time roughly 40 of these developers are working assiduously on projects or improvements.Major funding sources are the University of Washington, the University of California San Diego, the National Science Foundation, Coogle, Microsoft, Sun, and the U.S. Department of Defense.The genius of Sage is its leveraging of other open-source software projects.There are many mature and stable software projects devoted to relatively narrow areas of mathematics whose authors have released the source code under open licenses, such as the statistics package R and the scientific computing package SciPy.Since Sage is made available with a compatible license, it is allowed to integrate this functionality.This brings open, well-tested, and very fast algorithms into the project at the cost of

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Comment cette classification a été obtenuedéplier

Prédiction machine sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.

score de la tête « metaresearch » (Codex)0,003
score de la tête « metaresearch » (Gemma)0,017
Version: metacan-v3-hybrid-931329e0061cStatut de validation: machine_predicted_unvalidated
Catégories candidatesCharge utile insuffisante (le modèle a refusé de juger)
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Sans objet · Signal consensuel: Sans objet
GenreSignal candidat: Logiciel · Signal consensuel: aucune
Score de désaccord entre enseignants0,547
Score d'incertitude au seuil0,647

Scores du classifieur distillé par catégorie (deux têtes)

CatégorieCodexGemma
Métarecherche0,0030,017
Méta-épidémiologie (sens strict)0,0030,002
Méta-épidémiologie (sens large)0,0030,002
Bibliométrie0,0050,007
Études des sciences et des technologies0,0020,002
Communication savante0,0100,009
Science ouverte0,0030,004
Intégrité de la recherche0,0030,007
Charge utile insuffisante (le modèle a refusé de juger)0,5470,600

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,029
Tête enseignante GPT0,283
Écart entre enseignants0,254 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle

Classification

machine, non validée

Prédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.

Devis d'étudeSans objet
Domainenon disponible
GenreLogiciel

Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».

En bref

Citations1
Publié2009
Routes d'admission1
Résumé présentoui

Explorer davantage

Même revueSound Ideas (University of Puget Sound)Même sujetAdvanced Mathematical TheoriesTravaux en français237 207