Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Uloženo v:
| Vydáno v: | Journal of symbolic computation Ročník 123; s. 102276 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
01.07.2024
|
| ISSN: | 0747-7171 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| ArticleNumber | 102276 |
|---|---|
| Author | del Río Almajano, Tereso Pickering, Lynn Cohen, Kelly England, Matthew |
| Author_xml | – sequence: 1 givenname: Lynn surname: Pickering fullname: Pickering, Lynn – sequence: 2 givenname: Tereso surname: del Río Almajano fullname: del Río Almajano, Tereso – sequence: 3 givenname: Matthew orcidid: 0000-0001-5729-3420 surname: England fullname: England, Matthew – sequence: 4 givenname: Kelly surname: Cohen fullname: Cohen, Kelly |
| BookMark | eNp9kEFOwzAQRb0oEm3hAOx8gRTbSe2EXVUVqFSJBbCOxo7TOnLtynYROQK3JqGsWLAYjeZL_0nzZmjivNMI3VGyoITy-27RRbVghOXDzZjgEzQlohCZoIJeo1mMHSGkKvLlFH1tPk8WjANpNV5t8dZFsz-kiFsf8Gt_lN4ahdf-eDonSMa7B7zCCqLGMZ2bHnuHo7ZaJeP2OB00_oBgfmA-NDqM6UhSvTWuCUaBxWD3WgYYsI1WA9hHM4Jv0FULNurb3z1H74-bt_Vztnt52q5Xu0yxskyZFE3LuQTW0EpWkvKGKAblUhaciqXmRamKnEkKrJSSkZzyUhfVMFRD0VLI54heuCr4GINu61MwRwh9TUk9-qu7evBXj_7qi7-hI_50lLnoSMMj9p_mN2NQfbc |
| CitedBy_id | crossref_primary_10_26468_trakyasobed_1435490 crossref_primary_10_1007_s00707_024_03948_5 crossref_primary_10_1016_j_jsc_2024_102345 crossref_primary_10_1007_s11786_024_00591_0 |
| Cites_doi | 10.1016/j.jsc.2022.10.003 10.1016/j.jsc.2017.12.002 10.1016/j.jsc.2019.07.008 10.1016/S0747-7171(08)80152-6 10.1016/j.cpc.2014.08.008 10.1016/S0747-7171(88)80004-X 10.1016/j.jsc.2015.02.001 10.1145/3359786 10.1016/j.jsc.2022.08.001 10.1016/j.jsc.2005.09.007 10.1115/1.4006921 10.1080/10361146.2014.900530 10.1016/j.jsc.2019.07.019 10.1016/j.jsc.2019.07.018 10.1007/3-540-07407-4_17 10.1038/s41586-021-04086-x 10.1007/s11786-019-00394-8 10.1142/S0218127421502023 10.1038/s42256-019-0138-9 10.1016/j.jsc.2006.06.004 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jsc.2023.102276 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jsc_2023_102276 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 6OB 7-5 71M 8P~ 9DU 9JN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABWVN ABXDB ACDAQ ACGFS ACLOT ACNNM ACRLP ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADFGL ADMUD ADNMO ADVLN AEBSH AEIPS AEKER AENEX AEUPX AEXQZ AFJKZ AFPUW AFTJW AGHFR AGQPQ AGUBO AGYEJ AHHHB AIALX AIEXJ AIGII AIGVJ AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD APXCP ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG CITATION COF CS3 DM4 DU5 EBS EFBJH EFKBS EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG5 M25 M41 MHUIS MO0 N9A O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSW SSZ T5K TN5 UPT WUQ XPP YQT ZMT ZU3 ~G- ~HD |
| ID | FETCH-LOGICAL-c288t-b7df66ba2d19b9b16d0c2a85b46175e648c432b1a28bb203168e498e41ea4f1a3 |
| ISICitedReferencesCount | 13 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001125597300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0747-7171 |
| IngestDate | Sat Nov 29 07:13:50 EST 2025 Tue Nov 18 21:49:48 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c288t-b7df66ba2d19b9b16d0c2a85b46175e648c432b1a28bb203168e498e41ea4f1a3 |
| ORCID | 0000-0001-5729-3420 |
| OpenAccessLink | https://doi.org/10.1016/j.jsc.2023.102276 |
| ParticipantIDs | crossref_primary_10_1016_j_jsc_2023_102276 crossref_citationtrail_10_1016_j_jsc_2023_102276 |
| PublicationCentury | 2000 |
| PublicationDate | 2024-07-00 |
| PublicationDateYYYYMMDD | 2024-07-01 |
| PublicationDate_xml | – month: 07 year: 2024 text: 2024-07-00 |
| PublicationDecade | 2020 |
| PublicationTitle | Journal of symbolic computation |
| PublicationYear | 2024 |
| References | Dolzmann (10.1016/j.jsc.2023.102276_br0180) 2004 Paulson (10.1016/j.jsc.2023.102276_br0470) 2012; vol. 7406 Collins (10.1016/j.jsc.2023.102276_br0130) 1975; 33 Fraenkel (10.1016/j.jsc.2023.102276_br0250) 2014; 49 McCallum (10.1016/j.jsc.2023.102276_br0440) 2019; 92 Huang (10.1016/j.jsc.2023.102276_br0330) 2019; 13 Bishop (10.1016/j.jsc.2023.102276_br0030) 2006 Lundberg (10.1016/j.jsc.2023.102276_br0410) 2017 Davies (10.1016/j.jsc.2023.102276_br0160) 2021; 600 Brown (10.1016/j.jsc.2023.102276_br0060) Lundberg (10.1016/j.jsc.2023.102276_br0400) 2020; 2 Jovanovic (10.1016/j.jsc.2023.102276_br0340) 2012; vol. 7364 Davenport (10.1016/j.jsc.2023.102276_br0150) 1988; 5 Pedregosa (10.1016/j.jsc.2023.102276_br0480) 2011; 12 Bradford (10.1016/j.jsc.2023.102276_br0040) 2020; 98 Brown (10.1016/j.jsc.2023.102276_br0070) 2015 Röst (10.1016/j.jsc.2023.102276_br0520) 2021; 31 Kuipers (10.1016/j.jsc.2023.102276_br0370) 2015; 189 Bernal (10.1016/j.jsc.2023.102276_br0020) 2023; 115 Kobayashi (10.1016/j.jsc.2023.102276_br0350) 2016 Wilson (10.1016/j.jsc.2023.102276_br0560) 2015 Florescu (10.1016/j.jsc.2023.102276_br0220) 2019 Kremer (10.1016/j.jsc.2023.102276_br0360) 2020; 100 Simpson (10.1016/j.jsc.2023.102276_br0540) 2016 He (10.1016/j.jsc.2023.102276_br0290) 2022; 1 Mulligan (10.1016/j.jsc.2023.102276_br0460) 2018 Herm (10.1016/j.jsc.2023.102276_br0300) 2022; 69 Giovini (10.1016/j.jsc.2023.102276_br0260) 1991 Bradford (10.1016/j.jsc.2023.102276_br0050) 2013; vol. 7961 Peifer (10.1016/j.jsc.2023.102276_br0490) 2020 Chen (10.1016/j.jsc.2023.102276_br0120) 2020 del Río (10.1016/j.jsc.2023.102276_br0510) 2022; vol. 13366 McCallum (10.1016/j.jsc.2023.102276_br0430) 2016; 72 Shapley (10.1016/j.jsc.2023.102276_br0530) 1953 Platzer (10.1016/j.jsc.2023.102276_br0500) 2009; vol. 5663 Florescu (10.1016/j.jsc.2023.102276_br0230) 2020 Florescu (10.1016/j.jsc.2023.102276_br0240) 2020 England (10.1016/j.jsc.2023.102276_br0200) 2020; 100 Brown (10.1016/j.jsc.2023.102276_br0080) 2007 Buchberger (10.1016/j.jsc.2023.102276_br0090) 2006; 41 Lample (10.1016/j.jsc.2023.102276_br0380) 2020 Hauenstein (10.1016/j.jsc.2023.102276_br0280) 2023; 118 del Rio (10.1016/j.jsc.2023.102276_br0170) 2023 Strzeboński (10.1016/j.jsc.2023.102276_br0550) 2006; 41 Carette (10.1016/j.jsc.2023.102276_br0100) 2004 Huang (10.1016/j.jsc.2023.102276_br0320) 2014; vol. 8543 Lundberg (10.1016/j.jsc.2023.102276_br0390) England (10.1016/j.jsc.2023.102276_br0210) 2019 Collins (10.1016/j.jsc.2023.102276_br0140) 1991; 12 Gunning (10.1016/j.jsc.2023.102276_br0270) 2019; 40 Barrett (10.1016/j.jsc.2023.102276_br0010) Huang (10.1016/j.jsc.2023.102276_br0310) 2016 Du (10.1016/j.jsc.2023.102276_br0190) 2019; 63 Chen (10.1016/j.jsc.2023.102276_br0110) 2009 Molnar (10.1016/j.jsc.2023.102276_br0450) Manubens (10.1016/j.jsc.2023.102276_br0420) 2012; 4 |
| References_xml | – volume: 118 start-page: 93 year: 2023 ident: 10.1016/j.jsc.2023.102276_br0280 article-title: Special issue on algebraic geometry and machine learning publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2022.10.003 – start-page: 7575 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0490 article-title: Learning selection strategies in Buchberger's algorithm – volume: vol. 13366 start-page: 300 year: 2022 ident: 10.1016/j.jsc.2023.102276_br0510 article-title: New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis – volume: 92 start-page: 52 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0440 article-title: Validity proof of Lazard's method for CAD construction publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2017.12.002 – start-page: 281 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0120 article-title: Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks – volume: 98 start-page: 84 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0040 article-title: Identifying the parametric occurrence of multiple steady states for some biological networks publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2019.07.008 – start-page: 45 year: 2016 ident: 10.1016/j.jsc.2023.102276_br0310 article-title: Using machine learning to decide when to precondition cylindrical algebraic decomposition with Groebner bases – start-page: 302 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0240 article-title: A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs – start-page: 111 year: 2004 ident: 10.1016/j.jsc.2023.102276_br0180 article-title: Efficient projection orders for CAD – start-page: 72 year: 2004 ident: 10.1016/j.jsc.2023.102276_br0100 article-title: Understanding expression simplification – volume: 12 start-page: 299 year: 1991 ident: 10.1016/j.jsc.2023.102276_br0140 article-title: Partial cylindrical algebraic decomposition for quantifier elimination publication-title: J. Symb. Comput. doi: 10.1016/S0747-7171(08)80152-6 – volume: 189 start-page: 1 year: 2015 ident: 10.1016/j.jsc.2023.102276_br0370 article-title: Code optimization in FORM publication-title: Comput. Phys. Commun. doi: 10.1016/j.cpc.2014.08.008 – volume: 5 start-page: 29 year: 1988 ident: 10.1016/j.jsc.2023.102276_br0150 article-title: Real quantifier elimination is doubly exponential publication-title: J. Symb. Comput. doi: 10.1016/S0747-7171(88)80004-X – volume: vol. 8543 start-page: 92 year: 2014 ident: 10.1016/j.jsc.2023.102276_br0320 article-title: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition – volume: vol. 7406 start-page: 1 year: 2012 ident: 10.1016/j.jsc.2023.102276_br0470 article-title: Metitarski: past and future – ident: 10.1016/j.jsc.2023.102276_br0010 – start-page: 29 year: 2023 ident: 10.1016/j.jsc.2023.102276_br0170 article-title: Data augmentation for mathematical objects – start-page: 236 year: 2016 ident: 10.1016/j.jsc.2023.102276_br0350 article-title: Efficient subformula orders for real quantifier elimination of non-prenex formulas – start-page: 355 year: 2016 ident: 10.1016/j.jsc.2023.102276_br0540 article-title: Automatic algorithm selection in computational software using machine learning – start-page: 54 year: 2007 ident: 10.1016/j.jsc.2023.102276_br0080 article-title: The complexity of quantifier elimination and cylindrical algebraic decomposition – volume: 72 start-page: 65 year: 2016 ident: 10.1016/j.jsc.2023.102276_br0430 article-title: On using Lazard's projection in cad construction publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2015.02.001 – start-page: 49 year: 1991 ident: 10.1016/j.jsc.2023.102276_br0260 article-title: One sugar cube, please; or selection strategies in the Buchberger algorithm – start-page: 53 year: 2015 ident: 10.1016/j.jsc.2023.102276_br0560 article-title: Using the distribution of cells by dimension in a cylindrical algebraic decomposition – volume: 63 start-page: 68 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0190 article-title: Techniques for interpretable machine learning publication-title: Commun. ACM doi: 10.1145/3359786 – volume: vol. 7961 start-page: 19 year: 2013 ident: 10.1016/j.jsc.2023.102276_br0050 article-title: Optimising problem formulations for cylindrical algebraic decomposition – volume: vol. 5663 start-page: 485 year: 2009 ident: 10.1016/j.jsc.2023.102276_br0500 article-title: Real world verification – volume: 115 start-page: 409 year: 2023 ident: 10.1016/j.jsc.2023.102276_br0020 article-title: Machine learning the real discriminant locus publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2022.08.001 – start-page: 341 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0230 article-title: Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness – volume: 41 start-page: 475 year: 2006 ident: 10.1016/j.jsc.2023.102276_br0090 article-title: Bruno Buchberger's PhD thesis (1965): an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2005.09.007 – volume: 40 start-page: 44 issue: 2 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0270 article-title: DARPA's explainable artificial intelligence (XAI) program publication-title: AI Mag. – year: 2006 ident: 10.1016/j.jsc.2023.102276_br0030 – volume: 4 year: 2012 ident: 10.1016/j.jsc.2023.102276_br0420 article-title: Cusp points in the parameter space of degenerate 3-RPR planar parallel manipulators publication-title: J. Mech. Robot. doi: 10.1115/1.4006921 – volume: 49 start-page: 186 year: 2014 ident: 10.1016/j.jsc.2023.102276_br0250 article-title: The Borda Count and its real-world alternatives: comparing scoring rules in Nauru and Slovenia publication-title: Aust. J. Polit. Sci. doi: 10.1080/10361146.2014.900530 – start-page: 12 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0220 article-title: Algorithmically generating new algebraic features of polynomial systems for machine learning – volume: 100 start-page: 38 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0200 article-title: Cylindrical algebraic decomposition with equational constraints publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2019.07.019 – volume: 1 start-page: 1 year: 2022 ident: 10.1016/j.jsc.2023.102276_br0290 article-title: Machine-learning mathematical structures publication-title: Int. J. Data Sci. Math. Sci. – volume: 100 start-page: 11 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0360 article-title: Fully incremental CAD publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2019.07.018 – start-page: 4768 year: 2017 ident: 10.1016/j.jsc.2023.102276_br0410 article-title: A unified approach to interpreting model predictions – start-page: 85 year: 2015 ident: 10.1016/j.jsc.2023.102276_br0070 article-title: Open non-uniform cylindrical algebraic decompositions – volume: 33 start-page: 134 year: 1975 ident: 10.1016/j.jsc.2023.102276_br0130 article-title: Quantifier elimination for real closed fields by cylindrical algebraic decomposition publication-title: Lect. Notes Comput. Sci. doi: 10.1007/3-540-07407-4_17 – start-page: 369 year: 2018 ident: 10.1016/j.jsc.2023.102276_br0460 article-title: TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics – start-page: 95 year: 2009 ident: 10.1016/j.jsc.2023.102276_br0110 article-title: Computing cylindrical algebraic decomposition via triangular decomposition – start-page: 24 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0380 article-title: Deep learning for symbolic mathematics – volume: 600 start-page: 70 year: 2021 ident: 10.1016/j.jsc.2023.102276_br0160 article-title: Advancing mathematics by guiding human intuition with AI publication-title: Nature doi: 10.1038/s41586-021-04086-x – volume: 13 start-page: 461 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0330 article-title: Using machine learning to improve cylindrical algebraic decomposition publication-title: Math. Comput. Sci. doi: 10.1007/s11786-019-00394-8 – ident: 10.1016/j.jsc.2023.102276_br0450 – start-page: 307 year: 1953 ident: 10.1016/j.jsc.2023.102276_br0530 article-title: 17. A value for n-person games – volume: vol. 7364 start-page: 339 year: 2012 ident: 10.1016/j.jsc.2023.102276_br0340 article-title: Solving non-linear arithmetic – volume: 31 year: 2021 ident: 10.1016/j.jsc.2023.102276_br0520 article-title: Exotic bifurcations in three connected populations with Allee effect publication-title: Int. J. Bifurc. Chaos doi: 10.1142/S0218127421502023 – volume: 12 start-page: 2825 year: 2011 ident: 10.1016/j.jsc.2023.102276_br0480 article-title: Scikit-learn: machine learning in Python publication-title: J. Mach. Learn. Res. – volume: 69 year: 2022 ident: 10.1016/j.jsc.2023.102276_br0300 article-title: Stop ordering machine learning algorithms by their explainability! A user-centered investigation of performance and explainability publication-title: Int. J. Inf. Manag. – ident: 10.1016/j.jsc.2023.102276_br0390 – volume: 2 start-page: 2522 year: 2020 ident: 10.1016/j.jsc.2023.102276_br0400 article-title: From local explanations to global understanding with explainable AI for trees publication-title: Nat. Mach. Intell. doi: 10.1038/s42256-019-0138-9 – ident: 10.1016/j.jsc.2023.102276_br0060 – start-page: 93 year: 2019 ident: 10.1016/j.jsc.2023.102276_br0210 article-title: Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition – volume: 41 start-page: 1021 year: 2006 ident: 10.1016/j.jsc.2023.102276_br0550 article-title: Cylindrical algebraic decomposition using validated numerics publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2006.06.004 |
| SSID | ssj0009435 |
| Score | 2.4796774 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 102276 |
| Title | Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition |
| Volume | 123 |
| WOSCitedRecordID | wos001125597300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 0747-7171 databaseCode: AIEXJ dateStart: 20211213 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0009435 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3LjtMwFLXKDAs2vBHDS16wIsqocZzGZhfBIAqjEYKCuotix5WmyqSjplTTT-Cv-DSun00HVWIWLGpVqXNl5Z76-sbH9yD0OmecQhRicVVTAgkKNAyiFPzjZ5A85JmsTAW-H6f52RmbTvmXweC3PwuzbvK2ZVdX_PK_uhqugbP10dkbuDsYhQvwHZwOLbgd2n9yvGbV-SNRxVizAXT-bcouRN82F0IXAo6smENgdhSRhGhma83q7YPOqOP4k1RryKeNOVOn01Mv5QZWqLWtMKLFQiDtBsO10iR1xwTbs_Lt_CjkdhRhij7XPA8ntHK6acMPtWqir2Zb__0iKpqLal4Z1fBoopaqW4TMwIqS2GNIRso87LL4gyifVeM4rO5tB6GBGesnRUh_YkBRsjODk7Q3B-sc1mrK_BUe7JuK-fG809UrSXq87btbivtaiAzERc-Jm5dgotQmSmviFjokecYhNBwW45Ppp23hZ2pFXv24_c664RheG0dvbdRb5Ezuo7vOR7iwqHqABqp9iO555Q_sAsEj9KsHMlyMsQcZBmBgDzLcA9lbXGANMWwghhctDhDD4CTsIYY9xIylHsRwgBjegdhj9P3DyeTdx9iJesSSMLaKRV7PRiNRkTrhgotkVA8lqVgmKKylMzWiTNKUiKQiTAgy1LpqinL4JKqis6RKn6CDdtGqpwin8NA4Y4muIkdrokTG4C6ZKJ5RIiU9QkP_OEvpKt5r4ZWm3OvGI_Qm3HJpy73s7_zsJp2foztbPL9AB6vlT_US3Zbr1Xm3fOVQ8wfmT6cY |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Explainable+AI+Insights+for+Symbolic+Computation%3A+A+case+study+on+selecting+the+variable+ordering+for+cylindrical+algebraic+decomposition&rft.jtitle=Journal+of+symbolic+computation&rft.au=Pickering%2C+Lynn&rft.au=del+R%C3%ADo+Almajano%2C+Tereso&rft.au=England%2C+Matthew&rft.au=Cohen%2C+Kelly&rft.date=2024-07-01&rft.issn=0747-7171&rft.volume=123&rft.spage=102276&rft_id=info:doi/10.1016%2Fj.jsc.2023.102276&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jsc_2023_102276 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0747-7171&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0747-7171&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0747-7171&client=summon |