| | Score |
FavoniaFLL16 | 0.0 | |
XuE13-1 | 0.0 | |
DaggittGG18 | 0.0 | |
HuH09-9 | 0.0 | |
SwierstraA08 | 0.0 | |
CortinasS18 | 0.0 | |
ValliappanRC22 | 0.0 | |
McBride14-2 | 0.0 | |
https:-doi.org-10.48550-arxiv.2103.05581 | 0.0 | |
KoG13-1 | 0.0 | |
Danielsson13 | 0.0 | |
ChapmanDMM10 | 0.0 | |
JeffreyP11 | 0.0 | |
OConnor16-0 | 0.0 | |
BernardyJP10 | 0.0 | |
DagandM14 | 0.0 | |
PickardH21 | 0.0 | |
AllaisA0MM18 | 0.0 | |
OConnor19 | 0.0 | |
BoveDS12 | 0.0 | |
CicconeP20 | 0.0 | |
ethos-10314 | 0.0 | |
hal-3916 | 0.0 | |
Benjamin21-0 | 0.0 | |
WeirichC10 | 0.0 | |
000110-2 | 0.0 | |
AltenkirchDK17 | 0.0 | |
LohM11 | 0.0 | |
ChapmanUV17 | 0.0 | |
ThiemannC12 | 0.0 | |
RouvoetPKV20 | 0.0 | |
Prieto-Cubides22 | 0.0 | |
DanielssonN08 | 0.0 | |
OmarVHAH17 | 0.0 | |
Pouillard11 | 0.0 | |
HuL20 | 0.0 | |
IonescuJ11 | 0.0 | |
TasistroCS15 | 0.0 | |
FlorSS15 | 0.0 | |
Zeilberger08 | 0.0 | |
https:-doi.org-10.48550-arxiv.2205.08718 | 0.0 | |
Danielsson10 | 0.0 | |
JeffreyR11 | 0.0 | |
AltenkirchC09 | 0.0 | |
JacobsND19 | 0.0 | |
PrinzKL22 | 0.0 | |
Norell09 | 0.0 | |
https:-doi.org-10.48550-arxiv.2103.09092 | 0.0 | |
AlgehedB19 | 0.0 | |
AltenkirchK16 | 0.0 | |
Jeffrey12 | 0.0 | |
CockxD17 | 0.0 | |
FlorenceYTF19 | 0.0 | |
Dagand17 | 0.0 | |
FioreS22 | 0.0 | |
CockxDP14 | 0.0 | |
Asai19 | 0.0 | |
LicataS13 | 0.0 | |
Allais19 | 0.0 | |
KokkeSW20 | 0.0 | |
0001OV18 | 0.0 | |
FirsovU15 | 0.0 | |
Norell2007towardsapractical | 0.0 | |
https:-doi.org-10.48550-arxiv.2110.05771 | 0.0 | |
SerranoM18 | 0.0 | |
basesearch-7836 | 0.0 | |
AbelV14 | 0.0 | |
WaltS12 | 0.0 | |
RouvoetKV21 | 0.0 | |
VezzosiMA21 | 0.0 | |
CopelloTB14 | 0.0 | |
LabradaTTD22 | 0.0 | |
FosterS11-0 | 0.0 | |
RestPRVM22 | 0.0 | |
Kahl14 | 0.0 | |
Chapman09 | 0.0 | |
CarrJMMS22 | 0.0 | |
CockxME0N22 | 0.0 | |
Genestier20 | 0.0 | |
LicataH09 | 0.0 | |
CaretteS16-0 | 0.0 | |
Setzer0PT14 | 0.0 | |
BrunerieLM22 | 0.0 | |
Al-hassyK15 | 0.0 | |
Kahl11-0 | 0.0 | |
KinoshitaP14 | 0.0 | |
CockxPD14 | 0.0 | |
Montin2022 | 0.0 | |
Veltri15 | 0.0 | |
SchwaabS13 | 0.0 | |
FirsovU15-0 | 0.0 | |
PoulsenRTKV18 | 0.0 | |
AhrensHLM20 | 0.0 | 0.0 |
UustaluVZ18 | 0.0 | |
Escardo13-0 | 0.0 | |
VassenaR16 | 0.0 | |
Allais17 | 0.0 | |
KrausECA13 | 0.0 | |
FelicissimoBB23 | 0.0 | |
VezzosiM019 | 0.0 | |
Jeffrey13-1 | 0.0 | |
MorgensternL10 | 0.0 | |
DiehlS13 | 0.0 | |
felicissimo:hal-03343699 | 0.0 | |
CaiGRO14 | 0.0 | |
DevrieseP13 | 0.0 | |
CicconeDZ21 | 0.0 | |
LicataZH08 | 0.0 | |
OlmosFSGGP20 | 0.0 | |
CockxDP16 | 0.0 | |
GhaniMFS13 | 0.0 | |
Norell13 | 0.0 | |
LicataB15 | 0.0 | |
SpallMT22 | 0.0 | |
KoCL22-0 | 0.0 | |
Bove09 | 0.0 | |
AltenkirchLR14 | 0.0 | |
SculthorpeH14 | 0.0 | |
ChengHM18 | 0.0 | |
Jeffrey14 | 0.0 | |
Danielsson08 | 0.0 | |
0001VW17 | 0.0 | |
AltenkirchD10 | 0.0 | |
SwierstraB19 | 0.0 | |
ethos-1592 | 0.0 | |
CockxDP16-0 | 0.0 | |
BernardyJP12 | 0.0 | |
MiraldoCMSS21 | 0.0 | |
LicataF14-0 | 0.0 | |
DagandM12 | 0.0 | |
MaarandU19 | 0.0 | |
PouillardP12 | 0.0 | |
EscardoS16 | 0.0 | |
from2021teaching | 0.0 | |
Jeffrey13-0 | 0.0 | |
Swierstra10 | 0.0 | |
AltenkirchMS07 | 0.0 | |
AngiuliMLH16 | 0.0 | |
MortbergP20 | 0.0 | |
FirsovU13 | 0.0 | |
AhrensCS15 | 0.0 | |
Danielsson12 | 0.0 | |
SinkarovsC21 | 0.0 | |
VassenaRGRS19 | 0.0 | |
BoveD08 | 0.0 | |
StuckiG21 | 0.0 | |
FredrikssonG14-0 | 0.0 | |
ZmigrodDG18 | 0.0 | |
McBride15 | 0.0 | |
AhmanS13 | 0.0 | |
Allais0MM17 | 0.0 | |
GilbertCST19 | 0.0 | |
RestS22 | 0.0 | |
0001P16-8 | 0.0 | |
KrausS15 | 0.0 | |
Takeyama11 | 0.0 | |
LicataS16 | 0.0 | |
PouillardP10 | 0.0 | |
DaggittZG20 | 0.0 | |
NoortSAP11 | 0.0 | |
AltenkirchGHMM15 | 0.0 | |
ChapmanUV19 | 0.0 | |
UustaluV17 | 0.0 | |
KellerA10 | 0.0 | |
ForsbergS10 | 0.0 | |
AsaiFTZ14 | 0.0 | |
ChiangM16 | 0.0 | |
McBride10-2 | 0.0 | |
9640056 | 0.0 | |
ethos-10479 | 0.0 | |
FeitosaRB21 | 0.0 | |
https:-doi.org-10.48550-arxiv.2212.07735 | 0.0 | |
HamanaF11 | 0.0 | |
CockxTW21 | 0.0 | |
UrciuoliTS20 | 0.0 | |
PujetT23 | 0.0 | |
FirsovU14 | 0.0 | |
KoG11 | 0.0 | |
CockxD18 | 0.0 | |
https:-doi.org-10.48550-arxiv.2104.04095 | 0.0 | |
BoveDS09 | 0.0 | |
OrtonP18 | 0.0 | |
AhmanCU12 | 0.0 | |
DiehlS14 | 0.0 | |
AtkeyJG11 | 0.0 | |
CloustonBGB15 | 0.0 | |
Ceulemans2022 | 0.0 | |
EscardoX15 | 0.0 | |
KaposiKA19 | 0.0 | |
FavoniaS16 | 0.0 | |
GhaniMF13 | 0.0 | |
DiehlS16 | 0.0 | |
Escardo13-1 | 0.0 | |
CapriottiKV15 | 0.0 | |
Kahl12 | 0.0 | |
AngiuliCMZ21 | 0.0 | |
WinantCD17 | 0.0 | |
HancockH06 | 0.0 | |
Norell08 | 0.0 | |
AltenkirchK16-0 | 0.0 | |
EscardoO10-1 | 0.0 | |
Vivekanandan18-0 | 0.0 | |
Zeilberger09 | 0.0 | |
Danielsson12-0 | 0.0 | |
MuKJ08 | 0.0 | |
PujetT22 | 0.0 | |
ManzinoP20 | 0.0 | |
EscotC22 | 0.0 | |
EscardoX16 | 0.0 | |
OuryS08 | 0.0 | |
McBride12-0 | 0.0 | |
IonescuJ12 | 0.0 | |
Kraus16 | 0.0 | |
DeMeoC21 | 0.0 | |
BoveDN09 | 0.0 | |
Coquand06 | 0.0 | |
MuKJ09 | 0.0 | |
Danielsson06 | 0.0 | |
AltenkirchCU14 | 0.0 | |
CurtisM15 | 0.0 | |
Calderon18 | 0.0 | |
NuytsVD17 | 0.0 | |
CapperN12 | 0.0 | |
NiuSGH22 | 0.0 | |
CapperN10 | 0.0 | |
AllaisMB13 | 0.0 | |
HuC21 | 0.0 | |
Cockx19 | 0.0 | |
AltenkirchCU10 | 0.0 | |
Danielsson10-1 | 0.0 | |
VeltriW19 | 0.0 | |
LLL09diff | 0.0 | |
JuanD20 | 0.0 | |
ChenS21-1 | 0.0 | |
Wadler18 | 0.0 | |
DagandM13 | 0.0 | |
DevrieseP11-1 | 0.0 | |
CockxA18 | 0.0 | |
SwierstraN13 | 0.0 | |
KidneyW21 | 0.0 | |
ChapmanUV15 | 0.0 | |
KokkeS15 | 0.0 | |
OrtonP16 | 0.0 | |
LindbladB04 | 0.0 | |
ZalakainD21 | 0.0 | |
ChapmanKNW19 | 0.0 | |
MaarandU18 | 0.0 | |
AngiuliMLH14 | 0.0 | |
LicataH09-0 | 0.0 | |
Kovacs22 | 0.0 | |
GuntherGP18 | 0.0 | |
OmarVCH19 | 0.0 | |
EadesP16 | 0.0 | |
DaraisH19 | 0.0 | |
McBride10-0 | 0.0 | |
AltenkirchM09 | 0.0 | |
UustaluV17-1 | 0.0 | |
AlhabardiBLS21 | 0.0 | |
AbelAS17 | 0.0 | |
AhmanP21 | 0.0 | |
IgriedS16-0 | 0.0 | |
HancockMGMA13 | 0.0 | |
OrtonP17-0 | 0.0 | |
VeltriV20 | 0.0 | |
CaretteF17 | 0.0 | |
SculthorpeN09 | 0.0 | |
Kovacs20 | 0.0 | |
https:-doi.org-10.48550-arxiv.2205.08354 | 0.0 | |
KansoS16 | 0.0 | |
ForsbergXG20 | 0.0 | |
LempsinkLL09 | 0.0 | |
UustaluV17-0 | 0.0 | |
GeestS17 | 0.0 | |