%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Mon Jun 12 07:38:21 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ (a, b, c) $}{% Ali:2013:MLT% }. \NAMECITE{$1$}{% Rajasingh:2015:TVI% }. \NAMECITE{$ 10$}{% Roanes-Lozano:2019:SRA% }. \NAMECITE{$2$}{% Duquesne:2010:TGL,% Li:2012:DIG,% Mesquita:2021:OPS% }. \NAMECITE{$3$}{% Dorst:2016:CCM,% Duzhin:2017:MAC,% Ghosh:2010:RAS,% Nishat:2011:VDP% }. \NAMECITE{$ {{3n}}$}{% Siluszyk:2017:CCC% }. \NAMECITE{$ 3 \times 3 \times 3 $}{% Bremner:2014:HPF% }. \NAMECITE{$D$}{% Andres:2010:CMT,% Tajima:2023:CHM% }. \NAMECITE{$ H^1 $}{% Adak:2021:CVE% }. \NAMECITE{$K$}{% Akram:2013:IFS,% Albrecht:2010:ALS,% Cooper:2010:SFP,% Jia:2021:LEK,% Lee:2010:POS,% Mertzios:2010:OAF,% Wang:2013:GKM% }. \NAMECITE{$ K[X][Y; f \frac {d}{dX}] $}{% Bavula:2020:CSM% }. \NAMECITE{$ K_{m, n}[P_k] $}{% Lu:2018:ALL% }. \NAMECITE{$ L(2, 1) $}{% Chaudhuri:2011:ISS,% Paul:2015:LPB% }. \NAMECITE{$ {m} $}{% Akram:2016:PFL,% Horn:2012:MFH% }. \NAMECITE{$ \mathcal {S}_6 $}{% Gillespie:2018:COA% }. \NAMECITE{$n$}{% Nahay:2012:TOI,% Wang:2020:SAA% }. \NAMECITE{$ \Omega $}{% Autexier:2008:OTP% }. \NAMECITE{$ \pi $}{% Bortolussi:2009:HDS% }. \NAMECITE{$q$}{% Crnkovic:2023:CTE% }. \NAMECITE{$ {{\rm SL}_3(\mathbb {C})} \times {{\rm SL}_3(\mathbb {C})} \times {\rm SL}_3 (\mathbb {C}) $}{% Bremner:2014:HPF% }. \NAMECITE{$T$}{% Sivagami:2016:CCN% }. \NAMECITE{$ \tau $}{% Heuberger:2010:RAE,% Trindade:2016:TLM% }. \NAMECITE{$ \varepsilon $}{% Tiwari:2013:UCV% }. \NAMECITE{$W$}{% Jeffrey:2017:BSI% }. \NAMECITE{{}-Adic}{% Heuberger:2010:RAE% }. \NAMECITE{{}-Algebras}{% Akram:2013:IFS% }. \NAMECITE{-Analogs}{% Crnkovic:2023:CTE% }. \NAMECITE{{}-approach}{% Tiwari:2013:UCV% }. \NAMECITE{-arboricity}{% Jia:2021:LEK% }. \NAMECITE{-Body}{% Siluszyk:2017:CCC% }. \NAMECITE{-Calculus}{% Bortolussi:2009:HDS% }. \NAMECITE{{}-Coloring}{% Sivagami:2016:CCN% }. \NAMECITE{-Fault}{% Rajasingh:2015:TVI% }. \NAMECITE{-Fixed-Endpoint}{% Mertzios:2010:OAF% }. \NAMECITE{-Fold}{% Horn:2012:MFH% }. \NAMECITE{{}-Labeling}{% Chaudhuri:2011:ISS,% Paul:2015:LPB% }. \NAMECITE{-Means}{% Wang:2013:GKM% }. \NAMECITE{-Method}{% Trindade:2016:TLM% }. \NAMECITE{{}-Module}{% Andres:2010:CMT% }. \NAMECITE{{}-Modules}{% Tajima:2023:CHM% }. \NAMECITE{-Orthogonal}{% Mesquita:2021:OPS% }. \NAMECITE{-Phase}{% Lee:2010:POS% }. \NAMECITE{-Polar}{% Akram:2016:PFL% }. \NAMECITE{-{SAT}}{% Albrecht:2010:ALS,% Ghosh:2010:RAS% }. \NAMECITE{-sectors}{% Wang:2020:SAA% }. \NAMECITE{-Trees}{% Cooper:2010:SFP,% Nishat:2011:VDP% }. \NAMECITE{-Year}{% Roanes-Lozano:2019:SRA% }. \NAMECITE{{2D}}{% Blanco-Trejo:2019:FTA% }. \NAMECITE{{3}}{% Kohlhase:2012:SOM% }. \NAMECITE{{4.0}}{% Aggarwal:2021:XBF% }. \NAMECITE{{Aachen}}{% Wang:2022:SNR% }. \NAMECITE{{Abelian}}{% Bernal:2020:CAC,% Jia:2021:LEK% }. \NAMECITE{Absent}{% Schneider:2021:AMP% }. \NAMECITE{Absent-Minded}{% Schneider:2021:AMP% }. \NAMECITE{Abstraction}{% Roanes-Lozano:2023:CBM% }. \NAMECITE{{ACC}}{% Wang:2012:CBR% }. \NAMECITE{{ACC/DEC}}{% Wang:2012:CBR% }. \NAMECITE{Accelerating}{% Zima:2013:AIS% }. \NAMECITE{Accelerations}{% Li:2012:DIG% }. \NAMECITE{Access}{% Flizikowski:2023:SAN% }. \NAMECITE{Accuracy}{% Gavina:2016:IAC% }. \NAMECITE{Accurate}{% Karsenty:2019:CAC,% Siegel:2011:TTA,% Takato:2020:UOS% }. \NAMECITE{Achievements}{% Kovacs:2019:ACA% }. \NAMECITE{Activity}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{{Adams}}{% Aksim:2020:EAB% }. \NAMECITE{Adic}{% Heuberger:2010:RAE% }. \NAMECITE{Adjoint}{% ElKahoui:2014:ACA% }. \NAMECITE{Advanced}{% Ovodenko:2019:UDT,% Sandretto:2014:IMM,% Vlachakis:2017:APA% }. \NAMECITE{Advances}{% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF% }. \NAMECITE{{AES}}{% Bulygin:2010:OSS% }. \NAMECITE{Affine}{% Artinescu:2018:SCA,% Dana-Picard:2020:EIF,% ElKahoui:2014:ACA% }. \NAMECITE{After}{% Kotsireas:2017:MCS% }. \NAMECITE{{AGE}}{% Talwar:2015:SSA% }. \NAMECITE{Agents}{% Vlachakis:2021:MMM% }. \NAMECITE{Agreeing}{% Semaev:2013:IAG% }. \NAMECITE{Ahead}{% Wang:2012:CBR% }. \NAMECITE{Aircraft}{% Siggel:2019:TOS% }. \NAMECITE{Algebra}{% Brown:2022:CAR,% Buchberger:2022:VGC,% Gu:2007:UCA,% Gutnik:2022:CAM,% Hasek:2019:DGS,% Hasek:2020:EDC,% Karpov:2022:DLA,% Karsenty:2019:CAC,% McCaig:2009:IPS,% Perminov:2020:IHD,% Prank:2020:ACE,% Roanes-Lozano:2013:GRG,% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:CBM,% Sarafian:2017:ACA,% Schneider:2021:AMP,% Solin:2021:SPI,% Tajima:2023:CHM% }. \NAMECITE{Algebraic}{% Alcazar:2009:GLB,% Batra:2010:GCI,% Cano:2021:ARP,% Cheng:2010:TRA,% Dana-Picard:2021:EOT,% ElKahoui:2014:ACA,% Evgrafov:2020:DPE,% Falkensteiner:2020:SFO,% Galan-Garcia:2017:GAA,% Gandy:2011:OPR,% Huang:2019:UML,% Hussein:2017:GII,% Lazard:2010:CTS,% Li:2011:SAD,% Morig:2010:DIG,% Niu:2008:AAS,% Orange:2012:EAS,% Roanes-Lozano:2019:AAD,% Romanovski:2007:BPP,% Rosenkranz:2013:NAO,% Sturm:2009:IAL,% Wilson:2014:CAS% }. \NAMECITE{Algebraically}{% Fukasaku:2015:QAA% }. \NAMECITE{Algebras}{% Akram:2013:IFS,% Bavula:2017:QGW,% Bavula:2020:SCA,% Escobar:2016:CLA,% Escobar:2018:NOP,% Escobar:2021:INT,% Farrington:2017:SCR,% Marcolli:2015:GGI,% Saeid:2013:STF% }. \NAMECITE{Algebro}{% Shu:2021:PIE% }. \NAMECITE{Algebro-Geometric}{% Shu:2021:PIE% }. \NAMECITE{Algorithm}{% Abbass:2013:EAI,% Andrei:2019:PBE,% Artinescu:2018:SCA,% Boulier:2010:NFA,% Brehard:2021:SNV,% Ceria:2022:ABC,% Conley:2013:IAB,% ElKahoui:2014:ACA,% Furst:2017:RRB,% Ghosh:2010:RAS,% Hashemi:2021:IGA,% Horacek:2020:SBB,% Kapur:2009:ACG,% Karkkainen:2017:ELE,% Kleine:2018:EDI,% Kulekci:2010:BNB,% Mertzios:2010:OAF,% Ohara:2019:ACG,% Patil:2014:IBG,% Semaev:2013:IAG,% Tajima:2021:ACT,% Talwar:2015:SSA% }. \NAMECITE{Algorithmic}{% Koepf:2015:AAF,% Kruff:2021:ARB,% Tiskin:2008:SLS% }. \NAMECITE{Algorithms}{% Banerjee:2008:EAV,% Chaudhuri:2011:ISS,% Fukasaku:2015:QAA,% Galan-Garcia:2017:GAA,% Hasan:2010:COA,% Hellmuth:2009:LAP,% Li:2012:FSF,% Mohammadi:2021:SBA,% Puglisi:2010:FPA,% Sturm:2009:IAL,% Tamura:2009:ASA% }. \NAMECITE{Alignment}{% Conley:2013:IAB% }. \NAMECITE{Alignment-Based}{% Conley:2013:IAB% }. \NAMECITE{Alignments}{% Berkemer:2021:CPA,% Retzlaff:2018:PLM,% Vlachakis:2017:APA% }. \NAMECITE{Allowing}{% Chan:2008:NOC% }. \NAMECITE{Almost}{% Conde:2015:NAM,% Kovacs:2021:TAC% }. \NAMECITE{almost-circles}{% Kovacs:2021:TAC% }. \NAMECITE{Alternative}{% Corless:2007:PMP% }. \NAMECITE{Ambient}{% Wintraecken:2015:OTC% }. \NAMECITE{Amounts}{% Man:2015:CMA% }. \NAMECITE{Analogs}{% Crnkovic:2023:CTE% }. \NAMECITE{Analysing}{% Prank:2020:ACE% }. \NAMECITE{Analysis}{% Albrecht:2010:ALS,% Allali:2018:AOC,% Blanco-Trejo:2019:FTA,% Boldo:2015:CUF,% Braun:2020:NAV,% Fashandi:2013:NCU,% Giancarlo:2008:TCC,% Hagemann:2015:EGO,% Ichihara:2011:SQA,% Jaulin:2012:CIA,% Khan-Afshar:2014:FAO,% Kumkov:2014:LSV,% Kutzelnigg:2010:IVC,% Lewis:2020:IAI,% Li:2011:SAD,% Maia:2016:TDC,% Naiman:2019:AFA,% Niu:2008:AAS,% Ortegaray:2021:HKA,% Port:2022:TAS,% Prokopenya:2017:MSA,% Ramanna:2013:FGA,% Seddik:2014:PBL,% Shu:2021:PIE,% Wang:2013:GKM% }. \NAMECITE{Analytic}{% Feinsilver:2007:IAF,% Plesken:2010:LDE,% vanderHoeven:2007:EAC% }. \NAMECITE{Analytical}{% Pu:2010:ASE,% Todd:2020:SDG% }. \NAMECITE{Analyze}{% Falcon:2020:UCD% }. \NAMECITE{{AND/OR}}{% Tamura:2009:ASA% }. \NAMECITE{{Andreas}}{% England:2021:FDA% }. \NAMECITE{Angles}{% Wang:2020:SAA% }. \NAMECITE{Animated}{% Kovacs:2017:RTA% }. \NAMECITE{Animations}{% Kovacs:2019:ACA% }. \NAMECITE{Anisotropically}{% Minglibayev:2017:TBP% }. \NAMECITE{Annotated}{% Boldo:2011:FVN% }. \NAMECITE{Anonymization}{% Salas:2018:SBP% }. \NAMECITE{Antimagic}{% Baca:2013:SFA,% Baca:2015:ALJ,% Lu:2018:ALL,% Phanalasy:2011:CAL,% Siddiqui:2013:FAL% }. \NAMECITE{Antimagicness}{% Daykin:2015:AGC% }. \NAMECITE{Antiprisms}{% Baca:2013:SFA% }. \NAMECITE{{AntiSARS}}{% Vlachakis:2021:MMM% }. \NAMECITE{{AntiSARS-CoV2}}{% Vlachakis:2021:MMM% }. \NAMECITE{Ants}{% Ferdous:2017:SMC% }. \NAMECITE{Any}{% Almech:2020:AGD% }. \NAMECITE{Applicability}{% Benjamin:2019:APS% }. \NAMECITE{Application}{% Akram:2016:PFL,% Aksim:2020:EAB,% Fashandi:2013:NCU,% Ferras:2021:HOM,% Ganzha:2008:ESH,% Hagemann:2015:EGO,% Henry:2013:SBP,% Juarez-del-Toro:2019:AIC,% Nahay:2012:TOI,% Patil:2014:IBG,% Sandretto:2014:IMM,% Sarafian:2017:ACA% }. \NAMECITE{Applications}{% Abawajy:2015:DCS,% Beltrametti:2021:GHT,% Berberich:2010:APSb,% Brankovic:2011:GLS,% Ceria:2022:ABC,% Durcheva:2017:ACT,% ElDin:2007:TSC,% Fischer:2010:FRM,% Giancarlo:2008:TCC,% Rajan:2016:FSF,% Tiskin:2008:SLS% }. \NAMECITE{Applied}{% Conceicao:2016:SCA,% Conceicao:2021:SCA% }. \NAMECITE{Approach}{% Dimovski:2010:OCA,% Feinsilver:2007:IAF,% Hellmuth:2013:PSP,% Ichihara:2011:SQA,% Iliopoulos:2008:NAP,% Iwane:2011:SNA,% Janovitz-Freireich:2007:ARC,% Juarez-del-Toro:2019:AIC,% Koepf:2015:AAF,% Koutschan:2010:FAC,% Macedo:2018:SAG,% McCaig:2009:IPS,% Mourrain:2014:BDT,% Radzevich:2012:DKB,% Roanes-Lozano:2017:BNA,% Roanes-Lozano:2019:AAD,% Sagraloff:2010:GAI,% Seiler:2021:LBA,% Solin:2021:SPI,% Wolski:2013:TFN,% Yang:2010:EBA,% Tiwari:2013:UCV% }. \NAMECITE{Approaches}{% Niu:2008:AAS% }. \NAMECITE{Approximate}{% Faugere:2011:PER,% Hellmuth:2013:PSP,% Janovitz-Freireich:2007:ARC,% Lichtblau:2019:APG,% Sharma:2007:RAZ,% Yang:2010:EBA% }. \NAMECITE{Approximating}{% Emiris:2017:AMS% }. \NAMECITE{Approximation}{% Ghosh:2007:ACS,% Sun:2007:SLR% }. \NAMECITE{Approximations}{% Fischer:2010:FRM% }. \NAMECITE{Arbitrarily}{% Jesintha:2011:AAF% }. \NAMECITE{Arbitrary}{% Shemyakova:2010:RTF,% Wang:2020:SAA% }. \NAMECITE{arboricity}{% Jia:2021:LEK% }. \NAMECITE{{Archimedean}}{% Anashin:2012:NAT% }. \NAMECITE{Area}{% Nishat:2011:VDP% }. \NAMECITE{Arithmetic}{% Graillat:2011:SAM,% Orange:2012:EAS,% Prank:2020:ACE,% Rohn:2014:VLD% }. \NAMECITE{Arrangements}{% Berberich:2010:APSa,% Berberich:2010:APSb% }. \NAMECITE{Array}{% Karkkainen:2017:ELE% }. \NAMECITE{Arrays}{% Acevedo:2018:RDS,% Gagie:2017:CSS,% Kacker:2021:CFE,% Kacker:2021:FEC% }. \NAMECITE{Art}{% Brankovic:2011:GLS,% Chrapary:2017:DCS% }. \NAMECITE{Artifact}{% Karpov:2022:DLA% }. \NAMECITE{Artificial}{% Vlachakis:2021:MMM% }. \NAMECITE{Aspects}{% Flizikowski:2023:SAN% }. \NAMECITE{Assignment}{% Banerjee:2008:EAV% }. \NAMECITE{Assisted}{% Solin:2021:SPI% }. \NAMECITE{Associated}{% Borges-Quintana:2018:WOI,% Sarafian:2017:ACA,% Tajima:2021:ACT,% Tajima:2023:CHM% }. \NAMECITE{Associativity}{% Hammack:2016:ANA% }. \NAMECITE{Astronomy}{% Benjamin:2019:APS% }. \NAMECITE{Asymptotically}{% Duzhin:2017:MAC% }. \NAMECITE{{{\'A}TAME}}{% Alpuente:2020:ESE% }. \NAMECITE{{ATP}}{% Kaliszyk:2015:HHO,% Urban:2008:ABC% }. \NAMECITE{{ATP}-based}{% Urban:2008:ABC% }. \NAMECITE{Attacks}{% Abarzua:2018:ASC% }. \NAMECITE{Attractive}{% Juarez-del-Toro:2019:AIC% }. \NAMECITE{Attractor}{% Tamura:2009:ASA% }. \NAMECITE{{Atwood}}{% Prokopenya:2017:MSA% }. \NAMECITE{Authoring}{% Autexier:2010:FSI% }. \NAMECITE{Automata}{% Beal:2008:UA,% Damm:2011:PPV,% Fietzke:2012:SDP,% Hasan:2017:PSA% }. \NAMECITE{Automated}{% Boulier:2009:TAR,% Chatterjee:2014:ARS,% Chen:2020:FSF,% Dana-Picard:2019:ASR,% Dana-Picard:2023:AEE,% Kovacs:2020:ADI,% Naiman:2019:AFA,% Quaresma:2020:ADK,% Todd:2020:SAD% }. \NAMECITE{Automatic}{% Almech:2020:AGD,% Cohen:2008:APG,% Kovacs:2019:ACA,% Schreck:2016:ACC% }. \NAMECITE{Automatically}{% Liu:2012:ADR% }. \NAMECITE{Automaticity}{% Chen:2017:AOR% }. \NAMECITE{Automating}{% Raggi:2016:ACR% }. \NAMECITE{Automorphism}{% Bouyuklieva:2020:BIC,% Gillespie:2018:COA% }. \NAMECITE{Autonomous}{% Cano:2021:ARP,% Falkensteiner:2020:SFO% }. \NAMECITE{Average}{% Kutzelnigg:2010:IVC,% Tischler:2017:FAC% }. \NAMECITE{Averaged}{% Perminov:2020:IHD% }. \NAMECITE{Avoid}{% Bates:2014:UMA% }. \NAMECITE{Avoiding}{% Abarzua:2018:ASC% }. \NAMECITE{Aware}{% Barbosa:2012:CGQ% }. \NAMECITE{Axis}{% Radzevich:2012:DKB% }. \NAMECITE{{B}}{% Zhao:2013:DVC% }. \NAMECITE{{B}-Spline}{% Zhao:2013:DVC% }. \NAMECITE{Backward}{% Yang:2017:STR% }. \NAMECITE{Bad}{% Bouche:2010:DML% }. \NAMECITE{Ball}{% Li:2012:PSS% }. \NAMECITE{Ball-end}{% Li:2012:PSS% }. \NAMECITE{{Banach}}{% Sharma:2007:RAZ% }. \NAMECITE{Banana}{% Jesintha:2011:AAF% }. \NAMECITE{Band}{% Mota:2021:EEB% }. \NAMECITE{Bar}{% Ceria:2022:ABC,% Falcon:2020:UCD% }. \NAMECITE{Bargraphs}{% Mansour:2021:CLP% }. \NAMECITE{Base}{% Djokovic:2018:GSD,% Perez-Diaz:2013:BFB% }. \NAMECITE{Based}{% Abawajy:2015:DCS,% Conley:2013:IAB,% Falcon:2020:UCD,% Fujiyoshi:2010:GVM,% Fukasaku:2015:QAA,% Horacek:2020:SBB,% Kumar:2015:LBC,% Maiga:2014:CVZ,% Miret:2018:PBC,% Mohammadi:2021:SBA,% Morig:2010:DIG,% Oldenburg:2017:TRB,% Otmani:2010:CTM,% Radzevich:2012:DKB,% Seddik:2014:PBL,% Seiler:2021:LBA,% Spahn:2022:ESG,% Vlachakis:2017:APA,% Wang:2012:CBR,% Wang:2013:GKM,% Wong:2016:CBC,% Yang:2010:EBA,% Henry:2013:MFN,% Henry:2013:SBP,% Talwar:2015:SSA,% Urban:2008:ABC,% Dana-Picard:2017:FIB% }. \NAMECITE{Bases}{% Aladova:2013:IMK,% Corless:2007:PMP,% Decker:2020:MTN,% Eibach:2010:OGB,% Faugere:2011:PER,% Greuel:2022:USS,% Hashemi:2020:CCB,% Hashemi:2021:DUB,% Hashemi:2021:IGA,% Hashemi:2021:RGI,% Hu:2021:TDG,% Nabeshima:2009:RGB,% Rajchel:2018:RHM,% Wang:2016:CBR,% Zhou:2007:CGB% }. \NAMECITE{Bashforth}{% Aksim:2020:EAB% }. \NAMECITE{Basic}{% Levin:2019:BDQ% }. \NAMECITE{Basics}{% Salas:2018:SBP% }. \NAMECITE{Basis}{% Horacek:2020:SBB,% Kapur:2009:ACG,% Kovacs:2017:RTA,% Marquez-Corbella:2012:DMC,% Ohara:2019:ACG% }. \NAMECITE{Battle}{% Laszlo:2023:CSB% }. \NAMECITE{{Baxter}}{% Guo:2010:EGFa,% Guo:2010:EGFb% }. \NAMECITE{{Bayesian}}{% Pikkarainen:2009:BMR% }. \NAMECITE{be}{% Berkemer:2015:SCR,% Saeid:2013:STF% }. \NAMECITE{{BE}-algebras}{% Saeid:2013:STF% }. \NAMECITE{Behavior}{% Alcazar:2009:GLB,% Perez-Diaz:2013:BFB,% Siebert:2009:DBB% }. \NAMECITE{Behaviour}{% Heuberger:2010:RAE% }. \NAMECITE{{Berge}}{% Manuel:2015:BFC% }. \NAMECITE{{Bernstein}}{% Patil:2014:IBG% }. \NAMECITE{Beta}{% Laurian:2022:FBW% }. \NAMECITE{Between}{% DiConcilio:2018:DPP,% Jurrius:2012:RBM,% Wang:2016:CBR,% daRocha:2021:CPB% }. \NAMECITE{Beyond}{% Aggarwal:2021:XBF% }. \NAMECITE{{Bezout}}{% Sun:2007:SLR% }. \NAMECITE{Bi}{% Sakar:2019:BIC% }. \NAMECITE{Bi-univalent}{% Sakar:2019:BIC% }. \NAMECITE{{BIBD}}{% Crnkovic:2018:NST% }. \NAMECITE{Bibliographic}{% Roanes-Lozano:2023:SRA% }. \NAMECITE{Bifurcation}{% Sturm:2009:IAL% }. \NAMECITE{Bifurcations}{% Romanovski:2007:BPP% }. \NAMECITE{Big}{% Salas:2018:SBP% }. \NAMECITE{{Bill}}{% Plaice:2008:HBW% }. \NAMECITE{Binary}{% Blanco-Trejo:2019:FTA,% Bouyuklieva:2020:BIC,% Cinque:2013:BIC,% Davoodi:2017:SRB,% Wong:2016:CBC% }. \NAMECITE{Binomial}{% Morikawa:2010:DBE,% deLeon:2019:CBM% }. \NAMECITE{Biochemical}{% Boulier:2009:TAR% }. \NAMECITE{Biological}{% Kruff:2021:ARB,% Li:2011:SAD,% Mabrouki:2011:EBR,% Niu:2008:AAS% }. \NAMECITE{Biology}{% Sturm:2009:IAL% }. \NAMECITE{Bioregulatory}{% Siebert:2009:DBB% }. \NAMECITE{Bipartite}{% Paul:2015:LPB,% Wong:2016:CBC% }. \NAMECITE{{Birkhoff}}{% Rajchel:2018:RHM% }. \NAMECITE{Bisection}{% Ralha:2018:MPB% }. \NAMECITE{Bispanning}{% Baumgart:2010:PBG% }. \NAMECITE{Bit}{% Kulekci:2010:BNB% }. \NAMECITE{Bit-Parallel}{% Kulekci:2010:BNB% }. \NAMECITE{Bitstream}{% Sagraloff:2010:GAI% }. \NAMECITE{Bivariate}{% Juttler:2011:QCS,% Levin:2019:BDQ% }. \NAMECITE{{Bivium}}{% Eibach:2010:OGB% }. \NAMECITE{Black}{% Chen:2022:FMP% }. \NAMECITE{{BLIM}}{% Kulekci:2010:BNB% }. \NAMECITE{Block}{% Gagie:2017:BGP% }. \NAMECITE{Blocking}{% Pu:2010:ASE% }. \NAMECITE{Blocks}{% Djokovic:2018:GSD% }. \NAMECITE{{BLS}}{% Laurian:2022:FBW% }. \NAMECITE{Bodies}{% Gutnik:2021:SCE,% Gutnik:2022:CAM% }. \NAMECITE{Body}{% Minglibayev:2017:TBP,% Minglibayev:2020:CPT,% Siluszyk:2017:CCC% }. \NAMECITE{{Boltzmann}}{% Srivastava:2023:HLB% }. \NAMECITE{Book}{% Quaresma:2017:TID% }. \NAMECITE{{Boolean}}{% Climent:2018:BFD,% Kosub:2008:DRF,% Siebert:2009:DBB,% Tamura:2009:ASA% }. \NAMECITE{Border}{% Hashemi:2020:CCB,% Horacek:2020:SBB% }. \NAMECITE{Bound}{% Just:2014:SSB% }. \NAMECITE{Boundary}{% Aydogan:2019:CFC,% Rosenkranz:2013:NAO% }. \NAMECITE{Bounded}{% Aydogan:2019:CFC,% Li:2012:DIG% }. \NAMECITE{Bounding}{% Andrei:2019:PBE% }. \NAMECITE{Bounds}{% Hashemi:2021:DUB,% Mourrain:2014:BDT,% Rego:2014:DIO,% Sakar:2019:BIC% }. \NAMECITE{Bow}{% Jesintha:2015:AUB% }. \NAMECITE{Box}{% Chhade:2014:NPD% }. \NAMECITE{Boxes}{% Chen:2022:FMP,% Drevelle:2014:VVI,% Just:2014:SSB% }. \NAMECITE{Branch}{% Jeffrey:2017:BSI,% Just:2014:SSB% }. \NAMECITE{Branch-and-Bound}{% Just:2014:SSB% }. \NAMECITE{Breaking}{% Heule:2019:OSB% }. \NAMECITE{Breaks}{% Mota:2021:EEB% }. \NAMECITE{Brief}{% Roanes-Lozano:2017:BNA,% Ryan:2018:BSC% }. \NAMECITE{Bring}{% Roanes-Lozano:2023:CBM% }. \NAMECITE{{Brylawski}}{% Gordon:2012:BGD% }. \NAMECITE{{Buchberger}}{% Furst:2017:RRB,% Wang:2016:CBR% }. \NAMECITE{{Burgers'}}{% Talwar:2015:SSA,% Morikawa:2010:DBE% }. \NAMECITE{{Burrows}}{% Tischler:2017:FAC% }. \NAMECITE{{Butson}}{% Winterhof:2018:NES% }. \NAMECITE{{C}}{% Boldo:2011:FVN,% Chen:2022:FMP,% DosReis:2011:PCE% }. \NAMECITE{Cache}{% Hasan:2010:COA% }. \NAMECITE{{CAD}}{% Lazard:2010:CTS% }. \NAMECITE{Calculation}{% Jiu:2020:CPZ,% Pearson:2007:SSC,% Wojas:2017:FSD,% Wojas:2020:FSD,% deLeon:2019:CBM% }. \NAMECITE{Calculator}{% Prank:2020:ACE,% Roanes-Lozano:2023:CBM% }. \NAMECITE{Calculus}{% Barbosa:2012:CGQ,% Bortolussi:2009:HDS,% Collins:2011:VRF,% Dimovski:2010:OCA,% Naiman:2019:AFA,% Ovodenko:2019:UDT,% Rosenkranz:2013:NAO,% Zhao:2013:DVC% }. \NAMECITE{{CAM}}{% Li:2012:FSF,% Radzevich:2012:DKB% }. \NAMECITE{Can}{% Roanes-Lozano:2023:CBM,% Berkemer:2015:SCR% }. \NAMECITE{Canal}{% Bastl:2014:PRR% }. \NAMECITE{Canonical}{% Brunat:2016:CCR,% Feinsilver:2007:IAF% }. \NAMECITE{Capable}{% Rauh:2014:IMR% }. \NAMECITE{{Caputo}}{% Ammi:2021:GSC% }. \NAMECITE{{Carleman}}{% Conceicao:2016:SCA% }. \NAMECITE{{Carlitz}}{% Mansour:2021:CCC% }. \NAMECITE{Cartesian}{% Phanalasy:2011:CAL,% Hellmuth:2013:PSP,% Plaice:2008:LTI% }. \NAMECITE{{CAS}}{% Dana-Picard:2020:EIF,% Durcheva:2017:ACT,% Durcheva:2019:HUC,% Falcon:2020:UCD,% Oldenburg:2017:TRB% }. \NAMECITE{{CAS/DGS}}{% Falcon:2020:UCD% }. \NAMECITE{Case}{% Farrington:2017:SCR,% Heras:2014:RPP,% Kutzelnigg:2010:IVC,% Ohara:2019:ACG,% Ovodenko:2019:UDT,% Tischler:2017:FAC% }. \NAMECITE{{Catalan}}{% Mansour:2021:CLP% }. \NAMECITE{Category}{% Bavula:2017:QGW,% Bavula:2020:SCA% }. \NAMECITE{{Cauchy}}{% Dimovski:2010:OCA% }. \NAMECITE{Caylay}{% Jia:2021:LEK% }. \NAMECITE{Cell}{% Mansour:2019:PPC,% Rauh:2014:IMR% }. \NAMECITE{Cells}{% Archibald:2022:PCC% }. \NAMECITE{Centers}{% Narboux:2016:TCV% }. \NAMECITE{Central}{% Duzhin:2017:MAC,% Siluszyk:2017:CCC% }. \NAMECITE{Centroid}{% Abawajy:2015:DCS% }. \NAMECITE{Certain}{% Hofstadler:2022:CEC,% Manuel:2015:BFC,% Punitha:2015:SKN,% Rajan:2015:ERC,% Sakar:2019:BIC,% Sivagami:2016:CCN% }. \NAMECITE{Certified}{% Narboux:2016:TCV% }. \NAMECITE{Certify}{% Gu:2007:UCA% }. \NAMECITE{Chains}{% Boulier:2010:NFA,% Boulier:2021:SCT,% Sivaselvan:2016:IMQ% }. \NAMECITE{Challenge}{% Schneider:2021:AMP% }. \NAMECITE{Challenges}{% Karsenty:2019:CAC,% Kovacs:2019:ACA,% Salas:2018:SBP% }. \NAMECITE{Challenging}{% Shao:2016:CTP% }. \NAMECITE{Change}{% Minglibayev:2017:TBP,% Raggi:2016:ACR,% Srivastava:2023:HLB% }. \NAMECITE{Channel}{% Abarzua:2018:ASC,% Lebedev:2019:MCQ% }. \NAMECITE{Chaotic}{% Heuberger:2010:RAE% }. \NAMECITE{Characteristic}{% Adj:2018:STP,% Duquesne:2010:TGL,% Minzlaff:2010:CZF,% Wang:2016:CBR% }. \NAMECITE{Characterization}{% Aubry:2014:KCI,% Colbourn:2018:CFF% }. \NAMECITE{{Chebyshev}}{% Gavina:2016:IAC,% daRocha:2021:CPB% }. \NAMECITE{Checking}{% Schreck:2016:ACC,% Suda:2015:VCE% }. \NAMECITE{Chemical}{% Boulier:2011:MRC,% Fagerberg:2013:CRC% }. \NAMECITE{Choice}{% Chatterjee:2014:ARS% }. \NAMECITE{circles}{% Kovacs:2021:TAC% }. \NAMECITE{Circulants}{% Rajan:2015:ERC% }. \NAMECITE{Circular}{% Gutnik:2021:SCE,% Roanes-Lozano:2017:BNA% }. \NAMECITE{Class}{% Hladik:2014:ESC,% Siluszyk:2017:CCC% }. \NAMECITE{Classes}{% Conceicao:2016:ESS,% Conceicao:2021:SCA,% Sari:2020:DCS,% Schreck:2016:CCT,% Zima:2013:AIS% }. \NAMECITE{Classical}{% DiConcilio:2018:DPP,% Ren:2014:TCM% }. \NAMECITE{Classification}{% Bavula:2020:CSM% }. \NAMECITE{Classifying}{% Galan-Garcia:2017:GAA% }. \NAMECITE{Classroom}{% Brown:2022:CAR% }. \NAMECITE{Classrooms}{% Kovacs:2017:RTA% }. \NAMECITE{Clause}{% Suda:2015:VCE% }. \NAMECITE{Claw}{% Cada:2011:NDC% }. \NAMECITE{Claw-Free}{% Cada:2011:NDC% }. \NAMECITE{Clipping}{% Juttler:2011:QCS% }. \NAMECITE{Clique}{% Sugeng:2011:CVM% }. \NAMECITE{Clocks}{% Orgun:2008:KRR% }. \NAMECITE{Closed}{% Fukasaku:2015:QAA,% ONeal:2011:ICO,% Sivaselvan:2016:IMQ% }. \NAMECITE{Closed/Open}{% ONeal:2011:ICO% }. \NAMECITE{Cluster}{% Giancarlo:2008:TCC% }. \NAMECITE{Clustering}{% Imbach:2021:CCZ,% Wang:2013:GKM% }. \NAMECITE{Clusters}{% Cruz:2013:SNC,% Elden:2013:CSC,% Janovitz-Freireich:2007:ARC% }. \NAMECITE{{CNC}}{% Li:2012:FSF% }. \NAMECITE{Coarseness}{% Bommanahal:2011:PGC% }. \NAMECITE{Coboundary}{% Jurrius:2012:RBM% }. \NAMECITE{Cocyclic}{% Alvarez:2018:MHG% }. \NAMECITE{Code}{% Ceria:2022:ABC,% Shu:2017:SSC% }. \NAMECITE{Codes}{% Armario:2018:QHF,% Bernal:2020:CAC,% Borges-Quintana:2018:WOI,% Bouyuklieva:2020:BIC,% Li:2012:DIG,% Manin:2011:ECC,% Marcolli:2012:CFN,% Marquez-Corbella:2012:DMC,% Otmani:2010:CTM,% Sari:2020:DCS,% Wong:2016:CBC% }. \NAMECITE{Coding}{% Klein:2011:HCN% }. \NAMECITE{Coefficients}{% Morikawa:2010:DBE,% Sakar:2019:BIC,% Trindade:2018:DFC,% Zhou:2007:CGB,% deLeon:2019:CBM% }. \NAMECITE{{Cohen}}{% Farrington:2017:SCR% }. \NAMECITE{Collaborative}{% Mitsch:2014:CVD% }. \NAMECITE{Collection}{% Zamlynska:2010:EMC% }. \NAMECITE{Collections}{% Stamerjohanns:2010:TLC% }. \NAMECITE{Colliers}{% Panayotopoulos:2020:MC% }. \NAMECITE{Coloring}{% Lee:2010:POS,% Sivagami:2016:CCN,% daSilva:2020:VCG% }. \NAMECITE{Column}{% Mansour:2021:CCC% }. \NAMECITE{Column-Convex}{% Mansour:2021:CCC% }. \NAMECITE{Combinations}{% Fontaine:2015:FSF% }. \NAMECITE{Combinatorial}{% Colbourn:2018:CFF,% Kacker:2021:CFE,% Kacker:2021:FEC% }. \NAMECITE{Combining}{% Jaulin:2012:CIA% }. \NAMECITE{Common}{% Chan:2008:NOC,% Ferdous:2017:SMC,% Hasan:2017:PSA,% Middeke:2021:CFF,% daRocha:2021:CPB% }. \NAMECITE{Communication}{% Cinque:2010:SCP% }. \NAMECITE{Communications}{% Flizikowski:2023:SAN% }. \NAMECITE{Community}{% Chen:2008:CSN% }. \NAMECITE{Companion}{% Chan:2019:MHC% }. \NAMECITE{Comparison}{% Ekici:2020:MLC,% Klisowski:2012:CCP,% Tiskin:2008:SLS% }. \NAMECITE{Complete}{% Ceria:2022:ABC,% DosReis:2011:PCE% }. \NAMECITE{Completely}{% Shemyakova:2007:PFS% }. \NAMECITE{Completeness}{% Tiwari:2013:UCV% }. \NAMECITE{Complex}{% Aydogan:2019:CFC,% Bruzda:2018:ESC,% Gillespie:2018:COA,% Imbach:2021:CCZ,% Sekigawa:2007:LPC,% Silva:2021:SSO% }. \NAMECITE{Complexity}{% Cinque:2010:SCP,% Fagerberg:2013:CRC,% Ilie:2009:CCE% }. \NAMECITE{Component}{% Barbosa:2012:CGQ% }. \NAMECITE{Components}{% Ishihara:2022:ELP% }. \NAMECITE{Composite}{% Piloto:2021:CST,% Rajchel:2018:RHM% }. \NAMECITE{Composition}{% Barbosa:2012:CGQ% }. \NAMECITE{Compositional}{% Berkemer:2021:CPA% }. \NAMECITE{Compositions}{% Archibald:2022:PCC,% Blecher:2020:DC% }. \NAMECITE{Comprehension}{% Kim:2020:PSP% }. \NAMECITE{Comprehensive}{% Fukasaku:2015:QAA,% Nabeshima:2019:SPI,% Tajima:2023:CHM% }. \NAMECITE{Compressed}{% Gagie:2017:CSS% }. \NAMECITE{Compression}{% Cinque:2010:SCP,% Cinque:2013:BIC,% Conley:2013:IAB% }. \NAMECITE{Computation}{% Blazek:2019:LCD,% Cheviakov:2010:SCL,% Conceicao:2016:ESS,% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Farrington:2017:SCR,% Hashemi:2021:IGA,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF,% Marcolli:2015:QCR,% Mendes:2018:PCM,% Noro:2018:UMT,% Pikkarainen:2009:BMR,% Richardson:2007:ZTC% }. \NAMECITE{Computational}{% Giancarlo:2008:TCC,% Gu:2010:FCC,% Ilie:2009:CCE,% Maia:2016:TDC,% Piloto:2021:CST,% Siggel:2019:TOS% }. \NAMECITE{Computationally}{% Falcon:2020:UCD% }. \NAMECITE{Computations}{% Greuel:2022:USS,% Gutnik:2021:SCE,% Kovacs:2017:RTA,% Morig:2010:DIG,% Selivanov:2008:WRI% }. \NAMECITE{Compute}{% Brysiewicz:2020:NSC,% ElKahoui:2014:ACA% }. \NAMECITE{Computer}{% Brown:2022:CAR,% Buchberger:2022:VGC,% Gu:2007:UCA,% Gutnik:2022:CAM,% Hasek:2019:DGS,% Hasek:2020:EDC,% Karpov:2022:DLA,% Karsenty:2019:CAC,% Kotsireas:2017:MCS,% Kulekci:2010:BNB,% Perminov:2020:IHD,% Roanes-Lozano:2013:GRG,% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:CBM,% Sarafian:2017:ACA,% Schneider:2021:AMP,% Thery:2015:FSF% }. \NAMECITE{Computing}{% Abarzua:2018:ASC,% Adamou:2021:CTV,% Aurenhammer:2012:CCH,% Barkatou:2010:MMM,% Brunat:2016:CCR,% Elden:2013:CSC,% Emiris:2010:CNP,% Faugere:2011:PER,% Hashemi:2020:CCB,% Hofstadler:2022:CEC,% Kapur:2009:ACG,% Mahmood:2016:MCE,% Man:2015:CMA,% Marquez-Corbella:2012:DMC,% Minglibayev:2020:CPT,% Minzlaff:2010:CZF,% Nabeshima:2019:SPI,% Nahay:2012:TOI,% Ohara:2019:ACG,% Puglisi:2010:FPA,% Siegel:2011:FFE,% Tajima:2021:ACT,% Tajima:2023:CHM,% Trefethen:2007:CNF,% Zhou:2007:CGB% }. \NAMECITE{Concept}{% Farago:2008:GTD% }. \NAMECITE{Concepts}{% Chrapary:2017:DCS% }. \NAMECITE{Concretizations}{% Berberich:2010:APSb% }. \NAMECITE{Conditional}{% Rajan:2011:CRH,% Rana:2012:CCP,% Sivan:2010:CCP% }. \NAMECITE{Conditions}{% Cada:2011:NDC,% ElDin:2007:TSC,% Piloto:2021:CST% }. \NAMECITE{Cone}{% Roanes-Lozano:2017:BNA% }. \NAMECITE{Cones}{% Dimitrova:2010:EVC% }. \NAMECITE{Conference}{% Winterhof:2018:NES% }. \NAMECITE{Configuration}{% Falcon:2020:UCD% }. \NAMECITE{Configurations}{% Laszlo:2023:CSB,% Sarafian:2017:ACA,% Siluszyk:2017:CCC% }. \NAMECITE{Conformal}{% Dorst:2016:CCM,% Gu:2010:FCC% }. \NAMECITE{Conforming}{% Adak:2021:CVE% }. \NAMECITE{Confront}{% Ovodenko:2019:UDT% }. \NAMECITE{Conic}{% Ghosh:2007:ACS,% Roanes-Lozano:2017:BNA% }. \NAMECITE{Conjecture}{% Manuel:2015:BFC% }. \NAMECITE{Conjecturing}{% Brown:2022:CAR% }. \NAMECITE{Conjugation}{% Conceicao:2016:SCA% }. \NAMECITE{Connected}{% Gutnik:2021:SCE,% Gutnik:2022:CAM,% Sethuraman:2015:CPT,% Tanaka:2010:PCC% }. \NAMECITE{Connection}{% Wang:2016:CBR% }. \NAMECITE{Connectivity}{% Nagar:2016:ECI,% Stadler:2015:CS% }. \NAMECITE{Constants}{% Pommaret:2022:HMS,% Richardson:2007:ZTC% }. \NAMECITE{Constrained}{% daSilva:2020:VCG% }. \NAMECITE{Constraint}{% Bethencourt:2014:SNL% }. \NAMECITE{Constraints}{% Fontaine:2015:FSF,% Hladik:2014:ESC% }. \NAMECITE{Constructibility}{% Schreck:2016:ACC,% Schreck:2016:CCT% }. \NAMECITE{Constructible}{% Brunat:2016:CCR% }. \NAMECITE{Construction}{% Abawajy:2015:DCS,% Crnkovic:2023:CTE,% Dorst:2016:CCM,% Ekici:2020:MLC,% Gillespie:2018:COA,% Karkkainen:2017:ELE,% Kutzelnigg:2010:IVC,% Perminov:2020:IHD,% Phanalasy:2011:CAL,% Sari:2020:DCS,% Schreck:2016:ACC,% Tischler:2017:FAC% }. \NAMECITE{Constructions}{% Bernal:2020:CAC,% Wong:2016:CBC% }. \NAMECITE{Constructive}{% Andres:2010:CMT% }. \NAMECITE{Context}{% Cohen:2010:MCI,% Fujiyoshi:2010:GVM% }. \NAMECITE{Context-Free}{% Fujiyoshi:2010:GVM% }. \NAMECITE{Continuation}{% Bates:2014:UMA,% vanderHoeven:2007:EAC% }. \NAMECITE{Contractions}{% Escobar:2016:CLA% }. \NAMECITE{Contribution}{% Boulier:2021:SCT,% Ryan:2018:BSC% }. \NAMECITE{Control}{% Akram:2013:IFL,% Allali:2018:AOC,% Bujnowski:2023:ETP,% Juarez-del-Toro:2019:AIC,% Kumar:2015:LBC,% Li:2013:TPM,% Rachah:2016:DOC,% Rauh:2014:IMR,% Wang:2012:CBR% }. \NAMECITE{Controlled}{% Lebedev:2019:MCQ% }. \NAMECITE{Convergence}{% Gu:2007:UCA,% Juttler:2011:QCS% }. \NAMECITE{Convergent}{% Batra:2010:GCI,% Nabeshima:2019:SPI% }. \NAMECITE{Conversion}{% Hashemi:2017:GSC,% Ku-Cauich:2020:CER% }. \NAMECITE{Convex}{% Aurenhammer:2012:CCH,% Aydogan:2019:CFC,% Hagemann:2015:EGO,% Mansour:2021:CCC,% Wintraecken:2015:OTC% }. \NAMECITE{{Coq}}{% Boldo:2015:CUF,% Ekici:2020:MLC,% Heras:2014:RPP% }. \NAMECITE{{Coquelicot}}{% Boldo:2015:CUF% }. \NAMECITE{Corona}{% Daykin:2015:AGC% }. \NAMECITE{Coronene}{% Quadras:2015:DPC% }. \NAMECITE{Corpus}{% Schreck:2016:ACC% }. \NAMECITE{Correcting}{% Manin:2011:ECC% }. \NAMECITE{Correction}{% Kacker:2021:CFE% }. \NAMECITE{Cost}{% Kutzelnigg:2010:IVC% }. \NAMECITE{Counterpart}{% Chien:2023:TTD% }. \NAMECITE{Counting}{% Berkemer:2015:SCR,% Laszlo:2023:CSB,% Mansour:2021:CLP% }. \NAMECITE{Coupled}{% Hashemi:2020:CCB% }. \NAMECITE{{CoV2}}{% Vlachakis:2021:MMM% }. \NAMECITE{Cover}{% Blaser:2019:DC,% Fujita:2010:LCG,% Mertzios:2010:OAF,% Sugeng:2011:CVM% }. \NAMECITE{Coverage}{% Rana:2012:CCP% }. \NAMECITE{Covering}{% Artinescu:2018:SCA,% Fashandi:2013:NCU,% Hellmuth:2013:PSP,% Kacker:2021:CFE,% Kacker:2021:FEC,% Rana:2012:CCP,% Sivan:2010:CCP% }. \NAMECITE{{Coxeter}}{% Choudhary:2020:CTG% }. \NAMECITE{Cracked}{% Maia:2016:TDC% }. \NAMECITE{Creative}{% Koutschan:2010:FAC,% Koutschan:2021:CTM% }. \NAMECITE{{Cross}}{% Urban:2008:ABC% }. \NAMECITE{Cryptanalysis}{% Lee:2010:CGC,% Otmani:2010:CTM% }. \NAMECITE{Cryptographical}{% Klisowski:2012:CCP% }. \NAMECITE{Cryptography}{% Miret:2018:PBC% }. \NAMECITE{Cryptosystem}{% Lee:2010:CGC% }. \NAMECITE{Cryptosystems}{% Otmani:2010:CTM% }. \NAMECITE{{CSP}}{% Maiga:2014:CVZ% }. \NAMECITE{{CTL}}{% Allali:2018:AOC% }. \NAMECITE{Cube}{% Tanaka:2010:PCC% }. \NAMECITE{Cube-Connected}{% Tanaka:2010:PCC% }. \NAMECITE{Cuckoo}{% Kutzelnigg:2010:IVC% }. \NAMECITE{Curvature}{% Wang:2012:CBR% }. \NAMECITE{Curvature-Based}{% Wang:2012:CBR% }. \NAMECITE{Curve}{% DAndrea:2010:NPR,% Duquesne:2010:TGL,% ElKahoui:2014:ACA% }. \NAMECITE{Curved}{% Aurenhammer:2012:CCH% }. \NAMECITE{Curves}{% Abarzua:2018:ASC,% Alcazar:2009:GLB,% Cheng:2010:TRA,% Dana-Picard:2020:EIF,% Dana-Picard:2021:EOT,% Hasek:2020:EDC,% Hussein:2017:GII,% Laurian:2022:FBW,% Minzlaff:2010:CZF,% Miret:2018:PBC,% Panayotopoulos:2015:PMC,% Ricca:2016:DCS,% Yang:2010:EBA,% Zhao:2013:DVC% }. \NAMECITE{Cutter}{% Li:2012:PSS% }. \NAMECITE{Cycle}{% Klisowski:2012:CCP,% Punitha:2015:SKN,% Romanczuk:2012:FGL,% Sethuraman:2015:CPT% }. \NAMECITE{Cycles}{% Tanaka:2010:PCC% }. \NAMECITE{Cyclic}{% Bernal:2020:CAC,% Otmani:2010:CTM% }. \NAMECITE{Cylindrical}{% Gandy:2011:OPR,% Huang:2019:UML,% Wilson:2014:CAS% }. \NAMECITE{{D}}{% Dorst:2016:CCM,% Duzhin:2017:MAC,% Li:2012:DIG% }. \NAMECITE{{DAEs}}{% Kohlwey:2019:HEE% }. \NAMECITE{Dags}{% Morig:2010:DIG% }. \NAMECITE{Data}{% Abbott:2007:TRE,% Beltrametti:2021:GHT,% Benjamin:2019:APS,% Chen:2013:FSF,% Giancarlo:2008:TCC,% Orgun:2008:QHD,% Salas:2018:SBP% }. \NAMECITE{Database}{% Bercic:2020:DFD% }. \NAMECITE{Databases}{% Ryan:2018:BSC% }. \NAMECITE{Dataflow}{% Orchard:2008:ILD,% Plaice:2008:LTI% }. \NAMECITE{Date}{% Almech:2020:AGD% }. \NAMECITE{{DC}}{% Roanes-Lozano:2019:AAD% }. \NAMECITE{Dealing}{% Trindade:2018:DFC% }. \NAMECITE{{DEC}}{% Wang:2012:CBR% }. \NAMECITE{Decides}{% Kruglov:2012:SDF% }. \NAMECITE{Decision}{% Fietzke:2012:SDP% }. \NAMECITE{Declarative}{% Orchard:2008:ILD% }. \NAMECITE{Decomposition}{% Emiris:2017:AMS,% Gandy:2011:OPR,% Huang:2019:UML,% Macedo:2018:SAG,% Marquez-Corbella:2012:DMC,% Mesquita:2021:OPS% }. \NAMECITE{Decompositions}{% Mansour:2019:PPC,% Middeke:2021:CFF,% Wilson:2014:CAS% }. \NAMECITE{Dedication}{% England:2021:FDA,% England:2021:FDV% }. \NAMECITE{Deduction}{% Chen:2020:FSF,% Quaresma:2020:ADK,% Todd:2020:SAD% }. \NAMECITE{Defined}{% Adj:2018:STP,% Yang:2010:EBA% }. \NAMECITE{Definition}{% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Degenerate}{% Daykin:2017:ISF,% Iliopoulos:2008:NAP% }. \NAMECITE{Degree}{% Cada:2011:NDC,% Climent:2018:BFD,% Conde:2015:NAM,% Hashemi:2021:DUB,% Jia:2021:LEK,% Laurian:2022:FBW,% Romanczuk:2012:FGL% }. \NAMECITE{Degrees}{% Finkel:2008:WDI% }. \NAMECITE{Delay}{% Aksim:2020:EAB% }. \NAMECITE{Delayed}{% Allali:2018:AOC% }. \NAMECITE{Delegation}{% DiCrescenzo:2020:ESD% }. \NAMECITE{Dendrimer}{% Nagar:2016:ECI% }. \NAMECITE{Density}{% Farago:2008:GTD% }. \NAMECITE{Dependence}{% Rohn:2014:VLD% }. \NAMECITE{Dependent}{% Adak:2021:CVE,% Bethencourt:2014:SNL% }. \NAMECITE{{Deprit}}{% Perminov:2020:IHD% }. \NAMECITE{Depth}{% Blecher:2020:DC% }. \NAMECITE{{DERIVE}}{% Roanes-Lozano:2019:SRA% }. \NAMECITE{Deriving}{% Siebert:2009:DBB% }. \NAMECITE{Description}{% Henry:2013:MFN,% Youssef:2008:RRH% }. \NAMECITE{Description-based}{% Henry:2013:MFN% }. \NAMECITE{Descriptive}{% DiConcilio:2018:DPP% }. \NAMECITE{Design}{% Chrapary:2017:DCS,% Iwane:2011:SNA,% Karpov:2022:DLA,% Kleine:2018:EDI,% Morig:2010:DIG,% Siggel:2019:TOS% }. \NAMECITE{Designing}{% Vlachakis:2021:MMM% }. \NAMECITE{Designs}{% Crnkovic:2018:NST,% Crnkovic:2023:CTE% }. \NAMECITE{Detect}{% Davenport:2017:WDL% }. \NAMECITE{Detecting}{% Ricca:2016:DCS% }. \NAMECITE{Detection}{% Kovacs:2020:ADI,% Tamura:2009:ASA% }. \NAMECITE{Determination}{% Ravanbod:2014:DSM,% Rego:2014:DIO% }. \NAMECITE{Devices}{% Karsenty:2019:CAC% }. \NAMECITE{{DG}}{% Radzevich:2012:DKB% }. \NAMECITE{{DG/K}}{% Radzevich:2012:DKB% }. \NAMECITE{{DG/K}-Based}{% Radzevich:2012:DKB% }. \NAMECITE{{DGS}}{% Dana-Picard:2020:EIF,% Falcon:2020:UCD% }. \NAMECITE{Diagrammatic}{% Almech:2020:AGD% }. \NAMECITE{Diagrams}{% Adamou:2021:CTV,% Manin:2020:NDP% }. \NAMECITE{Diamond}{% Manuel:2015:SMD% }. \NAMECITE{Dichotomy}{% Kosub:2008:DRF% }. \NAMECITE{Difference}{% Acevedo:2018:RDS,% Djokovic:2018:GSD,% Evgrafov:2020:DPE,% Levin:2019:BDQ,% Levin:2020:MDD,% Levin:2022:NTD% }. \NAMECITE{Differences}{% Dana-Picard:2021:EOT% }. \NAMECITE{Different}{% Klisowski:2012:CCP,% Minglibayev:2017:TBP,% Minglibayev:2020:CPT,% Prank:2020:ACE,% Sari:2020:DCS% }. \NAMECITE{Differential}{% Aksim:2020:EAB,% Boulier:2010:NFA,% Braun:2020:NAV,% Cheviakov:2010:SCL,% Falkensteiner:2020:SFO,% Farrington:2017:SCR,% Ferras:2021:HOM,% Gavina:2016:IAC,% Guo:2010:EGFb,% Hu:2021:TDG,% Huang:2012:RGS,% Kasman:2010:FRP,% Kumkov:2014:LSV,% Levin:2010:DPI,% Levin:2019:BDQ,% Levin:2020:MDD,% Matos:2018:SDI,% Matos:2021:EFI,% Plesken:2010:LDE,% Seiler:2021:LBA,% Shemyakova:2007:PFS,% Shemyakova:2010:RTF,% Tajima:2021:ACT,% Trindade:2016:TLM,% Zhou:2007:CGB% }. \NAMECITE{Differentiation}{% Nahay:2012:TOI% }. \NAMECITE{Diffusion}{% Ferras:2021:HOM,% Yang:2017:STR% }. \NAMECITE{Digital}{% Blanco-Trejo:2019:FTA,% Bouche:2010:DML,% Ovodenko:2019:UDT% }. \NAMECITE{Digitalization}{% Autexier:2010:FSI% }. \NAMECITE{Digitization}{% Macias-Virgos:2010:DPS,% Mijajlovic:2010:DME% }. \NAMECITE{Digraphs}{% Conde:2015:NAM% }. \NAMECITE{Dimension}{% Bernal:2020:CAC,% Cano:2021:ARP,% Evgrafov:2020:DPE,% Levin:2010:DPI,% Levin:2019:BDQ,% Levin:2020:MDD,% Levin:2022:NTD,% Lundqvist:2012:MMI,% Manuel:2015:SMD,% Mourrain:2014:BDT,% Shemyakova:2010:RTF% }. \NAMECITE{Dimensional}{% Hussein:2017:GII,% Maia:2016:TDC% }. \NAMECITE{Dimensionality}{% Nabeshima:2021:TZD% }. \NAMECITE{Directed}{% Rajasingh:2015:LLD% }. \NAMECITE{Directions}{% Brankovic:2011:GLS% }. \NAMECITE{Directly}{% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Disambiguation}{% Coen:2008:SDE% }. \NAMECITE{Discovering}{% Liu:2012:ADR% }. \NAMECITE{Discovery}{% Giancarlo:2008:TCC,% Peters:2013:LNS% }. \NAMECITE{Discrete}{% Anashin:2012:NAT,% Bercic:2020:DFD,% Durcheva:2017:ACT,% Li:2011:SAD,% Li:2012:DIG,% Morikawa:2010:DBE,% Raggi:2016:ACR,% Srivastava:2023:HLB,% Zhao:2013:DVC% }. \NAMECITE{{DiscreteZOO}}{% Bercic:2020:DFD% }. \NAMECITE{Discretization}{% Talwar:2015:SSA% }. \NAMECITE{Discriminant}{% Buse:2014:DSH% }. \NAMECITE{Disease}{% ElKahoui:2009:SDF% }. \NAMECITE{Diskew}{% Bavula:2017:QGW% }. \NAMECITE{Distance}{% Kagan:2019:PPR% }. \NAMECITE{Distances}{% Abawajy:2015:DCS% }. \NAMECITE{Distributed}{% Chhade:2014:NPD,% Iliopoulos:2008:NAP% }. \NAMECITE{Distributions}{% Cruz:2013:SNC% }. \NAMECITE{Divisions}{% Ceria:2022:ABC% }. \NAMECITE{Divisive}{% Blaser:2019:DC% }. \NAMECITE{Divisors}{% Kapur:2009:ACG% }. \NAMECITE{{DNA}}{% Abbass:2013:EAI,% BenNsira:2017:LSM,% Iliopoulos:2008:NAP% }. \NAMECITE{{DNA/RNA}}{% Iliopoulos:2008:NAP% }. \NAMECITE{Do}{% Davenport:2017:WDL,% Pommaret:2022:HMS% }. \NAMECITE{Documents}{% Aly:2008:ISS,% Cohen:2010:MCI% }. \NAMECITE{Does}{% Davenport:2017:WDL% }. \NAMECITE{Domain}{% James:2014:EFM% }. \NAMECITE{Domains}{% Chien:2023:TTD% }. \NAMECITE{Dominating}{% Mahmood:2016:MCE% }. \NAMECITE{Domination}{% Pushpam:2015:SRD,% Quadras:2015:DPC% }. \NAMECITE{Drawings}{% Nishat:2011:VDP% }. \NAMECITE{Driven}{% Mitsch:2014:CVD% }. \NAMECITE{Dual}{% Hasek:2020:EDC,% Wang:2018:UDQ% }. \NAMECITE{Duality}{% Gordon:2012:BGD% }. \NAMECITE{due}{% Mota:2021:EEB% }. \NAMECITE{During}{% Ovodenko:2019:UDT% }. \NAMECITE{Dynamic}{% Blazek:2019:LCD,% Botana:2016:UUT,% Hasek:2019:DGS,% Hasek:2020:EDC,% Juarez-del-Toro:2019:AIC,% Kovacs:2017:RTA,% Kovacs:2019:ACA,% Quaresma:2017:TID,% Roanes-Lozano:2017:BNA,% Roanes-Lozano:2023:SRA,% Todd:2020:SDG% }. \NAMECITE{Dynamical}{% Ichihara:2011:SQA,% Kosub:2008:DRF,% Liu:2012:ADR% }. \NAMECITE{Dynamics}{% Bortolussi:2009:HDS,% Rachah:2016:DOC,% Siebert:2009:DBB% }. \NAMECITE{{Earth}}{% Gutnik:2021:SCE% }. \NAMECITE{{Ebola}}{% Rachah:2016:DOC% }. \NAMECITE{Eccentric}{% Nagar:2016:ECI% }. \NAMECITE{Economics}{% Juarez-del-Toro:2019:AIC% }. \NAMECITE{Edge}{% Baca:2013:TEI,% Indriati:2015:TEI,% Lopez:2011:SEM,% Sethuraman:2015:CPT% }. \NAMECITE{Edge-Magic}{% Lopez:2011:SEM% }. \NAMECITE{Editions}{% Mijajlovic:2010:DME% }. \NAMECITE{Editorial}{% Wang:2007:E% }. \NAMECITE{Education}{% Aggarwal:2021:XBF% }. \NAMECITE{Effect}{% Prank:2020:ACE% }. \NAMECITE{Effective}{% vanderHoeven:2007:EAC% }. \NAMECITE{Effectively}{% Grigoriev:2021:EER% }. \NAMECITE{Effects}{% Piloto:2021:CST% }. \NAMECITE{Efficiency}{% Mahmood:2016:MCE,% Pu:2010:ASE% }. \NAMECITE{Efficient}{% Abbass:2013:EAI,% Alpuente:2020:ESE,% Andrei:2019:PBE,% Banerjee:2008:EAV,% Charalambidis:2008:EII,% DiCrescenzo:2020:ESD,% DosReis:2011:PCE,% Hagemann:2015:EGO,% Hladik:2014:ESC,% Ishihara:2022:ELP,% Kleine:2018:EDI,% Noro:2018:UMT,% Orange:2012:EAS% }. \NAMECITE{Efficiently}{% Grigoriev:2021:EER% }. \NAMECITE{Eighth}{% Khattri:2011:OEO% }. \NAMECITE{{Einstein}}{% Evgrafov:2020:DPE% }. \NAMECITE{Electrification}{% Roanes-Lozano:2019:AAD% }. \NAMECITE{{Electro}}{% Karsenty:2019:CAC% }. \NAMECITE{{Electro}-optic}{% Karsenty:2019:CAC% }. \NAMECITE{Electrostatic}{% Sarafian:2017:ACA% }. \NAMECITE{Element}{% Adak:2021:CVE,% Ku-Cauich:2020:CER% }. \NAMECITE{Elements}{% Beuchler:2022:RQH,% Hofstadler:2022:CEC,% Karsenty:2019:CAC% }. \NAMECITE{Elimination}{% Boulier:2011:MRC,% Janovitz-Freireich:2007:ARC,% Plesken:2010:LDE,% Suda:2015:VCE,% Yoshida:2008:IPS% }. \NAMECITE{Ellipsoid}{% Juarez-del-Toro:2019:AIC% }. \NAMECITE{Elliptic}{% Abarzua:2018:ASC,% Miret:2018:PBC% }. \NAMECITE{Embedding}{% Laurian:2022:FBW,% Mabrouki:2011:EBR,% Quadras:2015:EFH,% Rajan:2015:ERC% }. \NAMECITE{Empirical}{% Abbott:2007:TRE% }. \NAMECITE{Employment}{% Mota:2021:EEB% }. \NAMECITE{Encapsulating}{% James:2014:EFM% }. \NAMECITE{Encyclopedia}{% Narboux:2016:TCV% }. \NAMECITE{end}{% Li:2012:PSS% }. \NAMECITE{Endpoint}{% Mertzios:2010:OAF% }. \NAMECITE{Energy}{% Pu:2010:ASE% }. \NAMECITE{Energy-Time}{% Pu:2010:ASE% }. \NAMECITE{Enforcement}{% Alpuente:2020:ESE% }. \NAMECITE{Engineering}{% Karkkainen:2017:ELE,% Mitsch:2014:CVD,% Todd:2020:SAD% }. \NAMECITE{Enhance}{% Mahmood:2016:MCE% }. \NAMECITE{Entangled}{% Rajchel:2018:RHM% }. \NAMECITE{Enthusiast}{% Buchberger:2022:VGC% }. \NAMECITE{Enumerating}{% Spahn:2022:ESG% }. \NAMECITE{Enumeration}{% Guo:2010:EGFa,% Guo:2010:EGFb% }. \NAMECITE{Envelope}{% Kovacs:2019:ACA% }. \NAMECITE{Envelopes}{% Dana-Picard:2021:EOT,% Dana-Picard:2023:AEE% }. \NAMECITE{Environment}{% Blazek:2019:LCD% }. \NAMECITE{Enzyme}{% Vlachakis:2017:APA% }. \NAMECITE{Epidemiological}{% ElKahoui:2009:SDF% }. \NAMECITE{Epidemiology}{% McCaig:2009:IPS% }. \NAMECITE{Equal}{% Chen:2017:AOR,% Mertzios:2010:PSE% }. \NAMECITE{Equal-Length}{% Mertzios:2010:PSE% }. \NAMECITE{Equalising}{% Bujnowski:2023:ETP% }. \NAMECITE{Equation}{% Adak:2021:CVE,% Emiris:2010:CNP,% Morikawa:2010:DBE,% Talwar:2015:SSA% }. \NAMECITE{Equations}{% Aksim:2020:EAB,% Barkatou:2010:MMM,% Batra:2010:GCI,% Braun:2020:NAV,% Bulygin:2010:OSS,% Cheviakov:2010:SCL,% Evgrafov:2020:DPE,% Falkensteiner:2020:SFO,% Ferras:2021:HOM,% Ganzha:2008:ESH,% Horn:2012:MFH,% Matos:2018:SDI,% Seiler:2021:LBA% }. \NAMECITE{Equi}{% Rajchel:2018:RHM% }. \NAMECITE{Equi-Entangled}{% Rajchel:2018:RHM% }. \NAMECITE{Equilibria}{% ElKahoui:2009:SDF% }. \NAMECITE{Equilibrium}{% Gutnik:2021:SCE% }. \NAMECITE{Equivalence}{% Aladova:2013:IMK,% Siegel:2011:FFE% }. \NAMECITE{Error}{% Manin:2011:ECC% }. \NAMECITE{Error-Correcting}{% Manin:2011:ECC% }. \NAMECITE{Errors}{% Apostolico:2008:SUW,% Coen:2008:SDE,% Ovodenko:2019:UDT% }. \NAMECITE{Estimating}{% Dimitrova:2010:EVC,% Mota:2021:EEB% }. \NAMECITE{Estimation}{% Jaulin:2012:CIA,% Senkel:2014:SMT% }. \NAMECITE{{Euclid}}{% Chan:2019:MHC% }. \NAMECITE{Eulogy}{% Badia:2018:EPM% }. \NAMECITE{{European}}{% Shu:2021:PIE% }. \NAMECITE{Evader}{% Kumkov:2014:LSV% }. \NAMECITE{Evaluating}{% Sarafian:2017:ACA% }. \NAMECITE{Evolution}{% Yang:2010:EBA,% Zamlynska:2010:EMC% }. \NAMECITE{Evolution-Based}{% Yang:2010:EBA% }. \NAMECITE{{EX}}{% Tang:2010:NRE% }. \NAMECITE{Exact}{% Ganzha:2008:ESH% }. \NAMECITE{Exam}{% Roanes-Lozano:2023:CBM% }. \NAMECITE{Examples}{% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Exchange}{% Romanczuk:2012:FGL% }. \NAMECITE{Exercises}{% Heeren:2010:SRS% }. \NAMECITE{Exist}{% Pommaret:2022:HMS% }. \NAMECITE{Existence}{% Kosub:2008:DRF,% Winterhof:2018:NES% }. \NAMECITE{Exists}{% Hladik:2014:ESC% }. \NAMECITE{Expanded}{% Altamimi:2008:MQL% }. \NAMECITE{Expanding}{% Pu:2010:ASE% }. \NAMECITE{Expansions}{% Heuberger:2010:RAE,% Sakar:2019:BIC% }. \NAMECITE{Experiments}{% Kacker:2021:CFE,% Kacker:2021:FEC,% Urban:2008:ABC% }. \NAMECITE{Explain}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Explicit}{% Kohlwey:2019:HEE,% Matos:2021:EFI% }. \NAMECITE{Exploration}{% Dana-Picard:2021:EOT,% Dana-Picard:2023:AEE,% Hasek:2020:EDC% }. \NAMECITE{Exploring}{% Conceicao:2016:ESS,% Dana-Picard:2020:EIF% }. \NAMECITE{Exponential}{% Kohlwey:2019:HEE,% Kozera:2019:MHI% }. \NAMECITE{Exponentiation}{% DiCrescenzo:2020:ESD% }. \NAMECITE{Expressed}{% Corless:2007:PMP% }. \NAMECITE{Expression}{% Morig:2010:DIG% }. \NAMECITE{Extend}{% Davenport:2008:FEO% }. \NAMECITE{Extended}{% Faugere:2011:PER,% Raggi:2016:ACR% }. \NAMECITE{Extension}{% Aksim:2020:EAB,% Bavula:2020:CSM,% Bruzda:2018:ESC,% Orange:2012:EAS,% Punitha:2015:SKN% }. \NAMECITE{Extensions}{% Levin:2010:DPI,% Levin:2019:BDQ% }. \NAMECITE{External}{% Karkkainen:2017:ELE,% Tischler:2017:FAC% }. \NAMECITE{Extrapolation}{% Ilie:2009:CCE% }. \NAMECITE{{Faber}}{% Sakar:2019:BIC% }. \NAMECITE{Face}{% Baca:2013:SFA,% Siddiqui:2013:FAL% }. \NAMECITE{Factor}{% Shemyakova:2010:RTF% }. \NAMECITE{Factorable}{% Shemyakova:2007:PFS% }. \NAMECITE{Factorials}{% Kacker:2021:CFE,% Kacker:2021:FEC% }. \NAMECITE{Factoring}{% Chen:2022:FMP% }. \NAMECITE{Factorization}{% Chen:2008:LZF,% Hellmuth:2009:LAP,% Kasman:2010:FRP% }. \NAMECITE{Factorizations}{% Daykin:2017:ISF,% Shemyakova:2007:PFS,% Shemyakova:2010:RTF% }. \NAMECITE{Factors}{% Middeke:2021:CFF% }. \NAMECITE{Familiarizing}{% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Families}{% Ali:2013:MLT,% Djokovic:2018:GSD,% Klisowski:2012:CCP,% Ramdani:2015:TIS,% Romanczuk:2012:FGL,% Shu:2021:PIE% }. \NAMECITE{Family}{% Tajima:2023:CHM% }. \NAMECITE{Fan}{% Dimitrova:2010:EVC% }. \NAMECITE{Fans}{% Akram:2013:IFL% }. \NAMECITE{Fast}{% Koutschan:2010:FAC,% Kovacs:2017:RTA,% Puglisi:2010:FPA% }. \NAMECITE{Faster}{% Laurian:2022:FBW,% Tischler:2017:FAC% }. \NAMECITE{Fault}{% Colbourn:2018:CFF,% Rajasingh:2015:TVI% }. \NAMECITE{{Feller}}{% Yang:2017:STR% }. \NAMECITE{{Fermat}}{% Dana-Picard:2020:EIF% }. \NAMECITE{{FEVS}}{% Siegel:2011:FFE% }. \NAMECITE{Fiber}{% Perez-Diaz:2013:BFB% }. \NAMECITE{Field}{% Fukasaku:2015:QAA,% Gutnik:2022:CAM,% Levin:2010:DPI,% Levin:2019:BDQ,% Marcolli:2015:GGI,% Sarafian:2017:ACA% }. \NAMECITE{Fields}{% Adj:2018:STP,% Levin:2010:DPI,% Orange:2012:EAS% }. \NAMECITE{Filtered}{% Furst:2017:RRB% }. \NAMECITE{Filters}{% Saeid:2013:STF% }. \NAMECITE{Finding}{% Fischer:2010:FRM,% Seiler:2021:LBA% }. \NAMECITE{Fingerprint}{% Bercic:2020:DFD% }. \NAMECITE{Finite}{% Adj:2018:STP,% Beuchler:2022:RQH,% Karsenty:2019:CAC,% Rohn:2014:VLD% }. \NAMECITE{Finitely}{% Dochviri:2016:TSF,% Levin:2010:DPI% }. \NAMECITE{Fire}{% Piloto:2021:CST% }. \NAMECITE{First}{% Falkensteiner:2020:SFO,% Kruglov:2012:SDF,% Lichtblau:2016:FOP,% Urban:2008:ABC% }. \NAMECITE{First-Order}{% Kruglov:2012:SDF% }. \NAMECITE{Five}{% Conde:2015:NAM% }. \NAMECITE{Fixed}{% Jesintha:2011:AAF,% Kosub:2008:DRF,% Mertzios:2010:OAF,% Spahn:2022:ESG% }. \NAMECITE{Fixed-Point}{% Kosub:2008:DRF% }. \NAMECITE{Flatness}{% Jaulin:2012:CIA% }. \NAMECITE{Flow}{% Lebedev:2019:MCQ,% Ramanna:2013:FGA% }. \NAMECITE{Focus}{% Chen:2013:FSF,% Chen:2020:FSF,% Fontaine:2015:FSF,% Li:2012:FSF,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF,% Rajan:2016:FSF,% Thery:2015:FSF% }. \NAMECITE{Fold}{% Horn:2012:MFH% }. \NAMECITE{Folded}{% Quadras:2015:EFH,% Rajasingh:2011:LWF% }. \NAMECITE{Following}{% Batra:2010:GCI% }. \NAMECITE{Forall}{% Hladik:2014:ESC% }. \NAMECITE{Foreword}{% Anai:2009:F,% Anai:2011:F,% Autexier:2010:FSI,% Beaudin:2019:F,% Bigatti:2020:F,% Chan:2008:F,% Chen:2013:FSF,% Chen:2020:FSF,% Christodoulakis:2010:F,% Dana-Picard:2017:F,% Davenport:2019:F,% DiRocco:2014:F,% England:2021:FDA,% England:2021:FDV,% England:2022:F,% Fainekos:2011:F,% Faugere:2010:F,% Fontaine:2015:FSF,% Galan-Garcia:2019:F,% Gonzalez-Vega:2010:F,% Goyeneche:2018:F,% Iliopoulos:2017:F,% Kerber:2008:F,% Kerber:2014:F,% Kotsireas:2008:F,% Kotsireas:2012:F,% Labahn:2020:F,% Li:2012:FSF,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF,% Martinez-Moro:2018:F,% Miller:2010:F,% Miller:2011:F,% Miller:2015:F,% Naimpally:2013:F,% Rajan:2016:FSF,% Ramdani:2014:F,% Ratschan:2012:F,% Regensburger:2010:F,% Robertz:2022:F,% Sendra:2016:F,% Thery:2015:FSF,% Vegter:2010:F,% Wang:2007:F,% Yap:2007:F% }. \NAMECITE{Form}{% Boulier:2010:NFA,% Edneral:2020:NOS,% Hofstadler:2022:CEC,% Li:2012:PSS% }. \NAMECITE{Formal}{% Boldo:2011:FVN,% James:2014:EFM,% Khan-Afshar:2014:FAO,% Koepf:2015:AAF,% Thery:2015:FSF% }. \NAMECITE{Formalization}{% Chen:2013:FSG,% Oldenburg:2017:TRB% }. \NAMECITE{Formalized}{% Ekici:2020:MLC% }. \NAMECITE{Format}{% Kohlhase:2008:ULS% }. \NAMECITE{Forms}{% Fukasaku:2019:MHQ,% Tajima:2021:ACT% }. \NAMECITE{Formula}{% Fujiyoshi:2010:GVM,% Nahay:2012:TOI% }. \NAMECITE{Formulae}{% Matos:2021:EFI% }. \NAMECITE{Formulas}{% Jurrius:2012:TFI% }. \NAMECITE{Foundations}{% Wolski:2013:TFN% }. \NAMECITE{Four}{% Conde:2015:NAM% }. \NAMECITE{{Fourier}}{% Koepf:2015:AAF% }. \NAMECITE{{Fourth}}{% Shemyakova:2007:PFS% }. \NAMECITE{Fractal}{% Blanco-Trejo:2019:FTA% }. \NAMECITE{Fractals}{% Aggarwal:2021:XBF,% Marcolli:2012:CFN,% Roanes-Lozano:2021:UFE% }. \NAMECITE{Fraction}{% Middeke:2021:CFF% }. \NAMECITE{Fraction-Free}{% Middeke:2021:CFF% }. \NAMECITE{Fractional}{% Ammi:2021:GSC,% Ferras:2021:HOM,% Yang:2017:STR% }. \NAMECITE{Fragment}{% Kruglov:2012:SDF% }. \NAMECITE{Framework}{% Berberich:2010:APSa,% Colbourn:2018:CFF,% Dana-Picard:2017:FIB% }. \NAMECITE{Francs}{% Zhu:2011:SSF% }. \NAMECITE{Free}{% Cada:2011:NDC,% Cooper:2010:SFP,% DiConcilio:2013:PFG,% ElKahoui:2009:SDF,% Fujiyoshi:2010:GVM,% Furst:2017:RRB,% Henry:2013:MFN,% Li:2012:PSS,% Middeke:2021:CFF% }. \NAMECITE{Free-form}{% Li:2012:PSS% }. \NAMECITE{Freedom}{% Davenport:2008:FEO% }. \NAMECITE{Frequencies}{% Klein:2011:HCN% }. \NAMECITE{Friendly}{% Boldo:2015:CUF,% Laurian:2022:FBW% }. \NAMECITE{Fuel}{% Rauh:2014:IMR% }. \NAMECITE{{Fulkerson}}{% Manuel:2015:BFC% }. \NAMECITE{Full}{% Armario:2018:QHF% }. \NAMECITE{Fullerene}{% Baca:2013:TEI% }. \NAMECITE{Function}{% Aubry:2014:KCI,% Collins:2011:VRF,% Escobar:2018:NOP,% Escobar:2021:INT,% Kumkov:2014:LSV,% Nahay:2012:TOI,% Naiman:2019:AFA% }. \NAMECITE{Functional}{% Boudellioua:2010:SRL,% Charalambidis:2008:EII,% Trindade:2018:DFC,% Siegel:2011:FFE% }. \NAMECITE{Functions}{% Aydogan:2019:CFC,% Bethencourt:2014:SNL,% Chien:2023:TTD,% Climent:2018:BFD,% Feinsilver:2007:IAF,% Guo:2010:EGFa,% Guo:2010:EGFb,% Liu:2012:ADR,% Minzlaff:2010:CZF,% Plesken:2010:LDE,% Sakar:2019:BIC,% Trefethen:2007:CNF% }. \NAMECITE{Fundamental}{% Bremner:2014:HPF% }. \NAMECITE{Fundamentals}{% Gu:2010:FCC% }. \NAMECITE{Future}{% Brankovic:2011:GLS,% Flizikowski:2023:SAN% }. \NAMECITE{Fuzzy}{% Akram:2013:IFL,% Akram:2013:IFS,% Akram:2016:PFL% }. \NAMECITE{{G01}}{% Li:2012:DIG% }. \NAMECITE{Gain}{% Ichihara:2011:SQA% }. \NAMECITE{{Galois}}{% Ku-Cauich:2020:CER% }. \NAMECITE{Games}{% Kumkov:2014:LSV% }. \NAMECITE{{Gaussian}}{% Cruz:2013:SNC,% Janovitz-Freireich:2007:ARC% }. \NAMECITE{{GCD}}{% Lichtblau:2019:APG% }. \NAMECITE{General}{% Ammi:2021:GSC,% Berberich:2010:APSa,% DiCrescenzo:2020:ESD,% Farago:2008:GTD,% Huang:2012:RGS,% Macedo:2018:SAG,% Sagraloff:2010:GAI% }. \NAMECITE{Generality}{% Davenport:2017:WDL% }. \NAMECITE{Generalized}{% Bavula:2017:QGW,% Daykin:2015:AGC,% Gordon:2012:BGD,% Indriati:2015:TEI,% Jesintha:2011:AAF% }. \NAMECITE{Generated}{% Levin:2010:DPI% }. \NAMECITE{Generating}{% Alvarez:2018:MHG,% Guo:2010:EGFa,% Guo:2010:EGFb% }. \NAMECITE{Generation}{% Almech:2020:AGD,% Li:2012:PSS% }. \NAMECITE{Generic}{% Barbosa:2012:CGQ,% Morig:2010:DIG% }. \NAMECITE{Genetic}{% Galan-Garcia:2017:GAA% }. \NAMECITE{Genus}{% Duquesne:2010:TGL% }. \NAMECITE{Geodesic}{% Bowers:2016:GUM% }. \NAMECITE{{{GeoGebra}}}{% Roanes-Lozano:2023:SRA% }. \NAMECITE{Geometer}{% Botana:2021:MG% }. \NAMECITE{Geometric}{% Brown:2022:CAR,% Chen:2013:FSG,% Hagemann:2015:EGO,% Hussein:2017:GII,% Jurrius:2012:TFI,% Roanes-Lozano:2013:GRG,% Schreck:2016:ACC,% Shu:2021:PIE% }. \NAMECITE{Geometries}{% DiConcilio:2013:PFG% }. \NAMECITE{Geometry}{% Beltrametti:2021:GHT,% Blazek:2019:LCD,% Botana:2016:UUT,% Chen:2020:FSF,% Gu:2010:FCC,% Hasek:2019:DGS,% Hasek:2020:EDC,% Kovacs:2017:RTA,% Kovacs:2019:ACA,% Pommaret:2022:HMS,% Quaresma:2017:TID,% Quaresma:2020:ADK,% Roanes-Lozano:2013:GRG,% Roanes-Lozano:2017:BNA,% Roanes-Lozano:2023:SRA,% Shao:2016:CTP,% Siggel:2019:TOS,% Todd:2020:SDG,% Roanes-Lozano:2021:UFE% }. \NAMECITE{Gerdt}{% Ceria:2022:NGJ,% Buchberger:2022:VGC,% England:2021:FDV,% Kotsireas:2022:PRP,% Seiler:2022:YVG,% Wang:2022:SNR,% Wester:2022:MVG% }. \NAMECITE{Get}{% Coen:2008:SDE% }. \NAMECITE{{GGH}}{% Lee:2010:CGC% }. \NAMECITE{Given}{% Jia:2021:LEK% }. \NAMECITE{Global}{% Ammi:2021:GSC,% Gu:2007:UCA,% Janovitz-Freireich:2007:ARC,% Patil:2014:IBG,% Wang:2013:GKM% }. \NAMECITE{Globally}{% Batra:2010:GCI% }. \NAMECITE{Gluing}{% Semaev:2013:IAG% }. \NAMECITE{{Goethals}}{% Djokovic:2018:GSD% }. \NAMECITE{Good}{% Alcazar:2009:GLB,% Bouche:2010:DML,% Choudhary:2020:CTG% }. \NAMECITE{Graceful}{% Brankovic:2011:GLS,% Jesintha:2011:AAF,% Jesintha:2015:AUB% }. \NAMECITE{Grammar}{% Fujiyoshi:2010:GVM% }. \NAMECITE{Grammars}{% Marcolli:2015:GGI% }. \NAMECITE{Grammatical}{% Fujiyoshi:2010:GVM% }. \NAMECITE{Granulations}{% Wang:2013:GKM% }. \NAMECITE{Graph}{% Abawajy:2015:DCS,% Bujnowski:2023:ETP,% Cohen:2008:APG,% Duzhin:2017:MAC,% Elden:2013:CSC,% Heule:2019:OSB,% Lee:2010:POS,% Lu:2018:ALL,% Marcolli:2015:GGI,% Nagar:2016:ECI,% Noschinski:2015:GLI,% Rajan:2016:FSF,% Rajasingh:2015:LLD,% Siddiqui:2013:FAL,% Sugeng:2011:CVM,% daSilva:2020:VCG% }. \NAMECITE{Graph-Based}{% Abawajy:2015:DCS% }. \NAMECITE{Graph-Modelled}{% Bujnowski:2023:ETP% }. \NAMECITE{Graphical}{% Takato:2020:UOS% }. \NAMECITE{Graphs}{% Akram:2016:PFL,% Baca:2015:ALJ,% Baumgart:2010:PBG,% Bera:2016:SPW,% Bommanahal:2011:PGC,% Cada:2011:NDC,% Daykin:2015:AGC,% Farago:2008:GTD,% Fujita:2010:LCG,% Gagie:2017:BGP,% Hellmuth:2009:LAP,% Hellmuth:2013:PSP,% Ichishima:2010:PLG,% Ichishima:2011:POR,% Indriati:2015:TEI,% Jesintha:2015:AUB,% Jia:2021:LEK,% Kagan:2019:PPR,% Klisowski:2012:CCP,% Mertzios:2010:OAF,% Muhshi:2015:MSR,% Paul:2015:LPB,% Phanalasy:2011:CAL,% Punitha:2015:SKN,% Pushpam:2015:SRD,% Rajan:2015:ERC,% Rajasingh:2015:TVI,% Ramanna:2013:FGA,% Ramdani:2015:TIS,% Rana:2012:CCP,% Romanczuk:2012:FGL,% Sethuraman:2015:CPT,% Tang:2010:NRE,% Wong:2016:CBC% }. \NAMECITE{{Graver}}{% Marquez-Corbella:2012:DMC% }. \NAMECITE{Gravitational}{% Gutnik:2022:CAM% }. \NAMECITE{Greedy}{% Ceria:2022:ABC% }. \NAMECITE{Grid}{% Rajasingh:2015:LLD,% Spahn:2022:ESG% }. \NAMECITE{Grid-Based}{% Spahn:2022:ESG% }. \NAMECITE{{Gr{\"o}bner}}{% Decker:2020:MTN,% Dimitrova:2010:EVC,% Eibach:2010:OGB,% Faugere:2011:PER,% Fukasaku:2015:QAA,% Hashemi:2017:GSC,% Hashemi:2021:RGI,% Hu:2021:TDG,% Kapur:2009:ACG,% Kovacs:2017:RTA,% Nabeshima:2009:RGB,% Nabeshima:2019:SPI,% Tajima:2023:CHM,% Wang:2016:CBR,% Zhou:2007:CGB% }. \NAMECITE{Groebnerialium}{% Ceria:2022:NGJ% }. \NAMECITE{{Grothendieck}}{% Ohara:2019:ACG% }. \NAMECITE{Ground}{% Kruglov:2012:SDF% }. \NAMECITE{Group}{% Duquesne:2010:TGL% }. \NAMECITE{Groups}{% DiCrescenzo:2020:ESD,% Jia:2021:LEK% }. \NAMECITE{Guard}{% Maiga:2014:CVZ% }. \NAMECITE{{GVW}}{% Hashemi:2021:IGA% }. \NAMECITE{{Hadamard}}{% Acevedo:2018:RDS,% Alvarez:2018:MHG,% Armario:2018:QHF,% Bruzda:2018:ESC,% Gillespie:2018:COA,% Rajchel:2018:RHM,% Winterhof:2018:NES% }. \NAMECITE{Half}{% Adamou:2021:CTV,% Kohlwey:2019:HEE% }. \NAMECITE{Half-Explicit}{% Kohlwey:2019:HEE% }. \NAMECITE{Half-Lines}{% Adamou:2021:CTV% }. \NAMECITE{{Hamiltonian}}{% Rajasingh:2015:TVI% }. \NAMECITE{{Hammer}}{% Kaliszyk:2015:HHO% }. \NAMECITE{Harmonic}{% Chien:2023:TTD% }. \NAMECITE{Hashing}{% Kutzelnigg:2010:IVC% }. \NAMECITE{Having}{% Bouyuklieva:2020:BIC% }. \NAMECITE{Heat}{% Ortegaray:2021:HKA% }. \NAMECITE{Heater}{% Akram:2013:IFL% }. \NAMECITE{Height}{% Chan:2019:MHC% }. \NAMECITE{Helicopter}{% Kohlwey:2019:HEE% }. \NAMECITE{Help}{% Durcheva:2019:HUC,% Ferdous:2017:SMC% }. \NAMECITE{Hereditary}{% Acharya:2011:SHP% }. \NAMECITE{{Hermite}}{% Kozera:2019:MHI,% Kozera:2020:NMH% }. \NAMECITE{{Hermitian}}{% Fukasaku:2019:MHQ% }. \NAMECITE{Heuristic}{% Alvarez:2018:MHG% }. \NAMECITE{Hexagonal}{% Rajan:2011:CRH% }. \NAMECITE{Hierarchical}{% Aspinall:2010:THP% }. \NAMECITE{High}{% Bates:2014:UMA,% Beuchler:2022:RQH,% Ferras:2021:HOM,% Siegel:2011:FFE,% Takato:2020:UOS% }. \NAMECITE{High-Order}{% Beuchler:2022:RQH,% Ferras:2021:HOM% }. \NAMECITE{High-Performance}{% Siegel:2011:FFE% }. \NAMECITE{Highly}{% BenNsira:2017:LSM,% Vlachakis:2021:MMM% }. \NAMECITE{Historical}{% Orgun:2008:QHD% }. \NAMECITE{Hit}{% Youssef:2008:RRH% }. \NAMECITE{{HIV}}{% Allali:2018:AOC% }. \NAMECITE{{HOL}}{% Kaliszyk:2015:HHO% }. \NAMECITE{Holonomic}{% Tajima:2023:CHM% }. \NAMECITE{Homogeneous}{% Buse:2014:DSH% }. \NAMECITE{Homological}{% Mourrain:2014:BDT% }. \NAMECITE{Homology}{% Manin:2020:NDP% }. \NAMECITE{Homotopy}{% Bates:2014:UMA% }. \NAMECITE{Honeycomb}{% Rajan:2011:CRH% }. \NAMECITE{Honour}{% Plaice:2008:HBW% }. \NAMECITE{{Hopf}}{% Sturm:2009:IAL% }. \NAMECITE{{Hori}}{% Perminov:2020:IHD% }. \NAMECITE{{Hough}}{% Beltrametti:2021:GHT,% Ricca:2016:DCS% }. \NAMECITE{{Huffman}}{% Klein:2011:HCN% }. \NAMECITE{Hull}{% Aurenhammer:2012:CCH% }. \NAMECITE{Hybrid}{% Bortolussi:2009:HDS,% Damm:2011:PPV,% Hagemann:2015:EGO,% Maiga:2014:CVZ,% Mitsch:2014:CVD% }. \NAMECITE{Hydropathy}{% Vlachakis:2017:APA% }. \NAMECITE{Hyperbolic}{% Ganzha:2008:ESH,% Srivastava:2023:HLB% }. \NAMECITE{Hyperbolicity}{% Dey:2020:THR% }. \NAMECITE{Hypercubes}{% Quadras:2015:EFH,% Rajasingh:2011:LWF% }. \NAMECITE{Hyperdeterminant}{% Bremner:2014:HPF% }. \NAMECITE{Hypergeometric}{% Horn:2012:MFH% }. \NAMECITE{Hypergraph}{% Hammack:2016:ANA,% Hellmuth:2012:SHP% }. \NAMECITE{Hypergraphs}{% Acharya:2011:SHP% }. \NAMECITE{Hypersurface}{% Tajima:2021:ACT,% Tajima:2023:CHM% }. \NAMECITE{Hypersurfaces}{% Wintraecken:2015:OTC% }. \NAMECITE{{ICT}}{% Dana-Picard:2017:FIB% }. \NAMECITE{Ideal}{% Borges-Quintana:2018:WOI,% ElKahoui:2014:ACA,% Ishihara:2022:ELP,% Kapur:2009:ACG,% Nabeshima:2019:SPI,% Noro:2018:UMT% }. \NAMECITE{Ideals}{% Hashemi:2021:RGI,% Hofstadler:2022:CEC,% Lundqvist:2012:MMI% }. \NAMECITE{Identifiability}{% Ravanbod:2014:DSM% }. \NAMECITE{Identification}{% Lewis:2020:IAI% }. \NAMECITE{Identify}{% Abbass:2013:EAI% }. \NAMECITE{Identifying}{% Aly:2008:ISS% }. \NAMECITE{{II}}{% Berberich:2010:APSb,% Heuberger:2010:RAE,% Loja:2018:FSF% }. \NAMECITE{{III}}{% Loja:2021:FSF% }. \NAMECITE{{IL}-System}{% Yoshida:2008:IPS% }. \NAMECITE{Image}{% Cinque:2013:BIC,% Fashandi:2013:NCU,% Henry:2013:SBP,% Lewis:2020:IAI% }. \NAMECITE{Images}{% Blanco-Trejo:2019:FTA,% Ricca:2016:DCS% }. \NAMECITE{Immune}{% Allali:2018:AOC% }. \NAMECITE{Impact}{% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:SRA% }. \NAMECITE{Implementation}{% Charalambidis:2008:EII,% Chen:2022:FMP,% Jeffrey:2017:BSI,% Kleine:2018:EDI,% Morig:2010:DIG,% Perminov:2020:IHD,% Sivaselvan:2016:IMQ% }. \NAMECITE{Implementations}{% Cinque:2013:BIC% }. \NAMECITE{Implicit}{% Alcazar:2009:GLB,% Braun:2020:NAV,% Emiris:2010:CNP,% Nahay:2012:TOI,% Seiler:2021:LBA% }. \NAMECITE{Implicitly}{% Yang:2010:EBA% }. \NAMECITE{Improve}{% Huang:2019:UML% }. \NAMECITE{Improved}{% Chaudhuri:2011:ISS,% Conley:2013:IAB,% Kutzelnigg:2010:IVC,% Patil:2014:IBG,% Semaev:2013:IAG% }. \NAMECITE{Improving}{% Gavina:2016:IAC% }. \NAMECITE{Inaction}{% Mota:2021:EEB% }. \NAMECITE{Incidence}{% Ammi:2021:GSC% }. \NAMECITE{Indefinite}{% Zima:2013:AIS% }. \NAMECITE{Indeterminate}{% Daykin:2017:ISF% }. \NAMECITE{Index}{% Kohlwey:2019:HEE,% Nagar:2016:ECI% }. \NAMECITE{Index-1}{% Kohlwey:2019:HEE% }. \NAMECITE{Indicator}{% Klisowski:2012:CCP,% Romanczuk:2012:FGL% }. \NAMECITE{Individuals}{% McCaig:2009:IPS% }. \NAMECITE{{Indo}}{% Shu:2021:PIE% }. \NAMECITE{{Indo-European}}{% Shu:2021:PIE% }. \NAMECITE{Industry}{% Patil:2014:IBG% }. \NAMECITE{Inequalities}{% Brown:2022:CAR% }. \NAMECITE{Inference}{% Chhade:2014:NPD,% Yoshida:2008:IPS% }. \NAMECITE{Infinitary}{% Finkel:2008:WDI% }. \NAMECITE{Infinite}{% Selivanov:2008:WRI% }. \NAMECITE{Inflection}{% Ovodenko:2019:UDT% }. \NAMECITE{Influence}{% Benjamin:2019:APS% }. \NAMECITE{Information}{% Abawajy:2015:DCS,% Bujnowski:2023:ETP% }. \NAMECITE{Infrastructure}{% Berberich:2010:APSa% }. \NAMECITE{Initial}{% Sakar:2019:BIC% }. \NAMECITE{Inner}{% Rego:2014:DIO% }. \NAMECITE{Input}{% Lebedev:2019:MCQ% }. \NAMECITE{Insertion}{% Marcolli:2015:GGI% }. \NAMECITE{Insights}{% Vlachakis:2021:MMM% }. \NAMECITE{Instances}{% Albrecht:2010:ALS% }. \NAMECITE{Instead}{% Trefethen:2007:CNF% }. \NAMECITE{Instructor}{% Solin:2021:SPI% }. \NAMECITE{Instructor-Assisted}{% Solin:2021:SPI% }. \NAMECITE{Integral}{% Conceicao:2016:ESS,% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Matos:2018:SDI,% Nabeshima:2019:SPI,% Wojas:2017:FSD% }. \NAMECITE{Integrals}{% Dana-Picard:2017:FIB% }. \NAMECITE{Integrating}{% Orchard:2008:ILD% }. \NAMECITE{Integration}{% Aksim:2020:EAB,% Orgun:2008:KRR% }. \NAMECITE{Integro}{% Matos:2021:EFI% }. \NAMECITE{Intelligence}{% Vlachakis:2021:MMM% }. \NAMECITE{Intelligent}{% Juarez-del-Toro:2019:AIC,% Quaresma:2017:TID% }. \NAMECITE{Intensional}{% Charalambidis:2008:EII,% Plaice:2008:LTI% }. \NAMECITE{Interactive}{% Cohen:2010:MCI,% Heeren:2010:SRS% }. \NAMECITE{Interesting}{% Kovacs:2020:ADI% }. \NAMECITE{Intermediate}{% Levin:2010:DPI% }. \NAMECITE{Interplay}{% DiConcilio:2018:DPP% }. \NAMECITE{Interpolation}{% Karpov:2022:DLA,% Kozera:2019:MHI,% Kozera:2020:NMH,% Li:2012:DIG% }. \NAMECITE{Interpolator}{% Wang:2012:CBR% }. \NAMECITE{Interpretation}{% Kumkov:2014:LSV% }. \NAMECITE{Intersecting}{% Crnkovic:2018:NST% }. \NAMECITE{Intersection}{% Maiga:2014:CVZ% }. \NAMECITE{Interval}{% Aubry:2014:KCI,% Jaulin:2012:CIA,% Kumkov:2014:LSV,% Mertzios:2010:OAF,% Rana:2012:CCP,% Rauh:2014:IMR,% Sandretto:2014:IMM,% Seddik:2014:PBL,% Sekigawa:2007:LPC% }. \NAMECITE{Intervals}{% Drevelle:2014:VVI% }. \NAMECITE{Intracellular}{% Allali:2018:AOC% }. \NAMECITE{Introducing}{% Bujnowski:2023:ETP,% Escobar:2021:INT% }. \NAMECITE{Introduction}{% ONeal:2011:ICO,% Peters:2013:NSI% }. \NAMECITE{Intuitionistic}{% Akram:2013:IFL,% Akram:2013:IFS% }. \NAMECITE{Invariant}{% Escobar:2018:NOP,% Escobar:2021:INT,% Hussein:2017:GII,% Juarez-del-Toro:2019:AIC,% Jurrius:2012:TFI% }. \NAMECITE{Invariants}{% Bremner:2014:HPF% }. \NAMECITE{Inversion}{% Feinsilver:2007:IAF% }. \NAMECITE{Invertible}{% Mohammadi:2021:SBA% }. \NAMECITE{Investigating}{% Sturm:2009:IAL% }. \NAMECITE{Investigation}{% Hussein:2017:GII% }. \NAMECITE{Involutive}{% Ceria:2022:ABC,% Hashemi:2021:DUB,% Hashemi:2021:IGA,% Hashemi:2021:RGI% }. \NAMECITE{Involving}{% Bethencourt:2014:SNL% }. \NAMECITE{Irregularity}{% Baca:2013:TEI,% Indriati:2015:TEI,% Rajasingh:2015:TVI,% Ramdani:2015:TIS% }. \NAMECITE{{Isabelle}}{% Noschinski:2015:GLI% }. \NAMECITE{Isodual}{% Bouyuklieva:2020:BIC% }. \NAMECITE{Isogenous}{% Abarzua:2018:ASC% }. \NAMECITE{Isolated}{% Tajima:2021:ACT,% Tajima:2023:CHM% }. \NAMECITE{Isolating}{% Sagraloff:2010:GAI% }. \NAMECITE{Isolation}{% Zhang:2007:NMR% }. \NAMECITE{Isomorphic}{% Abarzua:2018:ASC% }. \NAMECITE{Isoptics}{% Dana-Picard:2020:EIF% }. \NAMECITE{Isoscallop}{% Li:2012:PSS% }. \NAMECITE{isotropically}{% Minglibayev:2020:CPT% }. \NAMECITE{Isotypeness}{% Aladova:2013:IMK% }. \NAMECITE{Issue}{% Autexier:2010:FSI% }. \NAMECITE{Items}{% Galan-Garcia:2017:GAA% }. \NAMECITE{Iteration}{% Plaice:2008:LTI% }. \NAMECITE{Iterative}{% Batra:2010:GCI,% Khattri:2011:OEO% }. \NAMECITE{{Jahangir}}{% Siddiqui:2013:FAL% }. \NAMECITE{Janet}{% Ceria:2022:NGJ% }. \NAMECITE{Jerk}{% Li:2013:TPM% }. \NAMECITE{Jobs}{% Mertzios:2010:PSE% }. \NAMECITE{Join}{% Baca:2015:ALJ% }. \NAMECITE{Jugs}{% Man:2015:CMA% }. \NAMECITE{{K}-Based}{% Radzevich:2012:DKB% }. \NAMECITE{Kernel}{% Aubry:2014:KCI,% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Ortegaray:2021:HKA,% Punitha:2015:SKN% }. \NAMECITE{Kernels}{% Karpov:2022:DLA% }. \NAMECITE{Key}{% Bulygin:2010:OSS,% Romanczuk:2012:FGL% }. \NAMECITE{Kids}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Kind}{% daRocha:2021:CPB% }. \NAMECITE{Kinds}{% Prank:2020:ACE% }. \NAMECITE{Kinetic}{% Ganzha:2008:ESH% }. \NAMECITE{{Kleisli}}{% Ekici:2020:MLC% }. \NAMECITE{Knowledge}{% Aladova:2013:IMK,% Autexier:2008:OTP,% Autexier:2010:FSI,% Chen:2013:FSF,% Chen:2013:FSG,% Guidi:2016:SRM,% Oldenburg:2017:TRB,% Orgun:2008:KRR,% Quaresma:2020:ADK% }. \NAMECITE{Krull}{% Levin:2010:DPI% }. \NAMECITE{Krull-type}{% Levin:2010:DPI% }. \NAMECITE{{Kummer}}{% Duquesne:2010:TGL% }. \NAMECITE{{Kutta}}{% Kohlwey:2019:HEE% }. \NAMECITE{Labeling}{% Akram:2016:PFL,% Chaudhuri:2011:ISS,% Lu:2018:ALL,% Paul:2015:LPB,% Phanalasy:2011:CAL,% Siddiqui:2013:FAL% }. \NAMECITE{Labelings}{% Ali:2013:MLT,% Baca:2013:SFA,% Baca:2015:ALJ,% Ichishima:2010:PLG% }. \NAMECITE{Labelling}{% Brankovic:2011:GLS% }. \NAMECITE{Labor}{% Mota:2021:EEB% }. \NAMECITE{{Lambert}}{% Jeffrey:2017:BSI% }. \NAMECITE{{Lanczos}}{% Trindade:2016:TLM% }. \NAMECITE{Landscapes}{% Albrecht:2010:ALS% }. \NAMECITE{{Lane}}{% Ekici:2020:MLC% }. \NAMECITE{Language}{% Altamimi:2008:MQL,% Shu:2021:PIE% }. \NAMECITE{Languages}{% Charalambidis:2008:EII,% James:2014:EFM% }. \NAMECITE{Large}{% Klisowski:2012:CCP,% Romanczuk:2012:FGL,% Stamerjohanns:2010:TLC% }. \NAMECITE{Larger}{% Minzlaff:2010:CZF% }. \NAMECITE{Latin}{% Falcon:2020:UCD% }. \NAMECITE{Lattice}{% Mansour:2021:CLP,% Manuel:2015:SMD,% Srivastava:2023:HLB% }. \NAMECITE{Lattices}{% Jurrius:2012:TFI% }. \NAMECITE{Law}{% Duquesne:2010:TGL% }. \NAMECITE{Layout}{% Rajasingh:2015:LLD% }. \NAMECITE{Lazy}{% Charalambidis:2008:EII% }. \NAMECITE{Learn}{% Durcheva:2019:HUC% }. \NAMECITE{Learning}{% Durcheva:2017:ACT,% Huang:2019:UML,% Ovodenko:2019:UDT% }. \NAMECITE{{Lebesgue}}{% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Legs}{% Berkemer:2015:SCR% }. \NAMECITE{{Lempel}}{% Chen:2008:LZF% }. \NAMECITE{Length}{% Chen:2017:AOR,% Mertzios:2010:PSE% }. \NAMECITE{Less}{% Chen:2008:LZF,% Chen:2017:AOR% }. \NAMECITE{Level}{% Kumkov:2014:LSV,% Roanes-Lozano:2023:CBM% }. \NAMECITE{Lexicographic}{% Lu:2018:ALL% }. \NAMECITE{Libraries}{% Bouche:2010:DML% }. \NAMECITE{Library}{% Boldo:2015:CUF,% Noschinski:2015:GLI,% Siggel:2019:TOS,% Zamlynska:2010:EMC% }. \NAMECITE{Lie}{% Wintraecken:2015:OTC,% Escobar:2016:CLA,% Marcolli:2015:GGI% }. \NAMECITE{Light}{% Boissonnat:2010:TSS,% Kaliszyk:2015:HHO% }. \NAMECITE{Lightweight}{% Karkkainen:2017:ELE% }. \NAMECITE{{Likert}}{% Galan-Garcia:2017:GAA% }. \NAMECITE{Limitation}{% Kulekci:2010:BNB% }. \NAMECITE{line}{% BenNsira:2017:LSM% }. \NAMECITE{Linear}{% Barkatou:2010:MMM,% Bethencourt:2014:SNL,% Borges-Quintana:2018:WOI,% Boudellioua:2010:SRL,% Brehard:2021:SNV,% Cheviakov:2010:SCL,% Damm:2011:PPV,% Horn:2012:MFH,% Jia:2021:LEK,% Mohammadi:2021:SBA,% Plesken:2010:LDE,% Rajasingh:2011:LWF,% Rajasingh:2015:LLD,% Rohn:2014:VLD,% Shemyakova:2007:PFS,% Shemyakova:2010:RTF,% Solin:2021:SPI,% Evgrafov:2020:DPE% }. \NAMECITE{Lines}{% Adamou:2021:CTV,% Orgun:2008:QHD% }. \NAMECITE{Linkage}{% Falcon:2020:UCD% }. \NAMECITE{Liquid}{% Srivastava:2023:HLB% }. \NAMECITE{Local}{% Albrecht:2010:ALS,% Alcazar:2009:GLB,% Cheviakov:2010:SCL,% Hellmuth:2009:LAP,% Hellmuth:2013:PSP,% Lichtblau:2016:FOP,% Ohara:2019:ACG,% Peters:2013:LNS,% Retzlaff:2018:PLM,% Tiskin:2008:SLS% }. \NAMECITE{Localization}{% Ishihara:2022:ELP,% Seddik:2014:PBL% }. \NAMECITE{Locally}{% Cada:2011:NDC% }. \NAMECITE{Location}{% Schreck:2016:CCT,% Sekigawa:2007:LPC% }. \NAMECITE{Locus}{% Blazek:2019:LCD,% Kovacs:2019:ACA% }. \NAMECITE{Logic}{% Akram:2013:IFL,% Kruglov:2012:SDF,% Orgun:2008:KRR,% Seiler:2021:LBA% }. \NAMECITE{Logical}{% Sturm:2009:IAL% }. \NAMECITE{Longest}{% Hasan:2017:PSA% }. \NAMECITE{Look}{% Wang:2012:CBR% }. \NAMECITE{Look-Ahead}{% Wang:2012:CBR% }. \NAMECITE{Loose}{% Fujita:2010:LCG% }. \NAMECITE{Loss}{% Davenport:2017:WDL% }. \NAMECITE{Lossless}{% Cinque:2010:SCP% }. \NAMECITE{{Lotka}}{% Hussein:2017:GII% }. \NAMECITE{Low}{% Cinque:2010:SCP,% Karpov:2022:DLA,% Sun:2007:SLR,% Tischler:2017:FAC% }. \NAMECITE{Low-Artifact}{% Karpov:2022:DLA% }. \NAMECITE{Low-Complexity}{% Cinque:2010:SCP% }. \NAMECITE{{LTL}}{% Suda:2015:VCE% }. \NAMECITE{{Lucid}}{% Orchard:2008:ILD,% Plaice:2008:LTI% }. \NAMECITE{Lumping}{% Mendes:2018:PCM% }. \NAMECITE{{Lyapunov}}{% Kumar:2015:LBC,% Liu:2012:ADR% }. \NAMECITE{{Lyapunov}-Based}{% Kumar:2015:LBC% }. \NAMECITE{{MAAOR}}{% Mendes:2018:PCM% }. \NAMECITE{{Mac}}{% Ekici:2020:MLC% }. \NAMECITE{Machine}{% Huang:2019:UML,% Prokopenya:2017:MSA,% Radzevich:2012:DKB% }. \NAMECITE{Machining}{% Li:2012:DIG,% Radzevich:2012:DKB% }. \NAMECITE{Magic}{% Ali:2013:MLT,% Lopez:2011:SEM,% Sugeng:2011:CVM% }. \NAMECITE{Malicious}{% DiCrescenzo:2020:ESD% }. \NAMECITE{Management}{% Autexier:2010:FSI,% Quaresma:2020:ADK% }. \NAMECITE{Mandala}{% Morikawa:2010:DBE% }. \NAMECITE{Manufacturing}{% Iwane:2011:SNA% }. \NAMECITE{Many}{% Pommaret:2022:HMS% }. \NAMECITE{{Maple}}{% Almech:2020:AGD,% Chen:2022:FMP,% Durcheva:2019:HUC% }. \NAMECITE{Mappings}{% Mohammadi:2021:SBA% }. \NAMECITE{Maps}{% Almech:2020:AGD,% Romanczuk:2012:FGL,% Romanovski:2007:BPP% }. \NAMECITE{Market}{% Mota:2021:EEB% }. \NAMECITE{{Markov}}{% Duzhin:2017:MAC,% Lebedev:2019:MCQ% }. \NAMECITE{{Markovian}}{% Sivaselvan:2016:IMQ% }. \NAMECITE{Markup}{% Kohlhase:2008:ULS% }. \NAMECITE{Masses}{% Minglibayev:2017:TBP,% Minglibayev:2020:CPT% }. \NAMECITE{Matching}{% Banerjee:2008:EAV,% BenNsira:2017:LSM,% Iliopoulos:2008:NAP,% Kulekci:2010:BNB,% Muhshi:2015:MSR% }. \NAMECITE{Matching-Star}{% Muhshi:2015:MSR% }. \NAMECITE{Math}{% Altamimi:2008:MQL,% Youssef:2008:RRH% }. \NAMECITE{{Mathematica}}{% Prokopenya:2017:MSA,% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Mathematical}{% Aly:2008:ISS,% Autexier:2008:OTP,% Autexier:2010:FSI,% Cohen:2010:MCI,% Fujiyoshi:2010:GVM,% Guidi:2016:SRM,% Mijajlovic:2010:DME,% Shao:2016:CTP,% Vlachakis:2021:MMM,% Zamlynska:2010:EMC% }. \NAMECITE{Mathematics}{% Aggarwal:2021:XBF,% Bouche:2010:DML,% Chen:2013:FSF,% Durcheva:2017:ACT,% Kotsireas:2017:MCS,% Li:2012:FSF,% Raggi:2016:ACR,% Thery:2015:FSF% }. \NAMECITE{{MathML}}{% Kohlhase:2012:SOM% }. \NAMECITE{Matrices}{% Acevedo:2018:RDS,% Alvarez:2018:MHG,% Bruzda:2018:ESC,% Chan:2019:MHC,% Lundqvist:2012:MMI,% Matos:2021:EFI,% Rajchel:2018:RHM,% Romanczuk:2012:FGL,% Winterhof:2018:NES% }. \NAMECITE{Matrix}{% Corless:2007:PMP,% Feinsilver:2007:IAF,% Gillespie:2018:COA,% Middeke:2021:CFF,% Sun:2007:SLR% }. \NAMECITE{Matroids}{% Jurrius:2012:TFI% }. \NAMECITE{{Maude}}{% Alpuente:2020:ESE% }. \NAMECITE{{Max}}{% Li:2013:TPM% }. \NAMECITE{Maximin}{% ONeal:2011:ICO% }. \NAMECITE{{McEliece}}{% Otmani:2010:CTM% }. \NAMECITE{{MDS}}{% Sari:2020:DCS% }. \NAMECITE{Mean}{% Davenport:2017:WDL,% Sarafian:2017:ACA% }. \NAMECITE{Mean-Value}{% Sarafian:2017:ACA% }. \NAMECITE{Meandering}{% Panayotopoulos:2015:PMC% }. \NAMECITE{Meandric}{% Panayotopoulos:2020:MC% }. \NAMECITE{Means}{% Karpov:2022:DLA,% Perminov:2020:IHD,% Sakar:2019:BIC,% Wang:2013:GKM% }. \NAMECITE{Measurable}{% Man:2015:CMA% }. \NAMECITE{Measure}{% Henry:2013:MFN,% Wojas:2020:FSD% }. \NAMECITE{Mechanical}{% Boldo:2011:FVN,% Botana:2021:MG% }. \NAMECITE{Mechanics}{% Todd:2020:SAD% }. \NAMECITE{Mechanisms}{% Falcon:2020:UCD% }. \NAMECITE{{mega}}{% Autexier:2008:OTP% }. \NAMECITE{Membership}{% Brysiewicz:2020:NSC,% Nabeshima:2019:SPI,% Ravanbod:2014:DSM% }. \NAMECITE{Membrane}{% Mahmood:2016:MCE% }. \NAMECITE{Memories}{% Wester:2022:MVG% }. \NAMECITE{Memory}{% Karkkainen:2017:ELE,% Tischler:2017:FAC,% Wang:2022:SNR,% daSilva:2020:VCG% }. \NAMECITE{Mesh}{% Talwar:2015:SSA% }. \NAMECITE{Messages}{% Chhade:2014:NPD% }. \NAMECITE{Method}{% Adak:2021:CVE,% Artinescu:2018:SCA,% Barkatou:2010:MMM,% Benjamin:2019:APS,% Boulier:2009:TAR,% Brehard:2021:SNV,% Gavina:2016:IAC,% Karsenty:2019:CAC,% Maiga:2014:CVZ,% Matos:2018:SDI,% Perminov:2020:IHD,% Srivastava:2023:HLB,% Todd:2020:SDG,% Trindade:2016:TLM,% Trindade:2018:DFC,% Urban:2008:ABC,% Yang:2017:STR,% Zhang:2007:NMR% }. \NAMECITE{Methodology}{% Sandretto:2014:IMM% }. \NAMECITE{Methods}{% Aksim:2020:EAB,% Edneral:2020:NOS,% Ferras:2021:HOM,% Gutnik:2022:CAM,% Ilie:2009:CCE,% James:2014:EFM,% Khattri:2011:OEO,% Kohlwey:2019:HEE,% Li:2011:SAD,% Mendes:2018:PCM,% Rauh:2014:IMR,% Roanes-Lozano:2013:GRG,% Sandretto:2014:IMM% }. \NAMECITE{Metric}{% Henry:2013:MFN,% Manuel:2015:SMD% }. \NAMECITE{Metrics}{% DiConcilio:2013:PFG% }. \NAMECITE{Microarray}{% Giancarlo:2008:TCC% }. \NAMECITE{Middle}{% Fischer:2010:FRM% }. \NAMECITE{{Miller}}{% Badia:2018:EPM,% Ryan:2018:BSC% }. \NAMECITE{Min}{% Li:2013:TPM% }. \NAMECITE{Minded}{% Schneider:2021:AMP% }. \NAMECITE{Minima}{% Fischer:2010:FRM% }. \NAMECITE{Minimal}{% Chan:2019:MHC,% Muhshi:2015:MSR% }. \NAMECITE{Minimax}{% ONeal:2011:ICO% }. \NAMECITE{Minimum}{% Ferdous:2017:SMC,% Mahmood:2016:MCE,% Nishat:2011:VDP% }. \NAMECITE{{Minkowski}}{% Emiris:2017:AMS% }. \NAMECITE{{MINLP}}{% Patil:2014:IBG% }. \NAMECITE{Mirka}{% Badia:2018:EPM,% Ryan:2018:BSC% }. \NAMECITE{{Mirroring}}{% Elden:2013:CSC% }. \NAMECITE{Mismatch}{% Apostolico:2008:SUW% }. \NAMECITE{Mixed}{% Alvarez:2018:MHG,% Ralha:2018:MPB% }. \NAMECITE{Mixture}{% Cruz:2013:SNC% }. \NAMECITE{{Mizar}}{% Urban:2008:ABC% }. \NAMECITE{{M{\"o}bius}}{% Jurrius:2012:RBM% }. \NAMECITE{Mode}{% Senkel:2014:SMT% }. \NAMECITE{Model}{% Allali:2018:AOC,% Ammi:2021:GSC,% Boulier:2011:MRC,% Cruz:2013:SNC,% Ganzha:2008:ESH,% Pikkarainen:2009:BMR,% Sandretto:2014:IMM,% Silva:2021:SSO,% Sivaselvan:2016:IMQ% }. \NAMECITE{Modeling}{% Duzhin:2017:MAC,% Karsenty:2019:CAC% }. \NAMECITE{Modelled}{% Bujnowski:2023:ETP% }. \NAMECITE{Modelling}{% Vlachakis:2021:MMM% }. \NAMECITE{Models}{% Aladova:2013:IMK,% Boulier:2009:TAR,% ElKahoui:2009:SDF,% Li:2011:SAD,% Lopez:2011:SEM% }. \NAMECITE{Modified}{% Kozera:2019:MHI,% Kozera:2020:NMH% }. \NAMECITE{Modular}{% Decker:2020:MTN,% Marquez-Corbella:2012:DMC,% Noro:2018:UMT% }. \NAMECITE{Module}{% Andres:2010:CMT% }. \NAMECITE{Modules}{% Bavula:2020:CSM,% Furst:2017:RRB,% Tajima:2023:CHM% }. \NAMECITE{Moduli}{% Ren:2014:TCM% }. \NAMECITE{Molecules}{% Bowers:2016:GUM% }. \NAMECITE{Monochromatic}{% Cinque:2013:BIC% }. \NAMECITE{Monodromy}{% Bates:2014:UMA% }. \NAMECITE{Monomial}{% Barkatou:2010:MMM% }. \NAMECITE{Monomial-by-Monomial}{% Barkatou:2010:MMM% }. \NAMECITE{{Moon}}{% Aksim:2020:EAB% }. \NAMECITE{{Moore}}{% Conde:2015:NAM% }. \NAMECITE{Motifs}{% Abbass:2013:EAI% }. \NAMECITE{Motion}{% Li:2013:TPM,% Perminov:2020:IHD,% Prokopenya:2017:MSA% }. \NAMECITE{Motions}{% Dorst:2016:CCM,% Gutnik:2022:CAM% }. \NAMECITE{Motivating}{% Schneider:2021:AMP% }. \NAMECITE{{Moulton}}{% Aksim:2020:EAB% }. \NAMECITE{Moving}{% Gutnik:2021:SCE,% Gutnik:2022:CAM% }. \NAMECITE{Multi}{% Iwane:2011:SNA,% Lebedev:2019:MCQ,% Radzevich:2012:DKB,% Retzlaff:2018:PLM,% Wang:2013:GKM% }. \NAMECITE{Multi-Axis}{% Radzevich:2012:DKB% }. \NAMECITE{Multi-channel}{% Lebedev:2019:MCQ% }. \NAMECITE{Multi-Granulations}{% Wang:2013:GKM% }. \NAMECITE{Multi-Objective}{% Iwane:2011:SNA% }. \NAMECITE{Multi-way}{% Retzlaff:2018:PLM% }. \NAMECITE{Multidimensional}{% Emiris:2017:AMS,% Vlachakis:2021:MMM% }. \NAMECITE{Multilingual}{% Conley:2013:IAB% }. \NAMECITE{Multinomial}{% deLeon:2019:CBM% }. \NAMECITE{Multiple}{% Flizikowski:2023:SAN,% Koutschan:2021:CTM,% Kruff:2021:ARB,% Mota:2021:EEB,% Orgun:2008:QHD,% Sivaselvan:2016:IMQ% }. \NAMECITE{Multiplication}{% Lundqvist:2012:MMI,% Marcolli:2015:QCR% }. \NAMECITE{Multiplying}{% Bernal:2020:CAC% }. \NAMECITE{Multiprecision}{% Graillat:2011:SAM% }. \NAMECITE{Multitarget}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Multivariate}{% Chen:2022:FMP,% ElDin:2007:TSC,% Fukasaku:2019:MHQ,% Graillat:2007:PSR,% Levin:2020:MDD% }. \NAMECITE{Mutations}{% Chan:2008:NOC% }. \NAMECITE{My}{% Roanes-Lozano:2023:CBM% }. \NAMECITE{{Nanning}}{% Wang:2022:SNR% }. \NAMECITE{Nanoscale}{% Karsenty:2019:CAC% }. \NAMECITE{Nanotechnology}{% Karsenty:2019:CAC% }. \NAMECITE{{NC}}{% Radzevich:2012:DKB% }. \NAMECITE{Near}{% Dochviri:2016:TSF,% Henry:2013:SBP,% Peters:2013:LNS,% Peters:2013:NSI,% Ramanna:2013:FGA,% Winterhof:2018:NES,% Wolski:2013:TFN% }. \NAMECITE{Nearly}{% Winterhof:2018:NES% }. \NAMECITE{Nearness}{% Fashandi:2013:NCU,% Henry:2013:MFN,% Henry:2013:SBP,% Tiwari:2013:UCV,% Wang:2013:GKM% }. \NAMECITE{Necklace}{% Rajan:2015:ERC% }. \NAMECITE{Neighborhood}{% ONeal:2011:ICO,% Wang:2013:GKM% }. \NAMECITE{Neighbourhoods}{% Henry:2013:MFN% }. \NAMECITE{Network}{% Perez-Roses:2018:SYN,% Quadras:2015:DPC,% Sivaselvan:2016:IMQ% }. \NAMECITE{Networking}{% Dana-Picard:2023:AEE% }. \NAMECITE{Networks}{% Bujnowski:2023:ETP,% Chaudhuri:2011:ISS,% Chen:2008:CSN,% Chhade:2014:NPD,% Fagerberg:2013:CRC,% Kruff:2021:ARB,% Lebedev:2019:MCQ,% Mabrouki:2011:EBR,% Rajan:2011:CRH,% Siebert:2009:DBB,% Silva:2021:SSO,% Sivagami:2016:CCN,% Tamura:2009:ASA% }. \NAMECITE{{Newton}}{% Brehard:2021:SNV,% Brysiewicz:2020:NSC,% DAndrea:2010:NPR,% Emiris:2010:CNP,% Hauenstein:2014:NPW% }. \NAMECITE{Noise}{% Benjamin:2019:APS% }. \NAMECITE{Non}{% Anashin:2012:NAT,% Andrei:2019:PBE,% Bethencourt:2014:SNL,% Chan:2008:NOC,% Chhade:2014:NPD,% Conceicao:2016:SCA,% Flizikowski:2023:SAN,% Hammack:2016:ANA,% Heuberger:2010:RAE,% Klein:2011:HCN,% Minglibayev:2020:CPT,% Tajima:2023:CHM,% Winterhof:2018:NES% }. \NAMECITE{Non-{Archimedean}}{% Anashin:2012:NAT% }. \NAMECITE{Non-Associativity}{% Hammack:2016:ANA% }. \NAMECITE{Non-existence}{% Winterhof:2018:NES% }. \NAMECITE{Non-isolated}{% Tajima:2023:CHM% }. \NAMECITE{Non-isotropically}{% Minglibayev:2020:CPT% }. \NAMECITE{Non-Linear}{% Bethencourt:2014:SNL% }. \NAMECITE{Non-Optimality}{% Heuberger:2010:RAE% }. \NAMECITE{Non-overlapping}{% Chan:2008:NOC% }. \NAMECITE{Non-preemptive}{% Andrei:2019:PBE% }. \NAMECITE{Non-Sorted}{% Klein:2011:HCN% }. \NAMECITE{Noncommutative}{% Decker:2020:MTN,% Marcolli:2012:CFN,% Rosenkranz:2013:NAO% }. \NAMECITE{Nonexistence}{% Conde:2015:NAM% }. \NAMECITE{Nonholonomic}{% Kumar:2015:LBC% }. \NAMECITE{Nonisomorphism}{% Cohen:2008:APG% }. \NAMECITE{Nonlinear}{% Cheviakov:2010:SCL,% Edneral:2020:NOS,% Gavina:2016:IAC,% Ichihara:2011:SQA,% Just:2014:SSB,% Maiga:2014:CVZ,% Mohammadi:2021:SBA,% Romanczuk:2012:FGL% }. \NAMECITE{Nonlocal}{% Dimovski:2010:OCA% }. \NAMECITE{Nonplanar}{% Tamura:2009:ASA% }. \NAMECITE{Nontrivial}{% Sarafian:2017:ACA% }. \NAMECITE{Nonuniform}{% Rana:2012:CCP% }. \NAMECITE{{Nori}}{% Manin:2020:NDP% }. \NAMECITE{Normal}{% Boulier:2010:NFA,% Edneral:2020:NOS% }. \NAMECITE{Note}{% Cada:2011:NDC,% Crnkovic:2018:NST,% Kozera:2020:NMH,% Roanes-Lozano:2017:BNA% }. \NAMECITE{Nugis}{% Ceria:2022:NGJ% }. \NAMECITE{Number}{% Bommanahal:2011:PGC,% Cruz:2013:SNC,% Durcheva:2019:HUC,% Morig:2010:DIG,% Punitha:2015:SKN,% Spahn:2022:ESG% }. \NAMECITE{Numbers}{% Nabeshima:2019:SPI,% Trefethen:2007:CNF% }. \NAMECITE{Numeric}{% Brehard:2021:SNV,% Iwane:2011:SNA,% Kim:2017:RTO,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF% }. \NAMECITE{Numerical}{% Aksim:2020:EAB,% Boldo:2011:FVN,% Braun:2020:NAV,% Brysiewicz:2020:NSC,% Gu:2007:UCA,% Takato:2020:UOS% }. \NAMECITE{Numerically}{% Trefethen:2007:CNF% }. \NAMECITE{{NURBS}}{% Wang:2012:CBR% }. \NAMECITE{Object}{% Orchard:2008:ILD% }. \NAMECITE{Object-Orientation}{% Orchard:2008:ILD% }. \NAMECITE{Objective}{% Iwane:2011:SNA% }. \NAMECITE{Objects}{% Aurenhammer:2012:CCH,% Bercic:2020:DFD,% Chen:2013:FSG,% Lewis:2020:IAI% }. \NAMECITE{Oblivious}{% Hasan:2010:COA% }. \NAMECITE{Obtaining}{% Bulygin:2010:OSS% }. \NAMECITE{Odd}{% Bouyuklieva:2020:BIC,% Laurian:2022:FBW% }. \NAMECITE{{ODE}}{% Boulier:2009:TAR% }. \NAMECITE{{ODEs}}{% Brehard:2021:SNV,% Cano:2021:ARP% }. \NAMECITE{Off}{% Talwar:2015:SSA% }. \NAMECITE{Off-Step}{% Talwar:2015:SSA% }. \NAMECITE{Offsets}{% Alcazar:2009:GLB,% Dana-Picard:2021:EOT,% Dana-Picard:2023:AEE% }. \NAMECITE{{Olympiad}}{% Shao:2016:CTP% }. \NAMECITE{On-line}{% BenNsira:2017:LSM% }. \NAMECITE{One}{% Bommanahal:2011:PGC,% Cano:2021:ARP,% Chen:2017:AOR,% Escobar:2018:NOP,% Kumkov:2014:LSV% }. \NAMECITE{One-Parameter}{% Escobar:2018:NOP% }. \NAMECITE{ones}{% Kovacs:2021:TAC% }. \NAMECITE{Online}{% Kaliszyk:2015:HHO% }. \NAMECITE{Only}{% Bulygin:2010:OSS% }. \NAMECITE{Open}{% ONeal:2011:ICO,% Siggel:2019:TOS% }. \NAMECITE{{OpenMath}}{% Davenport:2008:FEO,% Kohlhase:2012:SOM% }. \NAMECITE{Operational}{% Dimovski:2010:OCA,% Matos:2021:EFI,% Rosenkranz:2013:NAO% }. \NAMECITE{Operations}{% Hagemann:2015:EGO,% Kutzelnigg:2010:IVC,% Noro:2018:UMT% }. \NAMECITE{Operator}{% Conceicao:2016:SCA,% Shemyakova:2010:RTF% }. \NAMECITE{Operators}{% Conceicao:2016:ESS,% Conceicao:2021:SCA,% Hofstadler:2022:CEC,% Kasman:2010:FRP,% Levin:2019:BDQ,% Shemyakova:2007:PFS,% Zhou:2007:CGB% }. \NAMECITE{optic}{% Karsenty:2019:CAC% }. \NAMECITE{Optical}{% Khan-Afshar:2014:FAO% }. \NAMECITE{Optimal}{% Allali:2018:AOC,% Heule:2019:OSB,% Khattri:2011:OEO,% Li:2013:TPM,% Mertzios:2010:OAF,% Rachah:2016:DOC,% Wintraecken:2015:OTC% }. \NAMECITE{Optimality}{% Heuberger:2010:RAE% }. \NAMECITE{Optimising}{% Eibach:2010:OGB% }. \NAMECITE{Optimization}{% Gu:2007:UCA,% Iwane:2011:SNA,% Patil:2014:IBG% }. \NAMECITE{Optimizing}{% Gandy:2011:OPR% }. \NAMECITE{Orbit}{% Aksim:2020:EAB,% Gutnik:2021:SCE% }. \NAMECITE{Order}{% Aydogan:2019:CFC,% Beuchler:2022:RQH,% Borges-Quintana:2018:WOI,% Bouyuklieva:2020:BIC,% Falkensteiner:2020:SFO,% Ferras:2021:HOM,% Jakubuv:2020:RWP,% Khattri:2011:OEO,% Kim:2017:RTO,% Kleine:2018:EDI,% Kruglov:2012:SDF,% Lichtblau:2016:FOP,% Nahay:2012:TOI,% Romanczuk:2012:FGL,% Shemyakova:2010:RTF,% Stoichev:2023:UPP,% Shemyakova:2007:PFS% }. \NAMECITE{Ordinary}{% Braun:2020:NAV,% Cheviakov:2010:SCL,% Falkensteiner:2020:SFO,% Ferras:2021:HOM,% Seiler:2021:LBA% }. \NAMECITE{{Ore}}{% Bavula:2020:CSM% }. \NAMECITE{Organization}{% Autexier:2008:OTP,% Silva:2021:SSO% }. \NAMECITE{Orientation}{% Orchard:2008:ILD% }. \NAMECITE{Orientations}{% Gutnik:2021:SCE% }. \NAMECITE{Oriented}{% Punitha:2015:SKN% }. \NAMECITE{Orthogonal}{% Mesquita:2021:OPS,% Flizikowski:2023:SAN% }. \NAMECITE{Oscillations}{% Edneral:2020:NOS% }. \NAMECITE{Oscillator}{% Lee:2010:POS% }. \NAMECITE{{Oshima}}{% Takato:2020:UOS% }. \NAMECITE{Other}{% Ichishima:2011:POR% }. \NAMECITE{Outer}{% Gillespie:2018:COA,% Rego:2014:DIO,% Wojas:2020:FSD% }. \NAMECITE{Output}{% Takato:2020:UOS% }. \NAMECITE{Overcoming}{% Kulekci:2010:BNB% }. \NAMECITE{Overlap}{% DiConcilio:2018:DPP% }. \NAMECITE{overlapping}{% Chan:2008:NOC% }. \NAMECITE{Overthrow}{% Roanes-Lozano:2013:GRG% }. \NAMECITE{Oxide}{% Rauh:2014:IMR% }. \NAMECITE{P}{% Kotsireas:2022:PRP% }. \NAMECITE{Paced}{% Solin:2021:SPI% }. \NAMECITE{Pagenumber}{% Tanaka:2010:PCC% }. \NAMECITE{{PageRank}}{% Mendes:2018:PCM% }. \NAMECITE{Paired}{% Conceicao:2021:SCA% }. \NAMECITE{Pairing}{% Laurian:2022:FBW,% Miret:2018:PBC% }. \NAMECITE{Pairing-Based}{% Miret:2018:PBC% }. \NAMECITE{Pairwise}{% Benjamin:2019:APS% }. \NAMECITE{Palindromic}{% Hasan:2017:PSA% }. \NAMECITE{Paradigm}{% Orchard:2008:ILD,% Vlachakis:2017:APA% }. \NAMECITE{Parallel}{% Adamou:2021:CTV,% Cinque:2010:SCP,% Kulekci:2010:BNB,% Cinque:2013:BIC% }. \NAMECITE{Parameter}{% Escobar:2018:NOP,% Escobar:2021:INT,% Kleine:2018:EDI,% Senkel:2014:SMT% }. \NAMECITE{Parameter-Order}{% Kleine:2018:EDI% }. \NAMECITE{Parameterization}{% Bastl:2014:PRR,% Kozera:2019:MHI,% Yang:2010:EBA% }. \NAMECITE{Parameters}{% Quadras:2015:DPC,% Shu:2017:SSC% }. \NAMECITE{Parametric}{% Berberich:2010:APSa,% Berberich:2010:APSb,% Chhade:2014:NPD,% Damm:2011:PPV,% Dana-Picard:2017:FIB,% Maza:2012:SPP,% Nabeshima:2019:SPI,% Shemyakova:2007:PFS,% Siggel:2019:TOS,% Yang:2010:EBA% }. \NAMECITE{Parametrizations}{% Perez-Diaz:2013:BFB% }. \NAMECITE{Parametrized}{% Lichtblau:2016:FOP% }. \NAMECITE{Partial}{% Cheviakov:2010:SCL,% Falcon:2020:UCD,% Hellmuth:2013:PSP,% Kasman:2010:FRP,% Shemyakova:2007:PFS,% Shemyakova:2010:RTF% }. \NAMECITE{Partially}{% Retzlaff:2018:PLM% }. \NAMECITE{Particles}{% Chhade:2014:NPD% }. \NAMECITE{Particular}{% Gandy:2011:OPR% }. \NAMECITE{Partition}{% Ferdous:2017:SMC,% Sethuraman:2015:CPT% }. \NAMECITE{Partitional}{% Ichishima:2010:PLG,% Ichishima:2011:POR% }. \NAMECITE{Partitioning}{% Baumgart:2010:PBG,% Elden:2013:CSC,% Panayotopoulos:2015:PMC% }. \NAMECITE{Passengers}{% Schneider:2021:AMP% }. \NAMECITE{Path}{% Batra:2010:GCI,% Jakubuv:2020:RWP,% Kim:2020:PSP,% Li:2012:PSS,% Mertzios:2010:OAF% }. \NAMECITE{Path-Following}{% Batra:2010:GCI% }. \NAMECITE{Pattern}{% Cinque:2013:BIC,% Giancarlo:2008:TCC,% Iliopoulos:2008:NAP,% Kulekci:2010:BNB,% Peters:2013:LNS% }. \NAMECITE{Patterns}{% Heras:2014:RPP,% Mansour:2019:PPC% }. \NAMECITE{{PBD}}{% Crnkovic:2018:NST% }. \NAMECITE{{PBW}}{% Tajima:2023:CHM% }. \NAMECITE{{PDE}}{% Mohammadi:2021:SBA% }. \NAMECITE{Pendulum}{% Edneral:2020:NOS% }. \NAMECITE{Perceptual}{% Henry:2013:SBP% }. \NAMECITE{Perfect}{% Acevedo:2018:RDS,% Winterhof:2018:NES% }. \NAMECITE{Performance}{% Siegel:2011:FFE% }. \NAMECITE{Periodic}{% Romanovski:2007:BPP% }. \NAMECITE{Permutation}{% Mansour:2019:PPC,% Paul:2015:LPB% }. \NAMECITE{Persistent}{% Manin:2020:NDP,% Port:2018:PTS% }. \NAMECITE{Personal}{% Kotsireas:2022:PRP% }. \NAMECITE{Perspective}{% Kagan:2019:PPR,% Roanes-Lozano:2019:SRA% }. \NAMECITE{Perturbation}{% Ganzha:2008:ESH,% Lichtblau:2016:FOP% }. \NAMECITE{Perturbations}{% Minglibayev:2020:CPT% }. \NAMECITE{Perturbed}{% daRocha:2021:CPB% }. \NAMECITE{Phase}{% Lee:2010:POS,% Manin:2011:ECC,% Seddik:2014:PBL,% Srivastava:2023:HLB% }. \NAMECITE{Phylogenetics}{% Shu:2021:PIE% }. \NAMECITE{Physics}{% Kagan:2019:PPR% }. \NAMECITE{{Picard}}{% Brehard:2021:SNV% }. \NAMECITE{Piecewise}{% Aurenhammer:2012:CCH% }. \NAMECITE{Pipelines}{% Vlachakis:2021:MMM% }. \NAMECITE{{Piranha}}{% Perminov:2020:IHD% }. \NAMECITE{Pivoting}{% Faugere:2011:PER% }. \NAMECITE{Places}{% Falkensteiner:2020:SFO% }. \NAMECITE{Planar}{% Falcon:2020:UCD,% Kumar:2015:LBC,% Siluszyk:2017:CCC,% Tamura:2009:ASA% }. \NAMECITE{Plane}{% Cheng:2010:TRA,% DAndrea:2010:NPR,% Dana-Picard:2020:EIF,% Dana-Picard:2021:EOT,% ElKahoui:2014:ACA,% Nishat:2011:VDP,% Shemyakova:2007:PFS% }. \NAMECITE{Planes}{% Stoichev:2023:UPP% }. \NAMECITE{Planetary}{% Minglibayev:2020:CPT,% Perminov:2020:IHD% }. \NAMECITE{Planning}{% Gasparetto:2012:TPR% }. \NAMECITE{Plans}{% James:2014:EFM% }. \NAMECITE{Plates}{% Maia:2016:TDC% }. \NAMECITE{{Plick}}{% Bommanahal:2011:PGC% }. \NAMECITE{Point}{% DiConcilio:2013:PFG,% Kosub:2008:DRF,% Nabeshima:2021:TZD,% Ovodenko:2019:UDT% }. \NAMECITE{Point-Free}{% DiConcilio:2013:PFG% }. \NAMECITE{Points}{% Mansour:2021:CLP,% Perez-Diaz:2013:BFB,% Romanovski:2007:BPP,% daRocha:2021:CPB% }. \NAMECITE{Polar}{% Akram:2016:PFL% }. \NAMECITE{{Polish}}{% Zamlynska:2010:EMC% }. \NAMECITE{Polygon}{% DAndrea:2010:NPR,% Emiris:2010:CNP% }. \NAMECITE{Polygons}{% Emiris:2017:AMS,% Kovacs:2020:ADI% }. \NAMECITE{Polyhedra}{% Hagemann:2015:EGO% }. \NAMECITE{Polymerase}{% Vlachakis:2017:APA% }. \NAMECITE{Polynomial}{% Bavula:2017:QGW,% Boulier:2009:TAR,% Bremner:2014:HPF,% ElDin:2007:TSC,% Gandy:2011:OPR,% Ichihara:2011:SQA,% Juttler:2011:QCS,% Kapur:2009:ACG,% Lewis:2020:IAI,% Lichtblau:2019:APG,% Liu:2012:ADR,% Macedo:2018:SAG,% Maza:2012:SPP,% Mertzios:2010:PSE,% Mesquita:2021:OPS,% Nabeshima:2009:RGB,% Romanczuk:2012:FGL,% Sagraloff:2010:GAI,% Sakar:2019:BIC,% Sekigawa:2007:LPC,% Yang:2010:EBA% }. \NAMECITE{Polynomially}{% Mohammadi:2021:SBA% }. \NAMECITE{Polynomials}{% Adj:2018:STP,% Buse:2014:DSH,% Chan:2019:MHC,% Chen:2022:FMP,% Corless:2007:PMP,% Dey:2020:THR,% Evgrafov:2020:DPE,% Feinsilver:2007:IAF,% Graillat:2007:PSR,% Imbach:2021:CCZ,% Jiu:2020:CPZ,% Jurrius:2012:RBM,% Jurrius:2012:TFI,% Levin:2010:DPI,% Levin:2020:MDD,% Levin:2022:NTD,% Zhang:2007:NMR,% daRocha:2021:CPB,% Levin:2019:BDQ% }. \NAMECITE{Polyominoes}{% Mansour:2021:CCC% }. \NAMECITE{Polytope}{% Rajchel:2018:RHM% }. \NAMECITE{Polytopes}{% Hauenstein:2014:NPW,% Brysiewicz:2020:NSC% }. \NAMECITE{{Pommaret}}{% Hashemi:2021:IGA% }. \NAMECITE{Populations}{% McCaig:2009:IPS% }. \NAMECITE{Possible}{% Mancilla:2008:PWV% }. \NAMECITE{Potential}{% Sarafian:2017:ACA% }. \NAMECITE{Power}{% Li:2012:PSS,% Nabeshima:2019:SPI% }. \NAMECITE{Practical}{% Puglisi:2010:FPA% }. \NAMECITE{Practice}{% Gagie:2017:BGP% }. \NAMECITE{Pre}{% Wolski:2013:TFN% }. \NAMECITE{Pre-}{% Wolski:2013:TFN% }. \NAMECITE{Precision}{% Bates:2014:UMA,% Ralha:2018:MPB,% Rohn:2014:VLD% }. \NAMECITE{Preemptive}{% Mertzios:2010:PSE,% Andrei:2019:PBE% }. \NAMECITE{Prefix}{% Hladik:2014:ESC% }. \NAMECITE{Preservation}{% Mabrouki:2011:EBR% }. \NAMECITE{Primary}{% Ishihara:2022:ELP% }. \NAMECITE{Prime}{% Bouyuklieva:2020:BIC,% Hellmuth:2009:LAP,% Ishihara:2022:ELP% }. \NAMECITE{Principle}{% Li:2013:TPM% }. \NAMECITE{Principled}{% DosReis:2011:PCE% }. \NAMECITE{Prior}{% Cruz:2013:SNC% }. \NAMECITE{Privacy}{% Salas:2018:SBP% }. \NAMECITE{Probabilities}{% Yoshida:2008:IPS% }. \NAMECITE{Problem}{% Ferdous:2017:SMC,% Kim:2020:PSP,% Man:2015:CMA,% Minglibayev:2017:TBP,% Minglibayev:2020:CPT,% Rana:2012:CCP,% Schneider:2021:AMP,% Siluszyk:2017:CCC,% Sivan:2010:CCP,% Srivastava:2023:HLB,% Yang:2017:STR,% Zhu:2011:SSF% }. \NAMECITE{Problems}{% Banerjee:2008:EAV,% Bethencourt:2014:SNL,% Dimovski:2010:OCA,% Gavina:2016:IAC,% Hasan:2010:COA,% Heule:2019:OSB,% Kosub:2008:DRF,% Nabeshima:2019:SPI,% Patil:2014:IBG,% Rosenkranz:2013:NAO,% Schreck:2016:ACC,% Schreck:2016:CCT,% Shao:2016:CTP,% Sturm:2009:IAL,% Trindade:2016:TLM% }. \NAMECITE{Procedure}{% Fietzke:2012:SDP% }. \NAMECITE{Process}{% Duzhin:2017:MAC,% Gu:2007:UCA,% Lebedev:2019:MCQ,% McCaig:2009:IPS,% Patil:2014:IBG% }. \NAMECITE{Processor}{% Andrei:2019:PBE% }. \NAMECITE{Produce}{% Takato:2020:UOS% }. \NAMECITE{Producing}{% Ishihara:2022:ELP% }. \NAMECITE{Product}{% Hellmuth:2009:LAP,% Hellmuth:2013:PSP,% Lu:2018:ALL,% Phanalasy:2011:CAL% }. \NAMECITE{Products}{% Hammack:2016:ANA,% Hellmuth:2012:SHP,% Hellmuth:2013:PSP% }. \NAMECITE{{Prof.}}{% Kotsireas:2022:PRP% }. \NAMECITE{{Professor}}{% Badia:2018:EPM% }. \NAMECITE{Profiles}{% Vlachakis:2017:APA% }. \NAMECITE{Program}{% Alpuente:2020:ESE% }. \NAMECITE{Programming}{% Plaice:2008:LTI% }. \NAMECITE{Programs}{% Alpuente:2020:ESE,% Boldo:2011:FVN% }. \NAMECITE{Projection}{% Artinescu:2018:SCA% }. \NAMECITE{Projections}{% Perez-Diaz:2013:BFB% }. \NAMECITE{Projective}{% Lundqvist:2012:MMI,% Stoichev:2023:UPP% }. \NAMECITE{Projects}{% Macias-Virgos:2010:DPS% }. \NAMECITE{Proof}{% Aspinall:2010:THP,% Cohen:2008:APG,% Heras:2014:RPP% }. \NAMECITE{Proofs}{% Boldo:2011:FVN,% Li:2013:TPM,% Raggi:2016:ACR,% Thery:2015:FSF,% Urban:2008:ABC% }. \NAMECITE{Propagation}{% Autexier:2008:OTP% }. \NAMECITE{Propelinear}{% Armario:2018:QHF% }. \NAMECITE{Proper}{% Mertzios:2010:OAF% }. \NAMECITE{Properties}{% Acharya:2011:SHP,% Bera:2016:SPW,% Berkemer:2021:CPA,% Bujnowski:2023:ETP,% Cooper:2010:SFP,% Damm:2011:PPV,% DiConcilio:2018:DPP,% Hofstadler:2022:CEC,% Jiu:2020:CPZ,% Klisowski:2012:CCP,% Kovacs:2020:ADI% }. \NAMECITE{Property}{% Mabrouki:2011:EBR% }. \NAMECITE{Protected}{% Archibald:2022:PCC% }. \NAMECITE{Protein}{% Vlachakis:2017:APA% }. \NAMECITE{Protocols}{% Romanczuk:2012:FGL% }. \NAMECITE{Prove}{% Hofstadler:2022:CEC% }. \NAMECITE{Provers}{% Shao:2016:CTP% }. \NAMECITE{Provide}{% Vlachakis:2021:MMM% }. \NAMECITE{Proving}{% Botana:2016:UUT,% Brown:2022:CAR,% Hasek:2019:DGS,% Jakubuv:2020:RWP% }. \NAMECITE{Proximities}{% DiConcilio:2013:PFG,% DiConcilio:2018:DPP% }. \NAMECITE{Proximity}{% Peters:2013:LNS% }. \NAMECITE{Pseudo}{% Barkatou:2010:MMM% }. \NAMECITE{Pseudo-Linear}{% Barkatou:2010:MMM% }. \NAMECITE{Pseudospectra}{% Corless:2007:PMP% }. \NAMECITE{Pseudozero}{% Graillat:2007:PSR% }. \NAMECITE{Pseudozeros}{% Sekigawa:2007:LPC% }. \NAMECITE{{PTIME}}{% Damm:2011:PPV% }. \NAMECITE{Publications}{% Stamerjohanns:2010:TLC% }. \NAMECITE{{Puiseux}}{% Cano:2021:ARP% }. \NAMECITE{Pursuers}{% Kumkov:2014:LSV% }. \NAMECITE{Puzzles}{% Spahn:2022:ESG% }. \NAMECITE{{QE}}{% Fukasaku:2015:QAA,% Ichihara:2011:SQA% }. \NAMECITE{{QoS}}{% Barbosa:2012:CGQ% }. \NAMECITE{{QoS}-Aware}{% Barbosa:2012:CGQ% }. \NAMECITE{Quadratic}{% Fukasaku:2019:MHQ,% Juttler:2011:QCS,% Macedo:2018:SAG,% Mesquita:2021:OPS% }. \NAMECITE{Quadrilateral}{% Beuchler:2022:RQH% }. \NAMECITE{Qualification}{% Sandretto:2014:IMM% }. \NAMECITE{Quality}{% Choudhary:2020:CTG,% Takato:2020:UOS% }. \NAMECITE{Quantified}{% Hladik:2014:ESC% }. \NAMECITE{Quantifier}{% Hladik:2014:ESC,% Yoshida:2008:IPS% }. \NAMECITE{Quantum}{% Marcolli:2015:GGI,% Marcolli:2015:QCR,% Sari:2020:DCS% }. \NAMECITE{Quasi}{% Armario:2018:QHF,% DiConcilio:2013:PFG,% Evgrafov:2020:DPE,% Levin:2019:BDQ,% Otmani:2010:CTM% }. \NAMECITE{Quasi-Cyclic}{% Otmani:2010:CTM% }. \NAMECITE{Quasi-{Hadamard}}{% Armario:2018:QHF% }. \NAMECITE{Quasi-linear}{% Evgrafov:2020:DPE% }. \NAMECITE{Quasi-Metrics}{% DiConcilio:2013:PFG% }. \NAMECITE{Quasi-polynomials}{% Levin:2019:BDQ% }. \NAMECITE{Quaternion}{% Wang:2018:UDQ% }. \NAMECITE{Quaternionic}{% Acevedo:2018:RDS% }. \NAMECITE{Query}{% Altamimi:2008:MQL% }. \NAMECITE{Querying}{% Orgun:2008:QHD% }. \NAMECITE{Questionnaire}{% Galan-Garcia:2017:GAA% }. \NAMECITE{Queueing}{% Lebedev:2019:MCQ,% Sivaselvan:2016:IMQ% }. \NAMECITE{Quiver}{% Bavula:2017:QGW% }. \NAMECITE{Quotient}{% Hashemi:2021:RGI% }. \NAMECITE{Radical}{% Janovitz-Freireich:2007:ARC% }. \NAMECITE{Radius}{% Rana:2012:CCP% }. \NAMECITE{Railway}{% James:2014:EFM,% Roanes-Lozano:2013:GRG,% Roanes-Lozano:2019:AAD% }. \NAMECITE{{Ramsey}}{% Muhshi:2015:MSR% }. \NAMECITE{Random}{% Cooper:2010:SFP,% Ganzha:2008:ESH% }. \NAMECITE{Randomized}{% Ghosh:2010:RAS% }. \NAMECITE{Range}{% Fischer:2010:FRM% }. \NAMECITE{Rank}{% Sun:2007:SLR% }. \NAMECITE{{Rankin}}{% Farrington:2017:SCR% }. \NAMECITE{Ranking}{% Youssef:2008:RRH% }. \NAMECITE{Rate}{% Ammi:2021:GSC% }. \NAMECITE{Rates}{% Minglibayev:2017:TBP,% Minglibayev:2020:CPT% }. \NAMECITE{Rational}{% Bastl:2014:PRR,% Cano:2021:ARP,% DAndrea:2010:NPR,% Finkel:2008:WDI,% Huang:2012:RGS% }. \NAMECITE{Rays}{% Rajchel:2018:RHM% }. \NAMECITE{Reachability}{% Hagemann:2015:EGO,% Maiga:2014:CVZ% }. \NAMECITE{Reachable}{% Rego:2014:DIO% }. \NAMECITE{Reaction}{% Boulier:2009:TAR,% Boulier:2011:MRC,% Fagerberg:2013:CRC% }. \NAMECITE{Ready}{% Brown:2022:CAR% }. \NAMECITE{Real}{% Boldo:2015:CUF,% Cheng:2010:TRA,% Collins:2011:VRF,% Dey:2020:THR,% Gandy:2011:OPR,% Graillat:2007:PSR,% Kovacs:2017:RTA,% Marcolli:2015:QCR,% Morig:2010:DIG,% Rauh:2014:IMR,% Seiler:2021:LBA,% Wang:2012:CBR,% Zhang:2007:NMR,% Kovacs:2021:TAC% }. \NAMECITE{Real-Time}{% Rauh:2014:IMR,% Wang:2012:CBR,% Kovacs:2017:RTA% }. \NAMECITE{Reasonable}{% Damm:2011:PPV% }. \NAMECITE{Reasoning}{% Chatterjee:2014:ARS,% Orgun:2008:KRR% }. \NAMECITE{Recognition}{% Fujiyoshi:2010:GVM,% Hellmuth:2013:PSP% }. \NAMECITE{Recognized}{% Berkemer:2015:SCR% }. \NAMECITE{Recognizing}{% Grigoriev:2021:EER% }. \NAMECITE{Recollections}{% Kotsireas:2022:PRP% }. \NAMECITE{Reconstructing}{% Fagerberg:2013:CRC% }. \NAMECITE{Rectilinear}{% Li:2013:TPM% }. \NAMECITE{Recurrence}{% Horn:2012:MFH% }. \NAMECITE{Recurrences}{% Beuchler:2022:RQH% }. \NAMECITE{Recursive}{% Rajan:2015:ERC% }. \NAMECITE{Recycling}{% Heras:2014:RPP% }. \NAMECITE{Reduced}{% Nabeshima:2009:RGB% }. \NAMECITE{Reducibility}{% Selivanov:2008:WRI% }. \NAMECITE{Reduction}{% Boudellioua:2010:SRL,% Boulier:2009:TAR,% Boulier:2011:MRC,% Furst:2017:RRB,% Kruff:2021:ARB% }. \NAMECITE{Redundant}{% Abbott:2007:TRE,% Heuberger:2010:RAE% }. \NAMECITE{Refinement}{% Shemyakova:2010:RTF% }. \NAMECITE{Reflections}{% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:CBM,% Roanes-Lozano:2023:SRA% }. \NAMECITE{Reforms}{% Mota:2021:EEB% }. \NAMECITE{Regular}{% Barkatou:2010:MMM,% Boulier:2010:NFA,% Boulier:2021:SCT,% Dana-Picard:2019:ASR,% Kovacs:2020:ADI,% Nagar:2016:ECI,% Phanalasy:2011:CAL% }. \NAMECITE{Regularization}{% Yang:2017:STR% }. \NAMECITE{Regulatory}{% Mabrouki:2011:EBR% }. \NAMECITE{Related}{% Ichishima:2011:POR,% Indriati:2015:TEI% }. \NAMECITE{Relations}{% Finkel:2008:WDI,% Jurrius:2012:RBM,% Kim:2017:RTO% }. \NAMECITE{Relative}{% Acevedo:2018:RDS,% Furst:2017:RRB,% Hashemi:2021:RGI% }. \NAMECITE{Relator}{% Chen:2017:AOR% }. \NAMECITE{Relaxed}{% Jakubuv:2020:RWP,% Liu:2012:ADR% }. \NAMECITE{Relevance}{% Youssef:2008:RRH% }. \NAMECITE{Reliability}{% Perez-Roses:2018:SYN% }. \NAMECITE{Remarks}{% Chatterjee:2014:ARS% }. \NAMECITE{Repeats}{% Puglisi:2010:FPA% }. \NAMECITE{Representable}{% Bera:2016:SPW% }. \NAMECITE{Representation}{% Brunat:2016:CCR,% DosReis:2011:PCE,% Orgun:2008:KRR,% Raggi:2016:ACR% }. \NAMECITE{Representations}{% Davoodi:2017:SRB,% Kim:2017:RTO,% Ku-Cauich:2020:CER% }. \NAMECITE{Represented}{% Chen:2022:FMP% }. \NAMECITE{Residues}{% Ohara:2019:ACG% }. \NAMECITE{Resistance}{% Kagan:2019:PPR% }. \NAMECITE{Resolvability}{% Rajan:2011:CRH% }. \NAMECITE{Resonance}{% Edneral:2020:NOS% }. \NAMECITE{Resources}{% Bujnowski:2023:ETP% }. \NAMECITE{Response}{% Allali:2018:AOC% }. \NAMECITE{Restrained}{% Pushpam:2015:SRD% }. \NAMECITE{Resultants}{% Kasman:2010:FRP,% Pearson:2007:SSC% }. \NAMECITE{Results}{% Kosub:2008:DRF,% Takato:2020:UOS,% Tang:2010:NRE% }. \NAMECITE{Retrieval}{% Guidi:2016:SRM,% Henry:2013:SBP% }. \NAMECITE{Revisited}{% Horn:2012:MFH,% Roanes-Lozano:2013:GRG% }. \NAMECITE{Rewrite}{% Heeren:2010:SRS% }. \NAMECITE{Rid}{% Coen:2008:SDE% }. \NAMECITE{{Riemannian}}{% Pommaret:2022:HMS% }. \NAMECITE{{Riesz}}{% Yang:2017:STR% }. \NAMECITE{Right}{% Roanes-Lozano:2017:BNA% }. \NAMECITE{Ring}{% Kapur:2009:ACG,% Nabeshima:2009:RGB,% Nabeshima:2019:SPI,% Pu:2010:ASE,% Zhou:2007:CGB% }. \NAMECITE{Ringed}{% Bastl:2014:PRR% }. \NAMECITE{Rings}{% Bavula:2017:QGW,% Faugere:2011:PER,% Hashemi:2021:RGI,% Ku-Cauich:2020:CER,% Nabeshima:2009:RGB,% Zhou:2007:CGB% }. \NAMECITE{Ritt}{% Wang:2016:CBR% }. \NAMECITE{{RMQ}}{% Hasan:2010:COA% }. \NAMECITE{{RMSQ}}{% Hasan:2010:COA% }. \NAMECITE{{RNA}}{% Iliopoulos:2008:NAP% }. \NAMECITE{Robotics}{% Gasparetto:2012:TPR% }. \NAMECITE{Robots}{% Jaulin:2012:CIA% }. \NAMECITE{Robust}{% Rajchel:2018:RHM,% Rauh:2014:IMR,% Senkel:2014:SMT,% Sharma:2007:RAZ% }. \NAMECITE{Root}{% Gandy:2011:OPR,% Pikkarainen:2009:BMR,% Zhang:2007:NMR% }. \NAMECITE{Roots}{% Nahay:2012:TOI,% Sagraloff:2010:GAI% }. \NAMECITE{{Rota}}{% Guo:2010:EGFa,% Guo:2010:EGFb% }. \NAMECITE{Rotation}{% Aydogan:2019:CFC% }. \NAMECITE{Rows}{% Spahn:2022:ESG% }. \NAMECITE{Rule}{% Oldenburg:2017:TRB% }. \NAMECITE{{Runge}}{% Kohlwey:2019:HEE% }. \NAMECITE{{RWTH}}{% Wang:2022:SNR% }. \NAMECITE{Safety}{% Alpuente:2020:ESE,% Damm:2011:PPV% }. \NAMECITE{Sailboat}{% Jaulin:2012:CIA% }. \NAMECITE{{SAT}}{% Albrecht:2010:ALS,% Ghosh:2010:RAS% }. \NAMECITE{Satisfaction}{% Bethencourt:2014:SNL% }. \NAMECITE{Satisfiability}{% Suda:2015:VCE% }. \NAMECITE{Saving}{% Pearson:2007:SSC% }. \NAMECITE{Scaffolding}{% Boissonnat:2010:TSS% }. \NAMECITE{Scalability}{% Cinque:2010:SCP% }. \NAMECITE{Scale}{% Cooper:2010:SFP% }. \NAMECITE{Scales}{% Kruff:2021:ARB% }. \NAMECITE{Scenarios}{% daSilva:2020:VCG% }. \NAMECITE{Scheduling}{% Andrei:2019:PBE,% Mertzios:2010:PSE% }. \NAMECITE{Scheme}{% Buse:2014:DSH,% James:2014:EFM% }. \NAMECITE{School}{% Prank:2020:ACE% }. \NAMECITE{Science}{% Kotsireas:2017:MCS,% Thery:2015:FSF,% Zamlynska:2010:EMC% }. \NAMECITE{Scientific}{% Richardson:2007:ZTC,% Siegel:2011:FFE,% Siegel:2011:TTA,% Stamerjohanns:2010:TLC% }. \NAMECITE{Scoring}{% Apostolico:2008:SUW% }. \NAMECITE{Scratch}{% Artinescu:2018:SCA% }. \NAMECITE{Sculptured}{% Radzevich:2012:DKB% }. \NAMECITE{Search}{% Albrecht:2010:ALS,% Kutzelnigg:2010:IVC,% Pu:2010:ASE,% Youssef:2008:RRH% }. \NAMECITE{Searching}{% Gutnik:2022:CAM% }. \NAMECITE{Second}{% Shemyakova:2007:PFS,% daRocha:2021:CPB% }. \NAMECITE{Second-}{% Shemyakova:2007:PFS% }. \NAMECITE{Sections}{% Roanes-Lozano:2017:BNA% }. \NAMECITE{sectors}{% Wang:2020:SAA% }. \NAMECITE{Secure}{% DiCrescenzo:2020:ESD,% Pushpam:2015:SRD% }. \NAMECITE{Security}{% Abawajy:2015:DCS,% Ryan:2018:BSC% }. \NAMECITE{{Seidel}}{% Djokovic:2018:GSD% }. \NAMECITE{Selected}{% Flizikowski:2023:SAN% }. \NAMECITE{Self}{% Chaudhuri:2011:ISS,% Silva:2021:SSO,% Solin:2021:SPI% }. \NAMECITE{Self-organization}{% Silva:2021:SSO% }. \NAMECITE{Self-Paced}{% Solin:2021:SPI% }. \NAMECITE{Self-Stabilizing}{% Chaudhuri:2011:ISS% }. \NAMECITE{Semantic}{% Elden:2013:CSC,% Kohlhase:2008:ULS,% Manin:2016:SS% }. \NAMECITE{Semantics}{% Kohlhase:2012:SOM% }. \NAMECITE{Semi}{% Lazard:2010:CTS,% Lebedev:2019:MCQ,% Tischler:2017:FAC,% Tiskin:2008:SLS% }. \NAMECITE{Semi-Algebraic}{% Lazard:2010:CTS% }. \NAMECITE{Semi-external}{% Tischler:2017:FAC% }. \NAMECITE{Semi-local}{% Tiskin:2008:SLS% }. \NAMECITE{Semicontinuity}{% Greuel:2022:USS% }. \NAMECITE{Semigroups}{% Chen:2017:AOR% }. \NAMECITE{Sensitivity}{% Cruz:2013:SNC% }. \NAMECITE{Sensor}{% Chhade:2014:NPD% }. \NAMECITE{Separations}{% Benjamin:2019:APS% }. \NAMECITE{Sequence}{% Mesquita:2021:OPS,% Vlachakis:2017:APA% }. \NAMECITE{Sequences}{% BenNsira:2017:LSM,% Iliopoulos:2008:NAP,% Winterhof:2018:NES,% deLeon:2019:CBM% }. \NAMECITE{Sequential}{% Cinque:2013:BIC% }. \NAMECITE{{Serbia}}{% Mijajlovic:2010:DME% }. \NAMECITE{Series}{% Cano:2021:ARP,% Koepf:2015:AAF,% Li:2012:PSS,% Nabeshima:2019:SPI% }. \NAMECITE{{Serre}}{% Boudellioua:2010:SRL% }. \NAMECITE{Server}{% DiCrescenzo:2020:ESD% }. \NAMECITE{Service}{% Chrapary:2017:DCS,% Kaliszyk:2015:HHO% }. \NAMECITE{Set}{% Altamimi:2008:MQL,% Bruzda:2018:ESC,% Graillat:2007:PSR,% Mahmood:2016:MCE,% Maiga:2014:CVZ,% Ravanbod:2014:DSM% }. \NAMECITE{Sets}{% Abawajy:2015:DCS,% Acevedo:2018:RDS,% Brunat:2016:CCR,% Ceria:2022:ABC,% Dochviri:2016:TSF,% Hauenstein:2014:NPW,% Henry:2013:SBP,% Kumkov:2014:LSV,% Lazard:2010:CTS,% Marquez-Corbella:2012:DMC,% Peters:2013:LNS,% Peters:2013:NSI,% Ramanna:2013:FGA,% Ravanbod:2014:DSM,% Rego:2014:DIO,% Wang:2016:CBR,% Wolski:2013:TFN% }. \NAMECITE{Shape}{% Ohara:2019:ACG% }. \NAMECITE{Sheaf}{% Wolski:2013:TFN% }. \NAMECITE{Shift}{% Conceicao:2016:SCA% }. \NAMECITE{Short}{% Boulier:2021:SCT% }. \NAMECITE{{Siamese}}{% Crnkovic:2018:NST% }. \NAMECITE{Side}{% Abarzua:2018:ASC% }. \NAMECITE{Side-Channel}{% Abarzua:2018:ASC% }. \NAMECITE{Sign}{% ElDin:2007:TSC% }. \NAMECITE{Signature}{% Henry:2013:SBP,% Horacek:2020:SBB% }. \NAMECITE{Signature-based}{% Henry:2013:SBP% }. \NAMECITE{Similar}{% BenNsira:2017:LSM% }. \NAMECITE{Similarities}{% Dana-Picard:2021:EOT% }. \NAMECITE{Simple}{% Bavula:2020:CSM,% Richardson:2007:ZTC,% Zima:2013:AIS% }. \NAMECITE{Simplified}{% Yang:2017:STR% }. \NAMECITE{Simulation}{% Kohlwey:2019:HEE,% Piloto:2021:CST,% Prokopenya:2017:MSA% }. \NAMECITE{Single}{% DiCrescenzo:2020:ESD,% Talwar:2015:SSA% }. \NAMECITE{Singleton}{% Tamura:2009:ASA% }. \NAMECITE{Singular}{% Conceicao:2016:ESS,% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Andres:2010:CMT% }. \NAMECITE{Singularities}{% Seiler:2021:LBA,% Tajima:2023:CHM% }. \NAMECITE{Singularity}{% Tajima:2021:ACT% }. \NAMECITE{{SIRS}}{% Ammi:2021:GSC% }. \NAMECITE{Sixty}{% Perez-Roses:2018:SYN% }. \NAMECITE{Size}{% Bruzda:2018:ESC,% Kulekci:2010:BNB% }. \NAMECITE{Skew}{% Bavula:2017:QGW,% Bavula:2020:SCA,% Djokovic:2018:GSD% }. \NAMECITE{Slabs}{% Piloto:2021:CST% }. \NAMECITE{Sliding}{% Senkel:2014:SMT% }. \NAMECITE{Small}{% Adj:2018:STP,% Bulygin:2010:OSS,% Romanczuk:2012:FGL% }. \NAMECITE{Smooth}{% Boissonnat:2010:TSS% }. \NAMECITE{Smoothness}{% Adj:2018:STP% }. \NAMECITE{{SMS}}{% Wang:2022:SNR% }. \NAMECITE{Snarks}{% Manuel:2015:BFC% }. \NAMECITE{Snowflake}{% Daykin:2015:AGC% }. \NAMECITE{Social}{% Chatterjee:2014:ARS% }. \NAMECITE{Soft}{% Akram:2013:IFS% }. \NAMECITE{Software}{% Brysiewicz:2020:NSC,% Hasek:2019:DGS,% Prank:2020:ACE,% Siegel:2011:TTA% }. \NAMECITE{Solid}{% Rauh:2014:IMR,% Shao:2016:CTP,% Srivastava:2023:HLB% }. \NAMECITE{Solution}{% Hladik:2014:ESC,% James:2014:EFM,% Li:2012:PSS,% Talwar:2015:SSA% }. \NAMECITE{Solutions}{% Barkatou:2010:MMM,% Cano:2021:ARP,% Ganzha:2008:ESH,% Horn:2012:MFH,% Huang:2012:RGS,% Spahn:2022:ESG% }. \NAMECITE{Solve}{% Sturm:2009:IAL% }. \NAMECITE{Solved}{% Schneider:2021:AMP% }. \NAMECITE{Solvers}{% Just:2014:SSB% }. \NAMECITE{Solving}{% Bethencourt:2014:SNL,% Bulygin:2010:OSS,% Falkensteiner:2020:SFO,% Ferdous:2017:SMC,% Kim:2020:PSP,% Maiga:2014:CVZ,% Matos:2018:SDI,% Maza:2012:SPP,% Nabeshima:2019:SPI,% Yang:2017:STR,% Zhu:2011:SSF% }. \NAMECITE{Some}{% Chatterjee:2014:ARS,% Conceicao:2016:ESS,% Evgrafov:2020:DPE,% Hammack:2016:ANA,% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:SRA,% Romanovski:2007:BPP,% Saeid:2013:STF,% Salas:2018:SBP,% Sari:2020:DCS,% Winterhof:2018:NES,% Wojas:2020:FSD,% Roanes-Lozano:2023:CBM% }. \NAMECITE{Sorted}{% Klein:2011:HCN% }. \NAMECITE{Sorting}{% Dochviri:2016:TSF% }. \NAMECITE{{SOS}}{% Ichihara:2011:SQA% }. \NAMECITE{{SOS-QE}}{% Ichihara:2011:SQA% }. \NAMECITE{Source}{% Siggel:2019:TOS% }. \NAMECITE{Space}{% Chen:2008:LZF,% Pearson:2007:SSC,% Sharma:2007:RAZ,% Wintraecken:2015:OTC,% Yang:2017:STR% }. \NAMECITE{Spaced}{% Gagie:2017:CSS% }. \NAMECITE{Spaces}{% Manin:2016:SS,% Marcolli:2012:CFN,% Mourrain:2014:BDT,% Peters:2013:LNS,% Rajchel:2018:RHM,% Ren:2014:TCM,% Stadler:2015:CS,% Tiwari:2013:UCV% }. \NAMECITE{{Spain}}{% Macias-Virgos:2010:DPS% }. \NAMECITE{Spanning}{% Baumgart:2010:PBG% }. \NAMECITE{Special}{% Autexier:2010:FSI,% Chen:2013:FSF,% Chen:2020:FSF,% Conceicao:2021:SCA,% Fontaine:2015:FSF,% Gandy:2011:OPR,% Li:2012:FSF,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF,% Rajan:2016:FSF,% Thery:2015:FSF% }. \NAMECITE{Specialization}{% Alpuente:2020:ESE% }. \NAMECITE{Specific}{% James:2014:EFM,% Vlachakis:2021:MMM% }. \NAMECITE{Specification}{% Chen:2013:FSG% }. \NAMECITE{Specifying}{% Heeren:2010:SRS% }. \NAMECITE{Spectra}{% Conceicao:2016:ESS% }. \NAMECITE{Spectral}{% Elden:2013:CSC% }. \NAMECITE{Spiders}{% Berkemer:2015:SCR% }. \NAMECITE{Spline}{% Mourrain:2014:BDT,% Yang:2010:EBA,% Zhao:2013:DVC% }. \NAMECITE{Splines}{% Ghosh:2007:ACS,% Takato:2020:UOS% }. \NAMECITE{Spread}{% ONeal:2011:ICO,% Roanes-Lozano:2021:UFE% }. \NAMECITE{Spring}{% Edneral:2020:NOS% }. \NAMECITE{Spurious}{% Coen:2008:SDE% }. \NAMECITE{Squares}{% Falcon:2020:UCD% }. \NAMECITE{Stability}{% Ammi:2021:GSC,% ElKahoui:2009:SDF,% Li:2011:SAD,% Lichtblau:2016:FOP,% Niu:2008:AAS% }. \NAMECITE{Stabilizing}{% Chaudhuri:2011:ISS% }. \NAMECITE{Standard}{% Greuel:2022:USS% }. \NAMECITE{Star}{% Hellmuth:2013:PSP,% Laszlo:2023:CSB,% Muhshi:2015:MSR% }. \NAMECITE{State}{% Brankovic:2011:GLS,% Chrapary:2017:DCS,% Grigoriev:2021:EER,% Jaulin:2012:CIA,% Maia:2016:TDC,% Senkel:2014:SMT% }. \NAMECITE{Stationary}{% Gutnik:2022:CAM% }. \NAMECITE{Statistical}{% Ryan:2018:BSC% }. \NAMECITE{Steady}{% Grigoriev:2021:EER% }. \NAMECITE{{STEM}}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Step}{% Juttler:2011:QCS,% Talwar:2015:SSA% }. \NAMECITE{Stochastic}{% Bortolussi:2009:HDS,% Graillat:2011:SAM,% Yoshida:2008:IPS% }. \NAMECITE{{Stokes}}{% Adak:2021:CVE% }. \NAMECITE{Strategies}{% Heeren:2010:SRS,% Just:2014:SSB% }. \NAMECITE{Strength}{% Baca:2013:TEI,% Evgrafov:2020:DPE,% Indriati:2015:TEI,% Rajasingh:2015:TVI,% Ramdani:2015:TIS% }. \NAMECITE{Stress}{% Maia:2016:TDC% }. \NAMECITE{String}{% BenNsira:2017:LSM,% Daykin:2017:ISF,% Ferdous:2017:SMC,% Puglisi:2010:FPA,% Tiskin:2008:SLS% }. \NAMECITE{Strings}{% Kim:2017:RTO% }. \NAMECITE{Strong}{% Hellmuth:2009:LAP,% Manuel:2015:SMD,% Punitha:2015:SKN% }. \NAMECITE{Structural}{% Bera:2016:SPW,% Vlachakis:2021:MMM% }. \NAMECITE{Structure}{% Jeffrey:2017:BSI,% Pommaret:2022:HMS,% Vlachakis:2017:APA% }. \NAMECITE{Structured}{% Sun:2007:SLR% }. \NAMECITE{Structures}{% Chen:2008:CSN,% Ortegaray:2021:HKA,% Port:2022:TAS,% Shu:2017:SSC,% Shu:2021:PIE% }. \NAMECITE{Students}{% Durcheva:2019:HUC,% Wojas:2017:FSD,% Wojas:2020:FSD% }. \NAMECITE{Studies}{% Heras:2014:RPP,% Pu:2010:ASE% }. \NAMECITE{Study}{% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Dana-Picard:2017:FIB,% Dana-Picard:2019:ASR,% Farrington:2017:SCR,% Wang:2018:UDQ% }. \NAMECITE{Sub}{% Wilson:2014:CAS% }. \NAMECITE{Sub-Decompositions}{% Wilson:2014:CAS% }. \NAMECITE{Subclass}{% Sakar:2019:BIC% }. \NAMECITE{Subdivision}{% Just:2014:SSB% }. \NAMECITE{Submanifolds}{% Boissonnat:2010:TSS% }. \NAMECITE{Subnetwork}{% Siebert:2009:DBB% }. \NAMECITE{Subpavings}{% Rego:2014:DIO% }. \NAMECITE{Subscripts}{% Aly:2008:ISS% }. \NAMECITE{Subsequence}{% Hasan:2017:PSA% }. \NAMECITE{Subset}{% Emiris:2017:AMS% }. \NAMECITE{Substitution}{% Cinque:2013:BIC% }. \NAMECITE{Substrings}{% Chan:2008:NOC% }. \NAMECITE{Subway}{% Almech:2020:AGD% }. \NAMECITE{Success}{% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:SRA% }. \NAMECITE{Successive}{% Orange:2012:EAS% }. \NAMECITE{Succinct}{% Davoodi:2017:SRB% }. \NAMECITE{Suffix}{% Gagie:2017:CSS,% Karkkainen:2017:ELE% }. \NAMECITE{{Suite}}{% Siegel:2011:FFE% }. \NAMECITE{Sum}{% Emiris:2017:AMS% }. \NAMECITE{Summands}{% Zima:2013:AIS% }. \NAMECITE{Summation}{% Zima:2013:AIS% }. \NAMECITE{Summations}{% deLeon:2019:CBM% }. \NAMECITE{Sums}{% Koutschan:2021:CTM,% ONeal:2011:ICO% }. \NAMECITE{Super}{% Baca:2013:SFA,% Lopez:2011:SEM% }. \NAMECITE{Superelliptic}{% Minzlaff:2010:CZF% }. \NAMECITE{Superposition}{% Fietzke:2012:SDP,% Kruglov:2012:SDF% }. \NAMECITE{Superquadratic}{% Juttler:2011:QCS% }. \NAMECITE{Superscripts}{% Aly:2008:ISS% }. \NAMECITE{Supplemented}{% Hasek:2019:DGS% }. \NAMECITE{Support}{% Climent:2018:BFD,% Oldenburg:2017:TRB% }. \NAMECITE{Supra}{% Acharya:2011:SHP% }. \NAMECITE{Supra-Hereditary}{% Acharya:2011:SHP% }. \NAMECITE{Surface}{% Duquesne:2010:TGL,% Li:2012:PSS,% Radzevich:2012:DKB,% Wang:2012:CBR% }. \NAMECITE{Surfaces}{% Bastl:2014:PRR,% Berberich:2010:APSa,% Berberich:2010:APSb,% Wang:2018:UDQ% }. \NAMECITE{Survey}{% Guidi:2016:SRM,% Hellmuth:2012:SHP,% Ryan:2018:BSC% }. \NAMECITE{{SVD}}{% Janovitz-Freireich:2007:ARC% }. \NAMECITE{Swarm}{% Kumar:2015:LBC% }. \NAMECITE{Sweep}{% Talwar:2015:SSA% }. \NAMECITE{Swinging}{% Prokopenya:2017:MSA% }. \NAMECITE{{Swiss}}{% Zhu:2011:SSF% }. \NAMECITE{{swMATH}}{% Chrapary:2017:DCS% }. \NAMECITE{Symbol}{% Shemyakova:2007:PFS% }. \NAMECITE{Symbolic}{% Brehard:2021:SNV,% Cheviakov:2010:SCL,% Chien:2023:TTD,% Conceicao:2016:ESS,% Conceicao:2016:SCA,% Conceicao:2021:SCA,% Farrington:2017:SCR,% Gutnik:2021:SCE,% Iwane:2011:SNA,% Loja:2016:FSF,% Loja:2018:FSF,% Loja:2021:FSF,% Macedo:2018:SAG,% McCaig:2009:IPS,% Pearson:2007:SSC,% Todd:2020:SDG% }. \NAMECITE{Symbolic-Numeric}{% Brehard:2021:SNV,% Iwane:2011:SNA% }. \NAMECITE{Symmetric}{% Djokovic:2018:GSD% }. \NAMECITE{Symmetries}{% Cheviakov:2010:SCL,% Orange:2012:EAS% }. \NAMECITE{Symmetry}{% Heule:2019:OSB,% Mohammadi:2021:SBA,% Ricca:2016:DCS% }. \NAMECITE{Symmetry-Based}{% Mohammadi:2021:SBA% }. \NAMECITE{Synchronization}{% Lee:2010:POS,% Silva:2021:SSO% }. \NAMECITE{Syntactic}{% Ortegaray:2021:HKA,% Port:2022:TAS,% Shu:2017:SSC,% Shu:2021:PIE% }. \NAMECITE{Syntax}{% Port:2018:PTS% }. \NAMECITE{Synthesizing}{% Radzevich:2012:DKB% }. \NAMECITE{Synthetic}{% Beltrametti:2021:GHT% }. \NAMECITE{System}{% Alpuente:2020:ESE,% Gutnik:2021:SCE,% Gutnik:2022:CAM,% Hasek:2019:DGS,% Hasek:2020:EDC,% Juarez-del-Toro:2019:AIC,% Perminov:2020:IHD,% Radzevich:2012:DKB,% Roanes-Lozano:2019:SRA,% Roanes-Lozano:2023:SRA,% Sarafian:2017:ACA,% Todd:2020:SAD,% Todd:2020:SDG,% Yoshida:2008:IPS% }. \NAMECITE{Systems}{% Anashin:2012:NAT,% Barkatou:2010:MMM,% Boudellioua:2010:SRL,% Boulier:2009:TAR,% Boulier:2011:MRC,% Bulygin:2010:OSS,% Cano:2021:ARP,% Evgrafov:2020:DPE,% Ferras:2021:HOM,% Fukasaku:2015:QAA,% Ganzha:2008:ESH,% Hagemann:2015:EGO,% Hashemi:2017:GSC,% Huang:2012:RGS,% Hussein:2017:GII,% Ichihara:2011:SQA,% Imbach:2021:CCZ,% Juttler:2011:QCS,% Khan-Afshar:2014:FAO,% Kosub:2008:DRF,% Lewis:2020:IAI,% Lichtblau:2016:FOP,% Liu:2012:ADR,% Maza:2012:SPP,% Mitsch:2014:CVD,% Nabeshima:2019:SPI,% Niu:2008:AAS,% Rauh:2014:IMR,% Roanes-Lozano:2023:CBM,% Tajima:2023:CHM,% Urban:2008:ABC% }. \NAMECITE{Syzygies}{% Lichtblau:2019:APG% }. \NAMECITE{Tactics}{% Aspinall:2010:THP% }. \NAMECITE{{Tamari}}{% Ceria:2022:NGJ% }. \NAMECITE{Task}{% Andrei:2019:PBE% }. \NAMECITE{{TASS}}{% Siegel:2011:TTA% }. \NAMECITE{{Tau}}{% Gavina:2016:IAC,% Matos:2018:SDI,% Trindade:2018:DFC% }. \NAMECITE{Teaching}{% Durcheva:2017:ACT,% Solin:2021:SPI% }. \NAMECITE{Techniques}{% Decker:2020:MTN,% Noro:2018:UMT,% Salas:2018:SBP,% Senkel:2014:SMT,% Tiskin:2008:SLS% }. \NAMECITE{Technologies}{% Dana-Picard:2023:AEE% }. \NAMECITE{Telescoping}{% Koutschan:2010:FAC,% Koutschan:2021:CTM% }. \NAMECITE{Temporal}{% Orgun:2008:KRR% }. \NAMECITE{Ternary}{% Kim:2017:RTO% }. \NAMECITE{Test}{% Adj:2018:STP,% Marquez-Corbella:2012:DMC% }. \NAMECITE{Testing}{% Dey:2020:THR,% ElDin:2007:TSC,% Kacker:2021:CFE,% Kacker:2021:FEC,% Nabeshima:2021:TZD% }. \NAMECITE{Tests}{% Richardson:2007:ZTC% }. \NAMECITE{Tetrahedral}{% Manuel:2015:SMD% }. \NAMECITE{Text}{% Conley:2013:IAB,% Daykin:2017:ISF% }. \NAMECITE{th}{% Nahay:2012:TOI% }. \NAMECITE{Their}{% Berkemer:2015:SCR,% Dana-Picard:2021:EOT,% Ferras:2021:HOM,% Shu:2021:PIE,% Salas:2018:SBP% }. \NAMECITE{Them}{% Coen:2008:SDE% }. \NAMECITE{Theorem}{% Ekici:2020:MLC,% Jakubuv:2020:RWP,% Shao:2016:CTP% }. \NAMECITE{Theoretic}{% Wolski:2013:TFN% }. \NAMECITE{Theories}{% Kruglov:2012:SDF% }. \NAMECITE{Theory}{% Anashin:2012:NAT,% Andres:2010:CMT,% Boulier:2021:SCT,% Chatterjee:2014:ARS,% Chien:2023:TTD,% Durcheva:2019:HUC,% Fashandi:2013:NCU,% Jaulin:2012:CIA,% Marcolli:2015:GGI,% Perminov:2020:IHD,% Rajan:2016:FSF,% Sarafian:2017:ACA% }. \NAMECITE{Thermal}{% Piloto:2021:CST% }. \NAMECITE{Thinning}{% Abbott:2007:TRE% }. \NAMECITE{Third}{% Shemyakova:2007:PFS% }. \NAMECITE{Third-}{% Shemyakova:2007:PFS% }. \NAMECITE{Three}{% Chen:2017:AOR,% Maia:2016:TDC,% Minglibayev:2017:TBP,% Minglibayev:2020:CPT,% Ramdani:2015:TIS% }. \NAMECITE{Three-Body}{% Minglibayev:2017:TBP,% Minglibayev:2020:CPT% }. \NAMECITE{Three-Dimensional}{% Maia:2016:TDC% }. \NAMECITE{Through-Cracked}{% Maia:2016:TDC% }. \NAMECITE{{TiGL}}{% Siggel:2019:TOS% }. \NAMECITE{{Tikhonov}}{% Yang:2017:STR% }. \NAMECITE{Time}{% Adak:2021:CVE,% Bethencourt:2014:SNL,% Chen:2008:LZF,% Ferras:2021:HOM,% Kruff:2021:ARB,% Li:2013:TPM,% Mahmood:2016:MCE,% Mertzios:2010:PSE,% Orgun:2008:QHD,% Pu:2010:ASE,% Rauh:2014:IMR,% Roanes-Lozano:2019:SRA,% Wang:2012:CBR,% Kovacs:2017:RTA% }. \NAMECITE{Time-Dependent}{% Bethencourt:2014:SNL% }. \NAMECITE{Time-Fractional}{% Ferras:2021:HOM% }. \NAMECITE{Time-Lines}{% Orgun:2008:QHD% }. \NAMECITE{Time-Optimal}{% Li:2013:TPM% }. \NAMECITE{Timed}{% Fietzke:2012:SDP% }. \NAMECITE{Tolerant}{% Rajasingh:2015:TVI% }. \NAMECITE{Tool}{% Hasek:2019:DGS,% Li:2012:PSS% }. \NAMECITE{Toolkit}{% Trindade:2016:TLM,% Siegel:2011:TTA% }. \NAMECITE{Tools}{% Ovodenko:2019:UDT% }. \NAMECITE{Topological}{% Blanco-Trejo:2019:FTA,% Dochviri:2016:TSF,% Port:2022:TAS% }. \NAMECITE{Topology}{% Adamou:2021:CTV,% Cheng:2010:TRA,% Lazard:2010:CTS,% Port:2018:PTS% }. \NAMECITE{Tori}{% Quadras:2015:EFH% }. \NAMECITE{Toricity}{% Grigoriev:2021:EER% }. \NAMECITE{Toroidal}{% Baca:2013:TEI% }. \NAMECITE{Torsion}{% Tajima:2021:ACT% }. \NAMECITE{Torus}{% Quadras:2015:DPC% }. \NAMECITE{Total}{% Baca:2013:TEI,% Indriati:2015:TEI,% Rajasingh:2015:TVI,% Ramdani:2015:TIS% }. \NAMECITE{Traceability}{% Cada:2011:NDC% }. \NAMECITE{Traces}{% Duquesne:2010:TGL% }. \NAMECITE{Tracking}{% Senkel:2014:SMT% }. \NAMECITE{Tractable}{% Farago:2008:GTD% }. \NAMECITE{Trajectory}{% Gasparetto:2012:TPR,% Senkel:2014:SMT% }. \NAMECITE{Transcendental}{% Nahay:2012:TOI% }. \NAMECITE{Transform}{% Ricca:2016:DCS,% Tischler:2017:FAC% }. \NAMECITE{Transformation}{% Autexier:2008:OTP% }. \NAMECITE{Transformations}{% Daykin:2017:ISF% }. \NAMECITE{Transforming}{% Stamerjohanns:2010:TLC% }. \NAMECITE{Transforms}{% Beltrametti:2021:GHT% }. \NAMECITE{Transition}{% Maia:2016:TDC% }. \NAMECITE{Transitions}{% Manin:2011:ECC% }. \NAMECITE{Transitive}{% Crnkovic:2023:CTE% }. \NAMECITE{Translational}{% Wang:2018:UDQ% }. \NAMECITE{{TransLucid}}{% Plaice:2008:LTI% }. \NAMECITE{Transmission}{% Bujnowski:2023:ETP,% Rachah:2016:DOC% }. \NAMECITE{Transmit}{% Bujnowski:2023:ETP% }. \NAMECITE{Transparent}{% Oldenburg:2017:TRB% }. \NAMECITE{Tree}{% Chaudhuri:2011:ISS,% Fujiyoshi:2010:GVM% }. \NAMECITE{Trees}{% Baumgart:2010:PBG,% Cooper:2010:SFP,% Davoodi:2017:SRB,% Jesintha:2011:AAF,% Nishat:2011:VDP% }. \NAMECITE{Triangle}{% Narboux:2016:TCV,% Schreck:2016:CCT,% Wang:2020:SAA% }. \NAMECITE{Triangular}{% Imbach:2021:CCZ% }. \NAMECITE{Triangulating}{% Boissonnat:2010:TSS% }. \NAMECITE{Triangulation}{% Wintraecken:2015:OTC% }. \NAMECITE{Triangulations}{% Choudhary:2020:CTG% }. \NAMECITE{Trifolium}{% Dana-Picard:2019:ASR% }. \NAMECITE{Trivariate}{% Huang:2012:RGS,% Mourrain:2014:BDT% }. \NAMECITE{Tropical}{% Brysiewicz:2020:NSC,% Hu:2021:TDG% }. \NAMECITE{Tropicalization}{% Ren:2014:TCM% }. \NAMECITE{Truncation}{% Jurrius:2012:TFI% }. \NAMECITE{Truth}{% Botana:2016:UUT% }. \NAMECITE{Tuberculosis}{% Silva:2021:SSO% }. \NAMECITE{{Turtle}}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Tutorial}{% Giancarlo:2008:TCC% }. \NAMECITE{Twin}{% Crnkovic:2018:NST% }. \NAMECITE{Two}{% Dana-Picard:2021:EOT,% Escobar:2021:INT,% Gutnik:2021:SCE,% Hussein:2017:GII,% Klisowski:2012:CCP,% Kovacs:2021:TAC,% Kumkov:2014:LSV,% Li:2013:TPM,% Man:2015:CMA,% Minglibayev:2020:CPT,% Nahay:2012:TOI,% Otmani:2010:CTM,% Sethuraman:2015:CPT,% Shemyakova:2010:RTF% }. \NAMECITE{Two-Connected}{% Sethuraman:2015:CPT% }. \NAMECITE{Two-Edge}{% Sethuraman:2015:CPT% }. \NAMECITE{Two-Factor}{% Shemyakova:2010:RTF% }. \NAMECITE{Two-Parameter}{% Escobar:2021:INT% }. \NAMECITE{Two-Planetary}{% Minglibayev:2020:CPT% }. \NAMECITE{Type}{% Ali:2013:MLT,% Levin:2022:NTD,% Morig:2010:DIG,% Levin:2010:DPI% }. \NAMECITE{Types}{% Saeid:2013:STF% }. \NAMECITE{Ugly}{% Bouche:2010:DML% }. \NAMECITE{Ultrafilter}{% Tiwari:2013:UCV% }. \NAMECITE{Unambiguous}{% Beal:2008:UA% }. \NAMECITE{Unavoidable}{% Botana:2016:UUT% }. \NAMECITE{Uncertainty}{% Botana:2016:UUT% }. \NAMECITE{Underwater}{% Seddik:2014:PBL% }. \NAMECITE{Uniform}{% Jesintha:2015:AUB% }. \NAMECITE{Uniformities}{% Fashandi:2013:NCU% }. \NAMECITE{Union}{% Baca:2013:SFA% }. \NAMECITE{Unistochastic}{% Rajchel:2018:RHM% }. \NAMECITE{Unitals}{% Stoichev:2023:UPP% }. \NAMECITE{univalent}{% Sakar:2019:BIC% }. \NAMECITE{Univariate}{% Zhang:2007:NMR% }. \NAMECITE{Universal}{% Bowers:2016:GUM% }. \NAMECITE{Unnecessary}{% Ishihara:2022:ELP% }. \NAMECITE{Unusual}{% Apostolico:2008:SUW% }. \NAMECITE{Unweighted}{% Rana:2012:CCP% }. \NAMECITE{Upper}{% Hashemi:2021:DUB% }. \NAMECITE{Usage}{% Noro:2018:UMT% }. \NAMECITE{Use}{% Durcheva:2019:HUC,% Ovodenko:2019:UDT% }. \NAMECITE{Used}{% Bujnowski:2023:ETP% }. \NAMECITE{User}{% Boldo:2015:CUF% }. \NAMECITE{User-Friendly}{% Boldo:2015:CUF% }. \NAMECITE{Using}{% Artinescu:2018:SCA,% Bates:2014:UMA,% Chen:2008:LZF,% Chhade:2014:NPD,% Dana-Picard:2020:EIF,% Falcon:2020:UCD,% Greuel:2022:USS,% Gu:2007:UCA,% Hasek:2020:EDC,% Huang:2019:UML,% Janovitz-Freireich:2007:ARC,% Karsenty:2019:CAC,% Kohlhase:2008:ULS,% Kovacs:2017:RTA,% Li:2011:SAD,% Orange:2012:EAS,% Orgun:2008:KRR,% Roanes-Lozano:2013:GRG,% Roanes-Lozano:2021:UFE,% Seddik:2014:PBL,% Takato:2020:UOS,% Todd:2020:SDG,% Wang:2018:UDQ,% Wojas:2017:FSD,% Wojas:2020:FSD,% Boulier:2011:MRC,% Henry:2013:MFN% }. \NAMECITE{Utility}{% Davenport:2008:FEO% }. \NAMECITE{Validated}{% Collins:2011:VRF% }. \NAMECITE{Validation}{% Brehard:2021:SNV% }. \NAMECITE{Value}{% Kumkov:2014:LSV,% Sarafian:2017:ACA% }. \NAMECITE{Variable}{% Minglibayev:2017:TBP,% Suda:2015:VCE,% Talwar:2015:SSA% }. \NAMECITE{Variables}{% Bulygin:2010:OSS,% Nahay:2012:TOI% }. \NAMECITE{Variants}{% Banerjee:2008:EAV,% Bulygin:2010:OSS% }. \NAMECITE{Variational}{% Zhao:2013:DVC% }. \NAMECITE{Varieties}{% Grigoriev:2021:EER,% Nabeshima:2021:TZD% }. \NAMECITE{Varying}{% Apostolico:2008:SUW,% Minglibayev:2020:CPT% }. \NAMECITE{Vehicles}{% Kumar:2015:LBC,% Seddik:2014:PBL% }. \NAMECITE{{Verhulst}}{% Ganzha:2008:ESH% }. \NAMECITE{Verification}{% Boldo:2011:FVN,% Damm:2011:PPV,% Fujiyoshi:2010:GVM,% Just:2014:SSB,% Mitsch:2014:CVD,% Roanes-Lozano:2019:AAD,% Rohn:2014:VLD,% Siegel:2011:FFE,% Urban:2008:ABC% }. \NAMECITE{Verification-Driven}{% Mitsch:2014:CVD% }. \NAMECITE{Verifying}{% James:2014:EFM% }. \NAMECITE{Version}{% Kutzelnigg:2010:IVC,% Narboux:2016:TCV,% Raggi:2016:ACR% }. \NAMECITE{Versioning}{% Mancilla:2008:PWV% }. \NAMECITE{Versus}{% Maiga:2014:CVZ% }. \NAMECITE{Vertex}{% Rajasingh:2015:TVI,% Sugeng:2011:CVM,% daSilva:2020:VCG% }. \NAMECITE{Vertices}{% Wintraecken:2015:OTC% }. \NAMECITE{Via}{% Nabeshima:2019:SPI,% Ricca:2016:DCS,% Alpuente:2020:ESE,% Cinque:2013:BIC,% Feinsilver:2007:IAF,% Gillespie:2018:COA,% Lewis:2020:IAI,% Mesquita:2021:OPS,% Shu:2021:PIE,% Tajima:2023:CHM% }. \NAMECITE{{VIBes}}{% Drevelle:2014:VVI% }. \NAMECITE{Viral}{% Vlachakis:2017:APA% }. \NAMECITE{Virtual}{% Adak:2021:CVE,% Zamlynska:2010:EMC% }. \NAMECITE{Virus}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Viscous}{% Talwar:2015:SSA% }. \NAMECITE{Visibility}{% Nishat:2011:VDP% }. \NAMECITE{Visualisation}{% Braun:2020:NAV% }. \NAMECITE{Visualizer}{% Drevelle:2014:VVI% }. \NAMECITE{Visually}{% Roanes-Lozano:2021:UFE% }. \NAMECITE{Vladimir}{% Kotsireas:2022:PRP,% Buchberger:2022:VGC,% England:2021:FDV,% Seiler:2022:YVG,% Wang:2022:SNR,% Wester:2022:MVG% }. \NAMECITE{{Volterra}}{% Hussein:2017:GII% }. \NAMECITE{Volumes}{% Dimitrova:2010:EVC% }. \NAMECITE{{Vorono{\"\i}}}{% Adamou:2021:CTV% }. \NAMECITE{{Wadge}}{% Finkel:2008:WDI,% Plaice:2008:HBW,% Selivanov:2008:WRI% }. \NAMECITE{way}{% Retzlaff:2018:PLM% }. \NAMECITE{Weak}{% Borges-Quintana:2018:WOI% }. \NAMECITE{{Web}}{% Indriati:2015:TEI% }. \NAMECITE{{Weber}}{% England:2021:FDA% }. \NAMECITE{Weighted}{% Banerjee:2008:EAV,% Jakubuv:2020:RWP,% Levin:2019:BDQ% }. \NAMECITE{{Weil}}{% Laurian:2022:FBW% }. \NAMECITE{well}{% Senkel:2014:SMT% }. \NAMECITE{{Weyl}}{% Bavula:2017:QGW% }. \NAMECITE{{Wheeler}}{% Tischler:2017:FAC% }. \NAMECITE{Wheels}{% Ali:2013:MLT% }. \NAMECITE{Whose}{% Wintraecken:2015:OTC% }. \NAMECITE{Wildcards}{% Altamimi:2008:MQL% }. \NAMECITE{Wirelength}{% Rajasingh:2011:LWF% }. \NAMECITE{Wireless}{% Flizikowski:2023:SAN% }. \NAMECITE{Within}{% Trindade:2018:DFC,% James:2014:EFM% }. \NAMECITE{Without}{% Davenport:2017:WDL,% Ishihara:2022:ELP% }. \NAMECITE{Witness}{% Hauenstein:2014:NPW% }. \NAMECITE{Word}{% Bera:2016:SPW,% Kulekci:2010:BNB% }. \NAMECITE{Words}{% Apostolico:2008:SUW,% Guo:2010:EGFa,% Guo:2010:EGFb,% Mansour:2021:CLP% }. \NAMECITE{Worlds}{% Mancilla:2008:PWV% }. \NAMECITE{{XaoS}}{% Aggarwal:2021:XBF% }. \NAMECITE{{XML}}{% Stamerjohanns:2010:TLC% }. \NAMECITE{Year}{% Roanes-Lozano:2019:SRA% }. \NAMECITE{Years}{% Kotsireas:2017:MCS,% Perez-Roses:2018:SYN,% Seiler:2022:YVG% }. \NAMECITE{{Young}}{% Duzhin:2017:MAC% }. \NAMECITE{Zero}{% Kapur:2009:ACG,% Lundqvist:2012:MMI,% Nabeshima:2021:TZD,% Richardson:2007:ZTC% }. \NAMECITE{Zero-Dimensionality}{% Nabeshima:2021:TZD% }. \NAMECITE{Zeros}{% Imbach:2021:CCZ,% Sharma:2007:RAZ% }. \NAMECITE{Zeta}{% Minzlaff:2010:CZF% }. \NAMECITE{{Ziv}}{% Chen:2008:LZF% }. \NAMECITE{Zonal}{% Jiu:2020:CPZ% }. \NAMECITE{Zonotope}{% Maiga:2014:CVZ% }. \NAMECITE{Zonotope-Based}{% Maiga:2014:CVZ% }.