Software Search - zbMATH Open

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Software Search - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/swmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/software/?q=cc%3A13+%7C+14"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/swmath.png" alt="swMATH — an information service for mathematical software" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents"> <a href="/">Documents</a> </li> <li class="tab-authors"> <a href="/authors/">Authors</a> </li> <li class="tab-serials"> <a href="/serials/">Serials</a> </li> <li class="tab-software active"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formul忙</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="sw">Software Name</option> <option data-type="input" value="au">Software Authors</option> <option data-type="input" value="ab">Description</option> <option data-type="input" value="la">Languages</option> <option data-type="input" value="si">swMATH ID</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="kw">Keywords</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-cc" placeholder="field given by first two MSC digits"> </div> <form name="software" method="GET" action="/software/" autocomplete="off"> <div class="software multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="sw">Software Name</option> <option data-type="input" value="au">Software Authors</option> <option data-type="input" value="ab">Description</option> <option data-type="input" value="la">Languages</option> <option data-type="input" value="si">swMATH ID</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="kw">Keywords</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="sw" selected>Software Name</option> <option data-type="input" value="au">Software Authors</option> <option data-type="input" value="ab">Description</option> <option data-type="input" value="la">Languages</option> <option data-type="input" value="si">swMATH ID</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="kw">Keywords</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="sw">Software Name</option> <option data-type="input" value="au" selected>Software Authors</option> <option data-type="input" value="ab">Description</option> <option data-type="input" value="la">Languages</option> <option data-type="input" value="si">swMATH ID</option> <option data-type="input" value="cc">Main Fields</option> <option data-type="input" value="kw">Keywords</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="software" method="GET" action="/software/"> <div class="software one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="cc:13 | 14" aria-label="Search for software" placeholder="Search for software" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span> </span>anywhere (default)</a></li> <li><a href="#"><span class="token item">ab:</span><span>  </span>description</a></li> <li><a href="#"><span class="token item">au:</span><span>  </span>author</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>msc</a></li> <li><a href="#"><span class="token item">pl:</span><span>  </span>programming language</a></li> <li><a href="#"><span class="token item">si:</span><span>  </span>software ID</a></li> <li><a href="#"><span class="token item">sw:</span><span>  </span>name</a></li> <li><a href="#"><span class="token item">ut:</span><span>  </span>keyword</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a <span class="item">&</span> b </span><span> </span>logical and (default)</a></li> <li><a href="#"><span class="token">a <span class="item">|</span> b </span><span> </span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab   </span><span> </span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>  </span><span> </span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab c<span class="item">"</span></span><span> </span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab c<span class="item">)</span></span><span> </span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/software/?q=sw%3ASage%2A">sw:Sage*</a></span> <span class="search-explanation" role="cell" role="cell">Search for a specific <strong>s</strong>oft<strong>w</strong>are package containing the sequence <em>Sage</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/software/?q=ab%3Ageometry+%26+ut%3AORMS">ab:geometry & ut:ORMS</a></span> <span class="search-explanation" role="cell" role="cell">Search for software packages with the word <em>geometry</em> in the description(<strong>ab</strong>), and which have the keyword(<strong>ut</strong>) <em>ORMS</em> ( Oberwolfach Registry of Mathematical Software).The operator <strong>&</strong> is the default and may be omitted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/software/?q=cc%3A13+%7C+14">cc:13 | 14</a></span> <span class="search-explanation" role="cell" role="cell">Search for software packages which are cited(<strong>cc</strong>) by articles belonging to the <strong><u>c</u>lassification <u>c</u>ode</strong> sections <em>13</em> and <em>14</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/software/?q=GAP+au%3AEick">GAP au:Eick</a></span> <span class="search-explanation" role="cell" role="cell">Search for <em>GAP</em> in the <strong>any</strong> index (which also includes dependencies) and by software <strong><u>au</u>thor</strong> containing the sequence <em>Eick</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/software/?q=pl%3AJava+%26+ab%3AR">pl:Java & ab:R</a></span> <span class="search-explanation" role="cell" role="cell">Search for software package in the <strong><u>p</u>rogramming <u>l</u>anguage</strong> Java whose description text(<strong>ab</strong>) contains <em>R</em></span> </div> </div> <h2>Fields</h2> <div id="help-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>ab</strong> </span> <span class="search-explanation" role="cell" role="cell"> Text from the description </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>au</strong> </span> <span class="search-explanation" role="cell" role="cell"> Name(s) of the author(s) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>cc</strong> </span> <span class="search-explanation" role="cell" role="cell"> Main fields of the software (given by first two MSC digits) </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>pl</strong> </span> <span class="search-explanation" role="cell" role="cell"> Programming language the software is written in </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>si</strong> </span> <span class="search-explanation" role="cell" role="cell"> swMATH software ID </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>sw</strong> </span> <span class="search-explanation" role="cell" role="cell"> Software name </span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"> <strong>ut</strong> </span> <span class="search-explanation" role="cell" role="cell"> Keywords </span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <h2>Operators</h2> <div id="operators-fields" role="table"> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a & b</strong></span> <span class="search-explanation" role="cell" role="cell">logical and</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>a | b</strong></span> <span class="search-explanation" role="cell" role="cell">logical or</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>!ab</strong></span> <span class="search-explanation" role="cell" role="cell">logical not</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>abc*</strong></span> <span class="search-explanation" role="cell" role="cell">right wildcard</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>ab c</strong></span> <span class="search-explanation" role="cell" role="cell">phrase</span> </div> <div class="help-item" role="row"> <span class="search-fields" role="rowheader"><strong>(ab c)</strong></span> <span class="search-explanation" role="cell" role="cell">parentheses</span> </div> </div> <p style="margin-bottom:0.5cm;"></p> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> </div><div class="content-option"><div class="navigation"> <div class="page-navigation"> <span class="title"> Page <strong>1</strong> of <strong>20</strong> </span> <div class="pages btn-group"> <a class="btn btn-default btn-xs first disabled" tabindex="-1" type="button" href="/software/?q=cc%3A13+%7C+14" title="">First</a> <a class="btn btn-default btn-xs previous disabled" tabindex="-1" type="button" href="/software/?q=cc%3A13+%7C+14" title="">Prev</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14" title="">&diams;</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=1" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=2" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=3" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=4" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=5" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=6" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=7" title="">•</a> <a class="btn btn-default btn-xs page" type="button" href="/software/?q=cc%3A13+%7C+14&p=8" title="">•</a> <a class="btn btn-default btn-xs next" type="button" href="/software/?q=cc%3A13+%7C+14&p=1" title="">Next</a> <a class="btn btn-default btn-xs last" type="button" href="/software/?q=cc%3A13+%7C+14&p=19" title="">Last</a> </div> </div> <div class="clearfix"></div> </div></div><div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="software"> <div class="content-main" role="list"> <div class="content-title"> <div class="head"> <h2> Found 1,975 Software Packages <small>(Results 1–100)</small> </h2> </div> </div> <div class="content-clear"></div> <section class="content-result" role="list"> <div class="meta row"> <div class="count col-sm-4 col-sm-offset-8"> <div class="btn-group" style="float: right;" role="group" aria-label="sort by"> <a class="btn btn-default btn-xs active " title="sort by number of citations">Citations</a> <a class="btn btn-default btn-xs " href="/software/?q=cc%3A13+%7C+14&r=alpha " title="sort by alphabet">Alphabetically</a> </div> </div> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/558" title="swMATH ID: 558">Matlab</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 15,247 Documents (1982–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>MathWorks Inc.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Simulink; MATLAB ODE suite; LMI toolbox; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/771" title="swMATH ID: 771">R</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 10,951 Documents (1978–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Wickham, Hadley; Gentleman, Robert; Ihaka, Ross; Chambers, John M.; Venables, William N.; Ripley, Brian D.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>ggplot2; CRAN; SAS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/554" title="swMATH ID: 554">Mathematica</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 7,033 Documents (1986–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Wolfram Research</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Maple; Matlab; SageMath; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/23170" title="swMATH ID: 23170">GitHub</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 6,409 Documents (2010–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>github</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>R; Adam; Matlab; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/7248" title="swMATH ID: 7248">OEIS</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 5,876 Documents (1968–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sloane, Neil J. A.; The OEIS Foundation Inc.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SageMath; Mathematica; DLMF; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/545" title="swMATH ID: 545">Maple</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 5,569 Documents (1983–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Waterloo Maple Inc.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Mathematica; Matlab; Magma; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Number theory (11-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/540" title="swMATH ID: 540">Magma</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 4,385 Documents (1994–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Bosma, W.; Steel, A.; Matthews, G.; Fisher, D.; Cannon, J.; Contini, S.; Smith, B.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>GAP; SageMath; Code Tables; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4968" title="swMATH ID: 4968">DLMF</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 4,245 Documents (2000–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Lozier, Daniel W.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Mathematica; Matlab; OEIS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Special functions (33-XX); Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/320" title="swMATH ID: 320">GAP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 3,980 Documents (1990–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>GAP Group</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Magma; SageMath; ATLAS Group Representations; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4074" title="swMATH ID: 4074">UCI-ml</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 3,320 Documents (1995–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Aha, David; Murphy, Patrick; Merz, Christopher; Keogh, Eamonn; Blake, Cathy; Hettich, Seth; Newman, David</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>C4.5; LIBSVM; R; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4082" title="swMATH ID: 4082">CPLEX</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 3,098 Documents (1992–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>IBM</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Gurobi; SCIP; AMPL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/825" title="swMATH ID: 825">SageMath</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 2,989 Documents (2002–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>The Sage Developers; Stein, William; Joyner, David; Kohel, David; Cremona, John; Er枚cal, Bur莽in</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Magma; GitHub; GAP; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/537" title="swMATH ID: 537">Macaulay2</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 2,449 Documents (1988–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Grayson, Daniel R.; Stillman, Michael E.; Eisenbud, David</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SINGULAR; CoCoA; SageMath; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/22205" title="swMATH ID: 22205">Adam</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 2,363 Documents (2016–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Kingma, Diederik P.; Ba, Jimmy</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>PyTorch; TensorFlow; ImageNet; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/161" title="swMATH ID: 161">Coq</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 2,090 Documents (1993–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Dehlinger, Christophe; Dufourd, Jean-Fran莽ois</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Isabelle/HOL; Isabelle; HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/11049" title="swMATH ID: 11049">ElemStatLearn</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 2,037 Documents (2001–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Halvorsen, Kjetil</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>R; UCI-ml; PRMLT; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/503" title="swMATH ID: 503">LAPACK</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,820 Documents (1988–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>LAPACK</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>BLAS; ScaLAPACK; Matlab; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/11008" title="swMATH ID: 11008">BayesDA</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,797 Documents (1997–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Halvorsen, Kjetil</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>R; WinBUGS; Stan; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/14460" title="swMATH ID: 14460">Python</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,793 Documents (1991–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>van Rossum, Guido</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SciPy; NumPy; Scikit; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/866" title="swMATH ID: 866">SINGULAR</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,748 Documents (1991–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Decker, Wolfram; Greuel, Gert-Martin; Pfister, Gerhard; Sch枚nemann, Hans</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Macaulay2; CoCoA; SageMath; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4827" title="swMATH ID: 4827">mctoolbox</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,723 Documents (1995–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Higham, Nick</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; LAPACK; mftoolbox; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/42125" title="swMATH ID: 42125">PRMLT</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,578 Documents (2006–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Bishop, C.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>UCI-ml; ElemStatLearn; Adam; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6383" title="swMATH ID: 6383">LMI toolbox</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,545 Documents (1995–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>MathWorks; Gahinet, P.; Nemirovskii, A.; Laub, A. J.; Chilali, M.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; Control System Toolbox; YALMIP; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/1569" title="swMATH ID: 1569">Isabelle/HOL</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,493 Documents (1995–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Naraschewski, Wolfgang; Nipkow, Tobias</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Coq; Isabelle; HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4002" title="swMATH ID: 4002">SeDuMi</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,437 Documents (1999–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sturm, J. F.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>YALMIP; SDPT3; GloptiPoly; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4595" title="swMATH ID: 4595">YALMIP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,362 Documents (2004–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>L枚fberg, Johan</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SeDuMi; Mosek; Robotics; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4314" title="swMATH ID: 4314">FEniCS</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,338 Documents (2007–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Simula Research Laboratory; University of Cambridge; University of Chicago; Texas Tech University; KTH Royal Institute of Technology</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SyFi; PETSc; DOLFIN; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4105" title="swMATH ID: 4105">Gurobi</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,317 Documents (2010–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Gu, Zonghau; Rothberg, Ed; Bixby, Bob; Gurobi Optimization, Inc.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CPLEX; SCIP; GitHub; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/3258" title="swMATH ID: 3258">CUDA</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,300 Documents (2007–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>NVIDIA; Vingelmann, P茅ter; Fitzek, Frank H. P.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>OpenCL; CUBLAS; Matlab; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/5207" title="swMATH ID: 5207">VRP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,298 Documents (1981–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Alba, Enrique; other contributors</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CVRPSP; CPLEX; Tabu search; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6606" title="swMATH ID: 6606">HE-E1GODF</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,223 Documents (1997–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Toro, E. F</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>HLLE; AUSM; MOOD; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/3229" title="swMATH ID: 3229">L-BFGS</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,110 Documents (1981–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Zhu, Ciyou; Byrd, Richard H.; Lu, Peihuang; Nocedal, Jorge</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>L-BFGS-B; LBFGS-B; Adam; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/21105" title="swMATH ID: 21105">ImageNet</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,100 Documents (2010–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Deng, Jia; Dong, Wei; Socher, Richard; Li, Li Jia; Li, Kai; Li, Fei-Fei</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>AlexNet; Adam; TensorFlow; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4594" title="swMATH ID: 4594">CVX</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,081 Documents (2006–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Grant, Michael; Boyd, Stephen</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SDPT3; SeDuMi; Mosek; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/1059" title="swMATH ID: 1059">AUTO</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,079 Documents (1981–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Doedel; Eusebius; Champneys, Alan; Dercole, Fabio; Fairgrieve, Thomas; Kuznetsov, Yuri; Oldeman, Bart; Paffenroth, Randy; Sandstede, Bjorn; Wang, Xianjun; Zhang, Chenghai</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>AUTO-07P; HomCont; AUTO-86; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/15170" title="swMATH ID: 15170">TensorFlow</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 1,059 Documents (2016–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Google Brain Team; Abadi, Mart铆n; Agarwal, Ashish; Barham, Paul; Brevdo, Eugene; Chen, Zhifeng; Citro, Craig; Corrado, Greg S.; Davis, Andy; Dean, Jeffrey; Devin, Matthieu; Ghemawat, Sanjay; Goodfellow, Ian; Harp, Andrew; Irving, Geoffrey; Isard, Michael; Jia, Yangqing; Jozefowicz, Rafal; Kaiser, Lukasz; Kudlur, Manjunath; Levenberg, Joshand; Man\'{e}, Dandelion; Monga, Rajat; Moore, Sherry; Murray, Derek; Olah, Chris; Schuster, Mike; Shlens, Jonathon; Steiner, Benoit; Sutskever, Ilya; Talwar, Kunal; Tucker, Paul; Vanhoucke, Vincent; Vasudevan, Vijay; Vi\'{e}gas, Fernanda; Vinyals, Oriol; Warden, Pete; Wattenberg, Martin; Wicke, Martin; Yu, Yuan; Zheng, Xiaoqiang</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Adam; PyTorch; Keras; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6293" title="swMATH ID: 6293">SciPy</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 994 Documents (2005–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Jones, E.; Oliphant, T.; Peterson, P.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Python; NumPy; Matplotlib; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/20939" title="swMATH ID: 20939">PyTorch</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 945 Documents (2018–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Paszke, Adam; Gross, Sam; Massa, Francisco; Lerer, Adam; Bradbury, James; Chanan, Gregory; Killeen, Trevor; Lin, Zeming; Gimelshein, Natalia; Antiga, Luca; Desmaison, Alban; Kopf, Andreas; Yang, Edward; DeVito, Zachary; Raison, Martin; Tejani, Alykhan; Chilamkurthy, Sasank; Zagoruyko, Sergey; Tian, Yuandong; Lample, Guillaume; Chintala, Soumith; Dukhan, Marat; Sarofeen, Christian</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Adam; TensorFlow; Python; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4218" title="swMATH ID: 4218">ARPACK</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 923 Documents (1995–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Lehoucq, R. B.; Sorensen, D. C.; Yang, C.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>eigs; JDQZ; JDQR; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/38522" title="swMATH ID: 38522">AlexNet</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 919 Documents (2014–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Krizhevsky, Alex; Sutskever, Ilya; Hinton, Geoffrey E</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>ImageNet; Adam; TensorFlow; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/23728" title="swMATH ID: 23728">MathOverflow</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 919 Documents (2010–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Stack Exchange Inc.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>OEIS; SageMath; GitHub; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4887" title="swMATH ID: 4887">z3</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 881 Documents (2001–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Microsoft Research; de Moura, Leonardo; Bj酶rner, Nikolaj</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CVC4; SMT-LIB; Isabelle/HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/8058" title="swMATH ID: 8058">Scikit</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 877 Documents (2011–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Pedregosa, Fabian; Varoquaux, Ga毛l; Gramfort, Alexandre; Michel, Vincent; Thirion, Bertrand; Grisel, Olivier; Blondel, Mathieu; Prettenhofer, Peter; Weiss, Ron; Dubourg, Vincent; Vanderplas, Jake; Passos, Alexandre; Cournapeau, David; Brucher, Matthieu; Perrot, Matthieu; Duchesnay, 脡douard</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Python; SciPy; TensorFlow; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/3521" title="swMATH ID: 3521">Haskell</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 868 Documents (1989–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>–</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Coq; ML; Isabelle/HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/13986" title="swMATH ID: 13986">Julia</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 846 Documents (2014–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Bezanson, J.; Karpinski, S.; Shah, V. B.; Edelman, A.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>GitHub; JuMP; DifferentialEquations.jl; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/5310" title="swMATH ID: 5310">minpack</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 829 Documents (1979–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Garbow, B.; Hillstrom, K.; More, J.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CUTEr; L-BFGS; HYBRJ; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/680" title="swMATH ID: 680">PARI/GP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 811 Documents (1992–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Cohen, Henri; Belabas, Karim; PARI Group</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Magma; SageMath; ecdata; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4009" title="swMATH ID: 4009">SDPT3</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 799 Documents (1986–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Toh, K. C.; Todd, M. J.; T眉t眉nc眉, R. H.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SeDuMi; YALMIP; CVX; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/23743" title="swMATH ID: 23743">mftoolbox</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 798 Documents (2008–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Higham, N. J.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>mctoolbox; Matlab; MATLAB expm; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/5148" title="swMATH ID: 5148">PDCO</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 798 Documents (1999–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Saunders, M. A</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CoSaMP; SPGL1; NESTA; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/3516" title="swMATH ID: 3516">deal.ii</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 779 Documents (1999–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Bangerth, W.; Hartman, R.; Kanschat, G.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Trilinos; PETSc; p4est; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/454" title="swMATH ID: 454">Isabelle</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 767 Documents (1990–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Paulson, Larry; Nipkow, Tobias; Wenzel, Makarius</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Isabelle/HOL; HOL; Coq; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/7432" title="swMATH ID: 7432">glasso</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 758 Documents (2008–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Mazumder, Rahul; Hastie, Trevor; Friedman, Jerome; Tibshirani, Rob</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>R; glmnet; huge; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/789" title="swMATH ID: 789">REDUCE</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 749 Documents (1970–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Hearn, Anthony C.; Rayna, Gerhard; Sch枚pf, Rainer; Sturm, Thomas</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Maple; Mathematica; MACSYMA; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4618" title="swMATH ID: 4618">Mosek</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 735 Documents (1999–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>MOSEK ApS</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>YALMIP; SeDuMi; CVX; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/611" title="swMATH ID: 611">nauty</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 728 Documents (1988–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>McKay, Brendan; Piperno, Adolfo</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Traces; GAP; OEIS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Group theory and generalizations (20-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/1209" title="swMATH ID: 1209">MACSYMA</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 724 Documents (1971–2023) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>symbolics</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Maple; Mathematica; REDUCE; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/1091" title="swMATH ID: 1091">SCIP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 708 Documents (2005–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Gally, Tristan; Gamrath, Gerald; Gemander, Patrick; Gleixner, Ambros; Gottwald, Robert; Hendel, Gregor; Hojny, Christopher; Maher, Stephen J.; Miltenberger, Matthias; M眉ller, Benjamin; Pfetsch, Marc; Schl枚sser, Franziska; Serrano, Felipe; Vigerske, Stefan; Weninger, Dieter; Witzig, Jakob</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CPLEX; MIPLIB; Gurobi; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/143" title="swMATH ID: 143">CoCoA</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 694 Documents (1989–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>CoCoa-Team; Robbiano, Lorenzo</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Macaulay2; SINGULAR; CoCoALib; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4829" title="swMATH ID: 4829">KELLEY</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 686 Documents (1995–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Kelley, C. T.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>minpack; Matlab; L-BFGS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6233" title="swMATH ID: 6233">Maude</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 671 Documents (1984–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Clavel, M.; Dur谩n, F.; Eker, S.; Lincoln, P.; Mart铆-Oliet, N.; Maude Team</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CafeOBJ; OBJ3; ELAN; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4001" title="swMATH ID: 4001">AMPL</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 670 Documents (1989–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Fourer, R.; Gay, D. M.; Kernighan, B. W.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CPLEX; Ipopt; GAMS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/7031" title="swMATH ID: 7031">JDQZ</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 665 Documents (1996–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Fokkema, D. R.; Sleijpen, G. L. G.; van der Vorst, H. A.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>JDQR; ARPACK; eigs; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/7020" title="swMATH ID: 7020">Eigtool</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 637 Documents (1996–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Wright, Thomas G.; Trefethen, Nick; Embree, Mark</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>ARPACK; Seigtool; Matlab; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Operator theory (47-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/3484" title="swMATH ID: 3484">PVS</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 632 Documents (1993–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Owre, Sam; Shankar, Natarajan; Rushby, John</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Coq; Isabelle/HOL; HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/5492" title="swMATH ID: 5492">HOL</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 627 Documents (1985–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Gordon, Michael J. C.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Isabelle/HOL; Isabelle; ML; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/577" title="swMATH ID: 577">MiniSat</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 622 Documents (2003–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>E茅n, Niklas; S枚rensson, Niklas</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Chaff; z3; BerkMin; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4126" title="swMATH ID: 4126">FFTW</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 616 Documents (2000–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>MIT; Frigo, Matteo; Johnson, Steven G.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; LAPACK; ATLAS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/551" title="swMATH ID: 551">MATCONT</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 609 Documents (2003–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Dhooge, A.; Sautois, B.; Govaerts, W.; Kuznetsov, Yu. A.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>AUTO; Matlab; CL_MATCONT; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4704" title="swMATH ID: 4704">Mizar</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 606 Documents (1983–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Bancerek, Grzegorz; Bylinski, Czeslaw; Grabowski, Adam; Kornilowicz, Artur; Milewski, Robert; Naumowicz, Adam; Trybulec, Andrzej; Urban, Josef</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Coq; Isabelle/HOL; HOL Light; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4702" title="swMATH ID: 4702">Uppaal</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 594 Documents (1990–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Uppsala University, Sweden; Aalborg University in Denmark</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Kronos; HyTech; SPIN; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6916" title="swMATH ID: 6916">Chaff</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 581 Documents (2001–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Moskewicz, Matthew; Madigan, Conor; Zhao, Ying; Zhang, Lintao; Malik, Sharad</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>MiniSat; BerkMin; SATO; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/5897" title="swMATH ID: 5897">Chebfun</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 568 Documents (2004–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Battles, Zachary; Trefethen, Nick; Pach贸n, Ricardo; Platte, Rodrigo; Driscoll, Toby; Bornemann, Folkmar; Aurentz, Jared; Austin, Anthony; Birkisson, 脕sgeir; Filip, Silviu; Gonnet, Pedro; G眉ttel, Stefan; Hale, Nick; Hashemi, Behnam; Hrothgar; Javed, Mohsin; Klein, Georges; Montanelli, Hadrien; Nakatsukasa, Yuji; Richardson, Mark; Townsend, Alex; Wilber, Heather; Wright, Grady; Xu, Kuan; Berrut, Jean-Paul; Noferini, Vanni; Olver, Sheehan; Peixoto, Louren莽o; S猫te, Olivier; Slevinsky, Richard Mikael; Van Deun, Joris; Webb, Marcus</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; DLMF; Chebfun2; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4723" title="swMATH ID: 4723">Knapsack</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 561 Documents (1995–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Pisinger, David; Toth, Paolo</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>CPLEX; MULKNAP; OR-Library; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4021" title="swMATH ID: 4021">JDQR</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 555 Documents (1996–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sleijpen, Gerard L. G.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>JDQZ; ARPACK; eigs; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/12177" title="swMATH ID: 12177">TETRAD</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 544 Documents (1993–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Glymour, Clark; Scheines, Richard; Spirtes, Peter; Ramsey, Joseph</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>pcalg; R; bnlearn; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Statistics (62-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/11881" title="swMATH ID: 11881">OPQ</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 536 Documents (2004–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Gautschi, Walter</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; DLMF; OrthogonalPolynomials; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Special functions (33-XX); Partial differential equations (35-XX); Approximations and expansions (41-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4004" title="swMATH ID: 4004">INTLAB</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 531 Documents (1999–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Rump, Siegfried M.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Matlab; mctoolbox; C-XSC 2.0; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6294" title="swMATH ID: 6294">NumPy</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 531 Documents (2000–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Oliphant, T. E.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Python; SciPy; Matplotlib; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/14021" title="swMATH ID: 14021">BRENT</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 518 Documents (1971–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Brent, Richard; Burkardt, John</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>R; minpack; Matlab; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4209" title="swMATH ID: 4209">LINPACK</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 514 Documents (1979–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Dongarra, J. J.; Moler, C. B.; Bunch, J. R.; Stewart, G. W.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>LAPACK; EISPACK; BLAS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/12859" title="swMATH ID: 12859">MNIST</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 505 Documents (2001–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>LeCun, Y.; Cortes, C.; Burges, Christopher J. C.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Adam; CIFAR; ImageNet; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6496" title="swMATH ID: 6496">MPI</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 498 Documents (1990–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Fike, Jeffrey A.; Alonso, Juan J.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>LAPACK; CUDA; PETSc; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4208" title="swMATH ID: 4208">EISPACK</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 496 Documents (1974–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Smith, Brian; Boyle, James; Dongarra, Jack; Garbow, Burton; Ikebe, Y.; Klema, V.; Moler, Cleve</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>LAPACK; LINPACK; BLAS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/9523" title="swMATH ID: 9523">UMDES</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 496 Documents (1996–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Cassandras, Christos G.; Lafortune, St茅phane</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Supremica; libFAUDES; TCT; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/989" title="swMATH ID: 989">UMFPACK</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 493 Documents (1996–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Davis, Timothy A.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>FreeFem++; deal.ii; PETSc; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/39282" title="swMATH ID: 39282">DGM</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 477 Documents (2017–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sirignano, Justin; Spiliopoulos, Konstantinos</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Adam; DeepXDE; DeepONet; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/9051" title="swMATH ID: 9051">FORM</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 457 Documents (1993–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Kuipers, J.; Ueda, T.; Vermaseren, J. A. M.; Vollinga, J.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Mincer; Reduze; LiteRed; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/118" title="swMATH ID: 118">CGAL</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 454 Documents (1996–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Board, CGAL Editorial</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>LEDA; 2D triangulations; Triangle; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/7521" title="swMATH ID: 7521">UNLocBoX</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 452 Documents (2010–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Perraudin, Nathanael</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>PDCO; GitHub; iPiano; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Operator theory (47-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/4143" title="swMATH ID: 4143">TPTP</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 451 Documents (1994–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sutcliffe, Geoff; Suttner, Christian</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>VAMPIRE; E Theorem Prover; Isabelle/HOL; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Geometry (51-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/66" title="swMATH ID: 66">BARON</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 443 Documents (1996–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Sahinidis, Nikolaos V.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SCIP; CPLEX; GAMS; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/11086" title="swMATH ID: 11086">darch</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 428 Documents (2006–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Drees, Martin</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>ImageNet; AlexNet; Adam; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/724" title="swMATH ID: 724">polymake</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 427 Documents (2000–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Gawrilow, Ewgenij; Joswig, Michael; the polymake team</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Macaulay2; Gfan; SINGULAR; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/6751" title="swMATH ID: 6751">Nuprl</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 426 Documents (1986–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Constable, R. L.; Allen, S. F.; Bromley, H. M.; Cleaveland, W. R.; Cremer, J. F.; Harper, R. W.; Howe, D. J.; Knoblock, T. B.; Mendler, N. P.; Panangaden, P.; Sasaki, J. T.; Smith, S. F.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Coq; HOL; Automath; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/610" title="swMATH ID: 610">NAG</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 424 Documents (1976–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Numerical Algorithms Group</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>nag; Matlab; LAPACK; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/2076" title="swMATH ID: 2076">McEliece</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 417 Documents (1981–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Heyse, Stefan; Moradi, Amir; Paar, Christof</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>BIKE; NTRU; Durandal; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/28701" title="swMATH ID: 28701">Code Tables</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 406 Documents (1998–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Grassl, Markus; Brouwer, A. E.</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Magma; GAP; SageMath; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/42583" title="swMATH ID: 42583">Wasserstein GAN</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 403 Documents (2018–2025) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>Arjovsky, Martin; Chintala, Soumith; Bottou, L茅on</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>Adam; pix2pix; CycleGAN; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …</td> </tr> </table> </div> </div> </div> </article> </div><div class="item" role="listitem"> <article> <h3> <a class="title" href="/software/8566" title="swMATH ID: 8566">symrcm</a> </h3> <div class="container-fluid"> <div class="row"> <div class="col col-xs-4"> <table> <tr> <td> Cited in 402 Documents (1979–2024) </td> </tr> </table> </div> <div class="col col-xs-8"> <table> <tr> <td><strong>Software Authors:</strong></td> <td>George, Alan; Joseph Liu; Gilbert, John R.; Cleve Moler; Robert Schreiber</td> </tr> <tr> <td><strong>Related Software:</strong></td> <td>SparseMatrix; CSparse; LAPACK; … </td> </tr> <tr> <td><strong>Main Fields:</strong></td> <td>Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …</td> </tr> </table> </div> </div> </div> </article> </div></section> <section class="content-filter"><h2 class="filters-caption">Filter Results by …</h2> <div class="filter filter-ai"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Author</h3> <ul><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ahashemi.amir">Hashemi, Amir</a> (25) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Azeilberger.doron">Zeilberger, Doron</a> (19) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aeisenbud.david">Eisenbud, David</a> (18) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschreyer.frank-olaf">Schreyer, Frank-Olaf</a> (18) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abohm.janko">B枚hm, Janko</a> (16) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alevandovskyy.viktor">Levandovskyy, Viktor</a> (15) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Apfister.gerhard">Pfister, Gerhard</a> (15) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Astillman.michael-eugene">Stillman, Michael Eugene</a> (12) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aleykin.anton">Leykin, Anton</a> (11) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Amoreno-maza.marc">Moreno Maza, Marc</a> (11) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Adecker.wolfram">Decker, Wolfram</a> (10) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Anoonan.john">Noonan, John</a> (9) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Arobertz.daniel">Robertz, Daniel</a> (9) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschwede.karl-e">Schwede, Karl E.</a> (9) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asijsling.jeroen">Sijsling, Jeroen</a> (9) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abarakat.mohamed">Barakat, Mohamed</a> (8) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abernstein.daniel-j">Bernstein, Daniel Julius</a> (8) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agerdt.vladimir-p">Gerdt, Vladimir Petrovich</a> (8) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asteenpass.andreas">Steenpa脽, Andreas</a> (8) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Averschelde.jan">Verschelde, Jan</a> (8) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agutsche.sebastian">Gutsche, Sebastian</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alaplagne.santiago">Laplagne, Santiago</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Am-alizadeh.benyamin">M.-Alizadeh, Benyamin</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Amourrain.bernard">Mourrain, Bernard</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Astagliano.giovanni">Staglian貌, Giovanni</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asteidel.stefan">Steidel, Stefan</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asturmfels.bernd">Sturmfels, Bernd</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Athiemann.rene">Thiemann, Ren茅</a> (7) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aablamowicz.rafal">Ab艂amowicz, Rafa艂</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agreuel.gert-martin">Greuel, Gert-Martin</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ahelmer.martin">Helmer, Martin</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ajensen.anders-nedergaard">Jensen, Anders Nedergaard</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akojima.masakazu">Kojima, Masakazu</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alange-hegermann.markus">Lange-Hegermann, Markus</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Anoro.masayuki">Noro, Masayuki</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aseiler.werner-m">Seiler, Werner M.</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Azimmermann.paul">Zimmermann, Paul</a> (6) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abalakrishnan.jennifer-s">Balakrishnan, Jennifer S.</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abates.daniel-j">Bates, Daniel J.</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abini.dario-andrea">Bini, Dario Andrea</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Adavis.timothy-a">Davis, Timothy Alden</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Adivason.jose">Divas贸n, Jose</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aducas.leo">Ducas, L茅o</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aemiris.ioannis-z">Emiris, Ioannis Z.</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afieker.claus">Fieker, Claus</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afruhbis-kruger.anne">Fr眉hbis-Kr眉ger, Anne</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agraf-von-bothmer.hans-christian">Graf von Bothmer, Hans-Christian</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ahauenstein.jonathan-d">Hauenstein, Jonathan D.</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ajoyner.david">Joyner, David</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akeicher.simon">Keicher, Simon</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akim.sunyoung">Kim, Sunyoung</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akrone.robert">Krone, Robert</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alange.tanja">Lange, Tanja</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alecerf.gregoire">Lecerf, Gr茅goire</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Amagron.victor">Magron, Victor</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Amarais.magdaleen-s">Marais, Magdaleen S.</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Arodriguez.jose-israel">Rodriguez, Jose Israel</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Arouillier.fabrice">Rouillier, Fabrice</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschicho.josef">Schicho, Josef</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschonemann.hans">Sch枚nemann, Hans</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschost.eric">Schost, 脡ric</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aschwabe.peter">Schwabe, Peter</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asottile.frank">Sottile, Frank</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aswinarski.david">Swinarski, David</a> (5) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aafzal.deeba">Afzal, Deeba</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Abarrett.clark-w">Barrett, Clark W.</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Achen.justin">Chen, Justin</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Acremona.john-e">Cremona, John E.</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ade-graaf.willem-adriaan">de Graaf, Willem Adriaan</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Adehghani-darmian.mahdi">Dehghani Darmian, Mahdi</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aduff.timothy">Duff, Timothy</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aeder.christian">Eder, Christian</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afaugere.jean-charles">Faug猫re, Jean-Charles</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afauser.bertfried">Fauser, Bertfried</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afisikopoulos.vissarion">Fisikopoulos, Vissarion</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Afukuda.komei">Fukuda, Komei</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agaletto.federico">Galetto, Federico</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Agarcia-puente.luis-david">Garc铆a Puente, Luis David</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akastner.lars">Kastner, Lars</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akatzman.mordechai">Katzman, Mordechai</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akauers.manuel">Kauers, Manuel</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akazemi.mahsa">Kazemi, Mahsa</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akeneshlou.hanieh">Keneshlou, Hanieh</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akoutschan.christoph">Koutschan, Christoph</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akreuzer.martin">Kreuzer, Martin</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Akuznetsov.yuri-a">Kuznetsov, Yuri沫 Aleksandrovich</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aleander.gregor">Leander, Gregor</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alesgourgues.julien">Lesgourgues, Julien</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Alyubashevsky.vadim">Lyubashevsky, Vadim</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Amanocha.dinesh">Manocha, Dinesh</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Anaehrig.michael">Naehrig, Michael</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Anichols.nathan">Nichols, Nathan</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aparrilo.pablo-a">Parrilo, Pablo A.</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Apetrovic.sonja">Petrovi膰, Sonja</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aposur.sebastian">Posur, Sebastian</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Arechberger.christian">Rechberger, Christian</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aren.yue">Ren, Yue</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Ariese.axel">Riese, Axel</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Aritzenthaler.christophe">Ritzenthaler, Christophe</a> (4) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ai%3Asafey-el-din.mohab">Safey El Din, Mohab</a> (4) </li><li class="more">and 3,529 more Authors</li></ul> </div> <div class="filter filter-ri"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Related Software</h3> <ul><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A23170">GitHub</a> (646) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A537">Macaulay2</a> (463) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A866">SINGULAR</a> (424) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A825">SageMath</a> (405) </li><li> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A545">Maple</a> (381) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A554">Mathematica</a> (327) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A540">Magma</a> (320) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A558">Matlab</a> (289) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A320">GAP</a> (215) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A14460">Python</a> (173) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A7248">OEIS</a> (149) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A771">R</a> (142) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A13986">Julia</a> (129) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A724">polymake</a> (126) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A705">PHCpack</a> (121) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A143">CoCoA</a> (118) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6683">Bertini</a> (112) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A161">Coq</a> (96) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A1569">Isabelle/HOL</a> (94) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6293">SciPy</a> (93) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4105">Gurobi</a> (87) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4698">Gfan</a> (86) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A630">Normaliz</a> (85) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A363">gmp</a> (84) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A680">PARI/GP</a> (84) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4618">Mosek</a> (84) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4827">mctoolbox</a> (83) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A503">LAPACK</a> (79) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4082">CPLEX</a> (79) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4002">SeDuMi</a> (78) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4887">z3</a> (73) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A454">Isabelle</a> (70) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6294">NumPy</a> (69) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A8058">Scikit</a> (68) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A789">REDUCE</a> (67) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A9051">FORM</a> (66) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A3258">CUDA</a> (65) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4595">YALMIP</a> (63) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A15170">TensorFlow</a> (63) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A22205">Adam</a> (63) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4968">DLMF</a> (62) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A611">nauty</a> (61) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4009">SDPT3</a> (61) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A10354">Reduze</a> (60) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A20939">PyTorch</a> (60) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A286">FGb</a> (59) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A752">QEPCAD</a> (59) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A796">RegularChains</a> (59) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A719">Plural</a> (58) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4379">4ti2</a> (57) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A5492">HOL</a> (56) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A411">homalg</a> (55) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A1091">SCIP</a> (55) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A7741">ISOLATE</a> (55) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6590">Matplotlib</a> (54) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A638">NTL</a> (53) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A10355">FIRE</a> (53) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A16341">LiteRed</a> (53) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4074">UCI-ml</a> (51) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4704">Mizar</a> (51) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A22100">HomotopyContinuation</a> (50) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A297">FLINT</a> (49) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A34816">Kira</a> (48) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A118">CGAL</a> (47) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A3484">PVS</a> (47) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6580">HOL Light</a> (46) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A28613">Archive Formal Proofs</a> (46) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A42125">PRMLT</a> (45) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A344">gfun</a> (44) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4343">GloptiPoly</a> (44) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A410">HOM4PS</a> (43) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4012">PETSc</a> (43) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4594">CVX</a> (43) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4203">GeoGebra</a> (42) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A7249">LMFDB</a> (42) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A891">Sostools</a> (41) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A3275">SDPA</a> (41) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4867">TOPCOM</a> (41) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A16360">FIESTA</a> (41) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A114">cdd</a> (40) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4250">REDLOG</a> (40) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A21105">ImageNet</a> (40) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4808">Ipopt</a> (39) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A6474">FeynArts</a> (39) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A7351">alphaCertified</a> (38) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A13824">SIMON</a> (38) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A495">Kronecker</a> (37) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A3312">MPFR</a> (37) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A940">SymPy</a> (36) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A8313">PRESENT</a> (36) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A38522">AlexNet</a> (36) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A4143">TPTP</a> (35) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A7776">Janet</a> (35) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A11761">NTRU</a> (35) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A23728">MathOverflow</a> (35) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A27519">Book3264Examples</a> (35) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A60">ACL2</a> (34) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A806">Risa/Asir</a> (34) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A1209">MACSYMA</a> (34) </li><li class="more"> <a href="/software/?q=%28cc%3A13+%7C+14%29+ri%3A3521">Haskell</a> (34) </li><li class="more">and 5,866 more Software Packages</li></ul> </div> <div class="filter filter-cc"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 3 <i class="caret"></i></a><h3 class="filter-caption">Main Field</h3> <ul><li> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A14" title="Algebraic geometry">14-XX </a> (1,469) </li><li> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A68" title="Computer science">68-XX </a> (1,440) </li><li> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A13" title="Commutative algebra">13-XX </a> (1,179) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A65" title="Numerical analysis">65-XX </a> (984) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A05" title="Combinatorics">05-XX </a> (804) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A81" title="Quantum theory">81-XX </a> (733) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A11" title="Number theory">11-XX </a> (710) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A90" title="Operations research, mathematical programming">90-XX </a> (677) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A94" title="Information and communication theory, circuits">94-XX </a> (645) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A15" title="Linear and multilinear algebra; matrix theory">15-XX </a> (574) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A62" title="Statistics">62-XX </a> (574) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A92" title="Biology and other natural sciences">92-XX </a> (497) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A35" title="Partial differential equations">35-XX </a> (486) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A60" title="Probability theory and stochastic processes">60-XX </a> (484) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A52" title="Convex and discrete geometry">52-XX </a> (467) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A37" title="Dynamical systems and ergodic theory">37-XX </a> (461) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A91" title="Game theory, economics, finance, and other social and behavioral sciences">91-XX </a> (458) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A00" title="General and overarching topics; collections">00-XX </a> (445) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A93" title="Systems theory; control">93-XX </a> (436) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A12" title="Field theory and polynomials">12-XX </a> (422) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A34" title="Ordinary differential equations">34-XX </a> (419) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A70" title="Mechanics of particles and systems">70-XX </a> (400) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A20" title="Group theory and generalizations">20-XX </a> (390) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A82" title="Statistical mechanics, structure of matter">82-XX </a> (370) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A53" title="Differential geometry">53-XX </a> (335) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A16" title="Associative rings and algebras">16-XX </a> (333) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A03" title="Mathematical logic and foundations">03-XX </a> (328) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A76" title="Fluid mechanics">76-XX </a> (328) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A49" title="Calculus of variations and optimal control; optimization">49-XX </a> (326) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A33" title="Special functions">33-XX </a> (312) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A74" title="Mechanics of deformable solids">74-XX </a> (307) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A83" title="Relativity and gravitational theory">83-XX </a> (304) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A47" title="Operator theory">47-XX </a> (295) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A51" title="Geometry">51-XX </a> (294) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A32" title="Several complex variables and analytic spaces">32-XX </a> (289) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A41" title="Approximations and expansions">41-XX </a> (283) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A26" title="Real functions">26-XX </a> (271) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A30" title="Functions of a complex variable">30-XX </a> (270) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A58" title="Global analysis, analysis on manifolds">58-XX </a> (269) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A57" title="Manifolds and cell complexes">57-XX </a> (264) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A78" title="Optics, electromagnetic theory">78-XX </a> (260) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A55" title="Algebraic topology">55-XX </a> (258) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A46" title="Functional analysis">46-XX </a> (210) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A06" title="Order, lattices, ordered algebraic structures">06-XX </a> (209) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A17" title="Nonassociative rings and algebras">17-XX </a> (203) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A01" title="History and biography">01-XX </a> (200) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A18" title="Category theory; homological algebra">18-XX </a> (194) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A42" title="Harmonic analysis on Euclidean spaces">42-XX </a> (194) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A80" title="Classical thermodynamics, heat transfer">80-XX </a> (187) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A86" title="Geophysics">86-XX </a> (184) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A22" title="Topological groups, Lie groups">22-XX </a> (168) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A39" title="Difference and functional equations">39-XX </a> (152) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A85" title="Astronomy and astrophysics">85-XX </a> (150) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A28" title="Measure and integration">28-XX </a> (144) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A97" title="Mathematics education">97-XX </a> (140) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A45" title="Integral equations">45-XX </a> (117) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A54" title="General topology">54-XX </a> (111) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A44" title="Integral transforms, operational calculus">44-XX </a> (104) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A08" title="General algebraic systems">08-XX </a> (76) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A31" title="Potential theory">31-XX </a> (72) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A40" title="Sequences, series, summability">40-XX </a> (58) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A19" title="$K$-theory">19-XX </a> (35) </li><li class="more"> <a class="" href="/software/?q=%28cc%3A13+%7C+14%29+cc%3A43" title="Abstract harmonic analysis">43-XX </a> (34) </li></ul> </div> </section> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

Software Search - zbMATH Open