MétaCan
Menu
Constructeur de cohorte

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.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Polynomial and algebraic computation
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

656 résultats · 1 filtre actif ·
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.
656 travaux dans la cohorte · sur 4 299 418page 2 sur 14

Les étiquettes couvrent 1 des 656 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 656 des 656 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

affnon étiqueté
The RegularChains library in MAPLE
François Lemaire, Marc Moreno Maza, Yongjian Xie
2005· article· en· ACM SIGSAM Bulletin· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
39
citations
affsans résuménon étiqueté
A criterion for the half-plane property
David G. Wagner, Yehua Wei
2008· article· en· Discrete Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
37
citations
affsans résuménon étiqueté
Elimination theory and Newton polytopes
Alexander Esterov, Askold Khovanskiĭ
2008· article· en· Functional Analysis and Other Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
37
citations
affnon étiqueté
Computing minimal nullspace bases
Wei Zhou, George Labahn, Arne Storjohann
2012· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
34
citations
affnon étiqueté
Fast arithmetic for triangular sets
Xin Li, Marc Moreno Maza, Éric Schost
2007· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
34
citations
affsans résuménon étiqueté
Weak theories of linear algebra
Neil Thapen, Michael Soltys
2004· article· en· Archive for Mathematical Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
34
citations
affsans résuménon étiqueté
Certified dense linear system solving
Thom Mulders, Arne Storjohann
2003· article· en· Journal of Symbolic Computation· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
33
citations
affnon étiqueté
Computations modulo regular chains
Xin Li, Marc Moreno Maza, Wei Pan
2009· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
33
citations
affsans résuménon étiqueté
Likelihood degenerations
Daniele Agostini, Taylor Brysiewicz, Claudia Fevola, Lukas Kühne, Bernd Sturmfels, Simon Telen +1 autres
2023· article· en· Advances in Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
32
citations
affnon étiqueté
A package for solving parametric polynomial systems
Jürgen Gerhard, David J. Jeffrey, Guillaume Moroz
2010· article· en· ACM communications in computer algebra· Computer Science
prédiction distillée:candidate · open_scienceconsensus · aucune
32
citations
affnon étiqueté
Formal Theories for Linear Algebra
Stephen Cook, Lila Fontes
2012· article· en· Logical Methods in Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
30
citations
afffundnon étiqueté
Highly Parallel, High-Precision Numerical Integration
David H. Bailey, Jonathan M. Borwein
2005· article· en· University of North Texas Digital Library (University of North Texas)· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
30
citations
affsans résuménon étiqueté
Multi-point evaluation in higher dimensions
Joris van der Hoeven, Éric Schost
2012· article· en· Applicable Algebra in Engineering Communication and Computing· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
30
citations
affsans résuménon étiqueté
Change of order for regular chains in positive dimension
Xavier Dahan, Xin Jin, Marc Moreno Maza, Éric Schost
2007· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
29
citations
affnon étiqueté
Faithful Realizability of Tropical Curves
Man-Wai Cheung, Lorenzo Fantini, Jennifer Park, Martin Ulirsch
2015· article· en· International Mathematics Research Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
26
citations
affnon étiqueté
The Tropical Double Description Method
Xavier Allamigeon, Stéphane Gaubert, Éric Goubault
2010· preprint· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
24
citations
affsans résuménon étiqueté
Telescoping in the context of symbolic summation in Maple
С. А. Абрамов, Jacques Carette, K. O. Geddes, H. Q. Le
2004· article· en· Journal of Symbolic Computation· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
22
citations
afffundnon étiqueté
Complexity of terms, composition, and hypersubstitution
Klaus Denecke, Shelly L. Wismath
2003· article· en· International Journal of Mathematics and Mathematical Sciences· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
20
citations
affnon étiqueté
Normalization of row reduced matrices
Soumojit Sarkar, Arne Storjohann
2011· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
19
citations
afffundsans résuménon étiqueté
Homogenization and the polynomial calculus
Joshua Buresh-Oppenheim, Matthew Clegg, Russell Impagliazzo, Toniann Pitassi
2002· article· en· Computational Complexity· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
19
citations
affsans résuménon étiqueté
Fast conversion algorithms for orthogonal polynomials
Alin Bostan, Bruno Salvy, Éric Schost
2009· article· en· Linear Algebra and its Applications· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
18
citations

En coulisses: Sélection · Constats · À propos