Symbolic Computation Mar 2025

<!DOCTYPE html> <html lang="en"> <head> <title>Symbolic Computation Mar 2025</title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a>  <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs.SC/recent">cs.SC</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Symbolic Computation</h1> <h2>Authors and titles for March 2025 </h2> <div class='paging'>Total of 19 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.SC/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/2503.01487" title="Abstract" id="2503.01487"> arXiv:2503.01487 </a> [<a href="/pdf/2503.01487" title="Download PDF" id="pdf-2503.01487" aria-labelledby="pdf-2503.01487">pdf</a>, <a href="/format/2503.01487" title="Other formats" id="oth-2503.01487" aria-labelledby="oth-2503.01487">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Solving generic parametric linear matrix inequalities </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Naldi,+S">Simone Naldi</a> (CNRS, XLIM), <a href="https://arxiv.org/search/cs?searchtype=author&query=Din,+M+S+E">Mohab Safey El Din</a> (PolSys), <a href="https://arxiv.org/search/cs?searchtype=author&query=Taylor,+A">Adrien Taylor</a> (SIERRA), <a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+W">Weijia Wang</a> (PolSys)</div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span>; Algebraic Geometry (math.AG) </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/2503.03337" title="Abstract" id="2503.03337"> arXiv:2503.03337 </a> [<a href="/pdf/2503.03337" title="Download PDF" id="pdf-2503.03337" aria-labelledby="pdf-2503.03337">pdf</a>, <a href="https://arxiv.org/html/2503.03337v1" title="View HTML" id="html-2503.03337" aria-labelledby="html-2503.03337" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.03337" title="Other formats" id="oth-2503.03337" aria-labelledby="oth-2503.03337">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A unified approach for degree bound estimates of linear differential operators </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gaillard,+L">Louis Gaillard</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span> </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/2503.07342" title="Abstract" id="2503.07342"> arXiv:2503.07342 </a> [<a href="/pdf/2503.07342" title="Download PDF" id="pdf-2503.07342" aria-labelledby="pdf-2503.07342">pdf</a>, <a href="https://arxiv.org/html/2503.07342v1" title="View HTML" id="html-2503.07342" aria-labelledby="html-2503.07342" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.07342" title="Other formats" id="oth-2503.07342" aria-labelledby="oth-2503.07342">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The regular multivariate quadratic problem </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Joux,+A">Antoine Joux</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mora,+R">Rocco Mora</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span> </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/2503.12275" title="Abstract" id="2503.12275"> arXiv:2503.12275 </a> [<a href="/pdf/2503.12275" title="Download PDF" id="pdf-2503.12275" aria-labelledby="pdf-2503.12275">pdf</a>, <a href="https://arxiv.org/html/2503.12275v1" title="View HTML" id="html-2503.12275" aria-labelledby="html-2503.12275" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.12275" title="Other formats" id="oth-2503.12275" aria-labelledby="oth-2503.12275">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Deciding Connectivity in Symmetric Semi-Algebraic Sets </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Cordian.Riener">Cordian.Riener</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schabert,+R">Robin Schabert</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Vu,+T+X">Thi Xuan Vu</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 20 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span>; Computational Geometry (cs.CG); Algebraic Geometry (math.AG) </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/2503.12995" title="Abstract" id="2503.12995"> arXiv:2503.12995 </a> [<a href="/pdf/2503.12995" title="Download PDF" id="pdf-2503.12995" aria-labelledby="pdf-2503.12995">pdf</a>, <a href="/format/2503.12995" title="Other formats" id="oth-2503.12995" aria-labelledby="oth-2503.12995">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Frobenius method for Mahler equations </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Roques,+J">Julien Roques</a> (ICJ, CTN)</div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Journal of the Mathematical Society of Japan, 2024, 76 (1) </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span> </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/2503.13640" title="Abstract" id="2503.13640"> arXiv:2503.13640 </a> [<a href="/pdf/2503.13640" title="Download PDF" id="pdf-2503.13640" aria-labelledby="pdf-2503.13640">pdf</a>, <a href="https://arxiv.org/html/2503.13640v1" title="View HTML" id="html-2503.13640" aria-labelledby="html-2503.13640" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13640" title="Other formats" id="oth-2503.13640" aria-labelledby="oth-2503.13640">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> LSU factorization </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Malaschonok,+G">Gennadi Malaschonok</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages, 1 figures </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> 2023 International Conference on Computational Science and Computational Intelligence (CSCI), Las Vegas, NV, USA, 2023, pp. 472-478 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span>; Commutative Algebra (math.AC) </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/2503.14264" title="Abstract" id="2503.14264"> arXiv:2503.14264 </a> [<a href="/pdf/2503.14264" title="Download PDF" id="pdf-2503.14264" aria-labelledby="pdf-2503.14264">pdf</a>, <a href="https://arxiv.org/html/2503.14264v1" title="View HTML" id="html-2503.14264" aria-labelledby="html-2503.14264" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.14264" title="Other formats" id="oth-2503.14264" aria-labelledby="oth-2503.14264">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ibrahim,+A">Alaa Ibrahim</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span> </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/2503.15636" title="Abstract" id="2503.15636"> arXiv:2503.15636 </a> [<a href="/pdf/2503.15636" title="Download PDF" id="pdf-2503.15636" aria-labelledby="pdf-2503.15636">pdf</a>, <a href="https://arxiv.org/html/2503.15636v1" title="View HTML" id="html-2503.15636" aria-labelledby="html-2503.15636" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.15636" title="Other formats" id="oth-2503.15636" aria-labelledby="oth-2503.15636">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A computational approach to rational summability and its applications via discrete residues </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Arreche,+C+E">Carlos E. Arreche</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sitaula,+H+P">Hari P. Sitaula</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Submitted. arXiv admin note: substantial text overlap with <a href="https://arxiv.org/abs/2402.07328" data-arxiv-id="2402.07328" class="link-https">arXiv:2402.07328</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Symbolic Computation (cs.SC)</span>; Combinatorics (math.CO) </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/2503.00727" title="Abstract" id="2503.00727"> arXiv:2503.00727 </a> (cross-list from cs.RO) [<a href="/pdf/2503.00727" title="Download PDF" id="pdf-2503.00727" aria-labelledby="pdf-2503.00727">pdf</a>, <a href="https://arxiv.org/html/2503.00727v1" title="View HTML" id="html-2503.00727" aria-labelledby="html-2503.00727" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.00727" title="Other formats" id="oth-2503.00727" aria-labelledby="oth-2503.00727">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Wang,+M">Maijunxian Wang</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Robotics (cs.RO)</span>; Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/2503.01389" title="Abstract" id="2503.01389"> arXiv:2503.01389 </a> (cross-list from cs.AI) [<a href="/pdf/2503.01389" title="Download PDF" id="pdf-2503.01389" aria-labelledby="pdf-2503.01389">pdf</a>, <a href="https://arxiv.org/html/2503.01389v1" title="View HTML" id="html-2503.01389" aria-labelledby="html-2503.01389" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.01389" title="Other formats" id="oth-2503.01389" aria-labelledby="oth-2503.01389">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Learning Conjecturing from Scratch </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Gauthier,+T">Thibault Gauthier</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Urban,+J">Josef Urban</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/2503.02413" title="Abstract" id="2503.02413"> arXiv:2503.02413 </a> (cross-list from cs.SE) [<a href="/pdf/2503.02413" title="Download PDF" id="pdf-2503.02413" aria-labelledby="pdf-2503.02413">pdf</a>, <a href="https://arxiv.org/html/2503.02413v1" title="View HTML" id="html-2503.02413" aria-labelledby="html-2503.02413" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02413" title="Other formats" id="oth-2503.02413" aria-labelledby="oth-2503.02413">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> PANTHER: Pluginizable Testing Environment for Network Protocols </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Crochet,+C">Christophe Crochet</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Aoga,+J">John Aoga</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Legay,+A">Axel Legay</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/2503.02512" title="Abstract" id="2503.02512"> arXiv:2503.02512 </a> (cross-list from cs.LO) [<a href="/pdf/2503.02512" title="Download PDF" id="pdf-2503.02512" aria-labelledby="pdf-2503.02512">pdf</a>, <a href="https://arxiv.org/html/2503.02512v1" title="View HTML" id="html-2503.02512" aria-labelledby="html-2503.02512" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.02512" title="Other formats" id="oth-2503.02512" aria-labelledby="oth-2503.02512">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> LTL Verification of Memoryful Neural Agents </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hosseini,+M">Mehran Hosseini</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lomuscio,+A">Alessio Lomuscio</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Paoletti,+N">Nicola Paoletti</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 11 pages, 2 figures, accepted at AAMAS 2025 conference </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/2503.04810" title="Abstract" id="2503.04810"> arXiv:2503.04810 </a> (cross-list from cs.SE) [<a href="/pdf/2503.04810" title="Download PDF" id="pdf-2503.04810" aria-labelledby="pdf-2503.04810">pdf</a>, <a href="https://arxiv.org/html/2503.04810v1" title="View HTML" id="html-2503.04810" aria-labelledby="html-2503.04810" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.04810" title="Other formats" id="oth-2503.04810" aria-labelledby="oth-2503.04810">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Network Simulator-centric Compositional Testing </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Rousseaux,+T">Tom Rousseaux</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Crochet,+C">Christophe Crochet</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Aoga,+J">John Aoga</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Legay,+A">Axel Legay</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Software Engineering (cs.SE)</span>; Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/2503.05924" title="Abstract" id="2503.05924"> arXiv:2503.05924 </a> (cross-list from cs.PL) [<a href="/pdf/2503.05924" title="Download PDF" id="pdf-2503.05924" aria-labelledby="pdf-2503.05924">pdf</a>, <a href="https://arxiv.org/html/2503.05924v1" title="View HTML" id="html-2503.05924" aria-labelledby="html-2503.05924" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.05924" title="Other formats" id="oth-2503.05924" aria-labelledby="oth-2503.05924">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Tirpankar,+T">Tanmay Tirpankar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Das,+A">Arnab Das</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gopalakrishnan,+G">Ganesh Gopalakrishnan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pgs, 8 figures, 4 tables </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Symbolic Computation (cs.SC); Software Engineering (cs.SE); Numerical Analysis (math.NA) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/2503.07148" title="Abstract" id="2503.07148"> arXiv:2503.07148 </a> (cross-list from cs.AI) [<a href="/pdf/2503.07148" title="Download PDF" id="pdf-2503.07148" aria-labelledby="pdf-2503.07148">pdf</a>, <a href="https://arxiv.org/html/2503.07148v2" title="View HTML" id="html-2503.07148" aria-labelledby="html-2503.07148" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.07148" title="Other formats" id="oth-2503.07148" aria-labelledby="oth-2503.07148">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Hierarchical Neuro-Symbolic Decision Transformer </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Baheri,+A">Ali Baheri</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Alm,+C+O">Cecilia O. Alm</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Machine Learning (cs.LG); Symbolic Computation (cs.SC); Systems and Control (eess.SY) </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/2503.09592" title="Abstract" id="2503.09592"> arXiv:2503.09592 </a> (cross-list from cs.LG) [<a href="/pdf/2503.09592" title="Download PDF" id="pdf-2503.09592" aria-labelledby="pdf-2503.09592">pdf</a>, <a href="https://arxiv.org/html/2503.09592v1" title="View HTML" id="html-2503.09592" aria-labelledby="html-2503.09592" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.09592" title="Other formats" id="oth-2503.09592" aria-labelledby="oth-2503.09592">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Huang,+S">Sikai Huang</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Wen,+Y+B">Yixin Berry Wen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Adusumilli,+T">Tara Adusumilli</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Choudhary,+K">Kusum Choudhary</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yang,+H">Haizhao Yang</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (cs.LG)</span>; Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/2503.10416" title="Abstract" id="2503.10416"> arXiv:2503.10416 </a> (cross-list from cs.PL) [<a href="/pdf/2503.10416" title="Download PDF" id="pdf-2503.10416" aria-labelledby="pdf-2503.10416">pdf</a>, <a href="https://arxiv.org/html/2503.10416v1" title="View HTML" id="html-2503.10416" aria-labelledby="html-2503.10416" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.10416" title="Other formats" id="oth-2503.10416" aria-labelledby="oth-2503.10416">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Fruehwirth,+T">Thom Fruehwirth</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> arXiv admin note: substantial text overlap with <a href="https://arxiv.org/abs/2307.02180" data-arxiv-id="2307.02180" class="link-https">arXiv:2307.02180</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span>; Data Structures and Algorithms (cs.DS); Performance (cs.PF); Symbolic Computation (cs.SC) </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/2503.11119" title="Abstract" id="2503.11119"> arXiv:2503.11119 </a> (cross-list from math.AC) [<a href="/pdf/2503.11119" title="Download PDF" id="pdf-2503.11119" aria-labelledby="pdf-2503.11119">pdf</a>, <a href="https://arxiv.org/html/2503.11119v1" title="View HTML" id="html-2503.11119" aria-labelledby="html-2503.11119" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.11119" title="Other formats" id="oth-2503.11119" aria-labelledby="oth-2503.11119">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules </div> <div class='list-authors'><a href="https://arxiv.org/search/math?searchtype=author&query=Shang,+W">Weifeng Shang</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Mou,+C">Chenqi Mou</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Joo,+J+A+C">Jose Abel Castellanos Joo</a>, <a href="https://arxiv.org/search/math?searchtype=author&query=Kapur,+D">Deepak Kapur</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pages, 1 figure </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Commutative Algebra (math.AC)</span>; Symbolic Computation (cs.SC); Algebraic Geometry (math.AG) </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/2503.13512" title="Abstract" id="2503.13512"> arXiv:2503.13512 </a> (cross-list from stat.ML) [<a href="/pdf/2503.13512" title="Download PDF" id="pdf-2503.13512" aria-labelledby="pdf-2503.13512">pdf</a>, <a href="https://arxiv.org/html/2503.13512v1" title="View HTML" id="html-2503.13512" aria-labelledby="html-2503.13512" rel="noopener noreferrer" target="_blank">html</a>, <a href="/format/2503.13512" title="Other formats" id="oth-2503.13512" aria-labelledby="oth-2503.13512">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Positivity sets of hinge functions </div> <div class='list-authors'><a href="https://arxiv.org/search/stat?searchtype=author&query=Schicho,+J">Josef Schicho</a>, <a href="https://arxiv.org/search/stat?searchtype=author&query=Tewari,+A+K">Ayush Kumar Tewari</a>, <a href="https://arxiv.org/search/stat?searchtype=author&query=Warren,+A">Audie Warren</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Machine Learning (stat.ML)</span>; Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Symbolic Computation (cs.SC); Combinatorics (math.CO); Functional Analysis (math.FA) </div> </div> </dd> </dl> <div class='paging'>Total of 19 entries </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs.SC/current?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <span style="color: #454545">all</span> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em">  <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div>   <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div>   </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Symbolic Computation Mar 2025