CINXE.COM
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"> <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/9961?"> <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="si:9961" 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-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="software"> <div class="content-main"> <article> <div class="head"> <h2>GEX</h2> </div> <div class="text"> <table> <tr> <td>swMATH ID:</td> <td> 9961 </td> </tr> <tr> <td>Software Authors:</td> <td> Gao, X.-S. </td> </tr> <tr> <td>Description:</td> <td>Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem proving and discovering. As a dynamic geometry software, GEX can be used to build dynamic visual models to assist teaching and learning of various mathematical concepts. As an automated reasoning software, we can build dynamic logic models which can do reasoning themselves. 1) Geometry Expert (GEX) is a powerful computer program for geometric reasoning. Within its domain, it invites comparison with the best of human geometry provers. It implements most of the effective methods for geometric reasoning introduced in the past twenty years, including the deductive base method, Wu’s method, the area method, the Groebner basis method, the vector method, and the full-angle method. With these methods, users may automated prove geometry theorems, to discover new prrperties of theorems, and to generate readable proofs for mant geometry throerms. 2) By dynamic visual models, we mean models built by computer softwares that can be changed dynamically. With GEX, we can build four classes of dynamic visual models: geometric transformations, loci generation, diagrams of functions, and loci generation.</td> </tr> <tr> <td>Homepage:</td> <td> <a href="http://www.mmrc.iss.ac.cn/gex/">http://www.mmrc.iss.ac.cn/gex/</a> </td> </tr> <tr> <td>Related Software:</td> <td> <a href="/software/4203">GeoGebra</a>; <a href="/software/13613">JGEX</a>; <a href="/software/5737">GeoProof</a>; <a href="/software/326">GCLC</a>; <a href="/software/6216">GeoThms</a>; <a href="/software/2842">GEOTHER 1.1</a>; <a href="/software/127">Cinderella</a>; <a href="/software/4858">Geometer's Sketchpad</a>; <a href="/software/6215">GCLCprover</a>; <a href="/software/161">Coq</a>; <a href="/software/584">MMP/Geometer</a>; <a href="/software/7179">OpenGeoProver</a>; <a href="/software/12328">GeoView</a>; <a href="/software/7212">gcl</a>; <a href="/software/554">Mathematica</a>; <a href="/software/866">SINGULAR</a>; <a href="/software/143">CoCoA</a>; <a href="/software/7192">ArgoCLP</a>; <a href="/software/9861">Lugares</a>; <a href="/software/6663">Giac</a> </td> </tr> <tr class="indexed"> <td>Cited in:</td> <td> <a href="/?q=si%3A9961">35 Documents</a> </td> </tr> </table> </div> <div class="profile"> <div class="facet1st"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited by 38 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A9961+ai%3Aquaresma.pedro" title="Citing Publications by this Author">8</a> </td> <td class="text"> <a href="/authors/quaresma.pedro" title="Author Profile"> Quaresma, Pedro </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+ai%3Abotana.francisco" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/botana.francisco" title="Author Profile"> Botana, Francisco </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+ai%3Agao.xiaoshan" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/gao.xiaoshan" title="Author Profile"> Gao, Xiaoshan </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+ai%3Ajanicic.predrag" title="Citing Publications by this Author">6</a> </td> <td class="text"> <a href="/authors/janicic.predrag" title="Author Profile"> Jani膷i膰, Predrag </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+ai%3Akovacs.zoltan" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/kovacs.zoltan" title="Author Profile"> Kov谩cs, Zolt谩n </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Anarboux.julien" title="Citing Publications by this Author">5</a> </td> <td class="text"> <a href="/authors/narboux.julien" title="Author Profile"> Narboux, Julien </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Achou.shangching" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/chou.shangching" title="Author Profile"> Chou, Shangching </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aye.zheng" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/ye.zheng" title="Author Profile"> Ye, Zheng </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Abaeta.nuno" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/baeta.nuno" title="Author Profile"> Baeta, Nuno </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Agraziani.pierluigi" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/graziani.pierluigi" title="Author Profile"> Graziani, Pierluigi </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Arecio.tomas" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/recio.tomas" title="Author Profile"> Recio, Tomas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Avalcarce.jose-l" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/valcarce.jose-l" title="Author Profile"> Valcarce, Jos茅 L. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Azhang.jingzhong" title="Citing Publications by this Author">2</a> </td> <td class="text"> <a href="/authors/zhang.jingzhong" title="Author Profile"> Zhang, Jingzhong </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aabanades.miguel-angel" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/abanades.miguel-angel" title="Author Profile"> Ab谩nades, Miguel Angel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Abertot.yves" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/bertot.yves" title="Author Profile"> Bertot, Yves </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aboutry.pierre" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/boutry.pierre" title="Author Profile"> Boutry, Pierre </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Abraun.gabriel" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/braun.gabriel" title="Author Profile"> Braun, Gabriel </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Achen.hangfei" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/chen.hangfei" title="Author Profile"> Chen, Hangfei </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Achen.wensheng" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/chen.wensheng" title="Author Profile"> Chen, Wensheng </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Achen.xiaoyu" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/chen.xiaoyu" title="Author Profile"> Chen, Xiaoyu </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Agenevaux.jean-david" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/genevaux.jean-david" title="Author Profile"> G茅nevaux, Jean-David </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Agrabe.hans-gert" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/grabe.hans-gert" title="Author Profile"> Gr盲be, Hans-Gert </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Ahohenwarter.markus" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/hohenwarter.markus" title="Author Profile"> Hohenwarter, Markus </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Ajiang.jianguo" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/jiang.jianguo" title="Author Profile"> Jiang, Jianguo </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Amarinkovic.vesna" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/marinkovic.vesna" title="Author Profile"> Marinkovi膰, Vesna </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Anikolic.mladen" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/nikolic.mladen" title="Author Profile"> Nikoli膰, Mladen </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aolsak.miroslav" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/olsak.miroslav" title="Author Profile"> Ol拧谩k, Miroslav </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Apetrovic.ivan" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/petrovic.ivan" title="Author Profile"> Petrovic, Ivan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Apham.tuan-minh" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/pham.tuan-minh" title="Author Profile"> Pham, Tuan Minh </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aroanes-lozano.eugenio" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/roanes-lozano.eugenio" title="Author Profile"> Roanes-Lozano, Eugenio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aroanes-macias.eugenio" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/roanes-macias.eugenio" title="Author Profile"> Roanes-Mac铆as, Eugenio </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Asantos.vanda" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/santos.vanda" title="Author Profile"> Santos, Vanda </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aschreck.pascal" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/schreck.pascal" title="Author Profile"> Schreck, Pascal </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Asolyom-gecse.csilla" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/solyom-gecse.csilla" title="Author Profile"> S贸lyom-Gecse, Csilla </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Atang.jianliang" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/tang.jianliang" title="Author Profile"> Tang, Jianliang </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Avan-labeke.nicolas" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/van-labeke.nicolas" title="Author Profile"> Van Labeke, Nicolas </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Aweitzhofer.simon" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/weitzhofer.simon" title="Author Profile"> Weitzhofer, Simon </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+ai%3Azhu.changcai" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/zhu.changcai" title="Author Profile"> Zhu, Changcai </a> </td></tr> </table> </div> <div class="facet2nd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 8 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A9961+se%3A1150" title="Citing Publications in this Serial">7</a> </td> <td class="text"> <a href="/serials/?q=se%3A1150" title="Serial Profile"> Journal of Automated Reasoning </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+se%3A2122" title="Citing Publications in this Serial">5</a> </td> <td class="text"> <a href="/serials/?q=se%3A2122" title="Serial Profile"> Annals of Mathematics and Artificial Intelligence </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+se%3A556" title="Citing Publications in this Serial">4</a> </td> <td class="text"> <a href="/serials/?q=se%3A556" title="Serial Profile"> Mathematics and Computers in Simulation </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+se%3A1072" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+se%3A1111" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A1111" title="Serial Profile"> Journal of Computer Science and Technology </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+se%3A2851" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A2851" title="Serial Profile"> Journal of Systems Science and Complexity </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+se%3A4909" title="Citing Publications in this Serial">2</a> </td> <td class="text"> <a href="/serials/?q=se%3A4909" title="Serial Profile"> Mathematics in Computer Science </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+se%3A1378" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1378" title="Serial Profile"> Computational Geometry </a> </td></tr> </table> </div> <div class="facet3rd"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3>Cited in 9 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A9961+cc%3A68" title="Citing Publications in this Field">34</a> </td> <td class="text"> <a href="/classification/?q=cc%3A68" title="Mathematics Subject Classification"> Computer science <span style="white-space: nowrap;">(68-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+cc%3A51" title="Citing Publications in this Field">14</a> </td> <td class="text"> <a href="/classification/?q=cc%3A51" title="Mathematics Subject Classification"> Geometry <span style="white-space: nowrap;">(51-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+cc%3A03" title="Citing Publications in this Field">4</a> </td> <td class="text"> <a href="/classification/?q=cc%3A03" title="Mathematics Subject Classification"> Mathematical logic and foundations <span style="white-space: nowrap;">(03-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+cc%3A97" title="Citing Publications in this Field">3</a> </td> <td class="text"> <a href="/classification/?q=cc%3A97" title="Mathematics Subject Classification"> Mathematics education <span style="white-space: nowrap;">(97-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A9961+cc%3A65" title="Citing Publications in this Field">2</a> </td> <td class="text"> <a href="/classification/?q=cc%3A65" title="Mathematics Subject Classification"> Numerical analysis <span style="white-space: nowrap;">(65-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+cc%3A13" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A13" title="Mathematics Subject Classification"> Commutative algebra <span style="white-space: nowrap;">(13-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+cc%3A14" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A14" title="Mathematics Subject Classification"> Algebraic geometry <span style="white-space: nowrap;">(14-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+cc%3A70" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A70" title="Mathematics Subject Classification"> Mechanics of particles and systems <span style="white-space: nowrap;">(70-XX)</span> </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A9961+cc%3A94" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A94" title="Mathematics Subject Classification"> Information and communication theory, circuits <span style="white-space: nowrap;">(94-XX)</span> </a> </td></tr> </table> </div> <div class="diagram svg-diagram"> <h3>Citations by Year</h3> <div class="diagram si-diagram" aria-label="citing publications by year"></div> <style> rect:hover { fill: steelblue; } .axis path, .axis line { fill: none; stroke: #000; shape-rendering: crispEdges; } .bar { fill: steelblue; } a:hover .bar, a:focus .bar { stroke: black; fill-opacity: 60%; } </style> <script src="/static/js/d3.v3.min.js"></script> <script> var margin = { top: 20, right: 0, bottom: 30, left: 50 }; var width = 930 - margin.left - margin.right; var height = 150 - margin.top - margin.bottom; var svg = d3.selectAll(".si-diagram").append("svg") .attr("width", width + margin.left + margin.right) .attr("height", height + margin.top + margin.bottom) .append("g") .attr("transform", "translate(" + margin.left + "," + margin.top + ")"); var data = [{ year:1996, frequency:1 },{ year:1999, frequency:1 },{ year:2001, frequency:1 },{ year:2003, frequency:1 },{ year:2004, frequency:2 },{ year:2006, frequency:1 },{ year:2007, frequency:2 },{ year:2010, frequency:5 },{ year:2011, frequency:2 },{ year:2012, frequency:3 },{ year:2014, frequency:2 },{ year:2015, frequency:3 },{ year:2017, frequency:1 },{ year:2018, frequency:1 },{ year:2019, frequency:3 },{ year:2020, frequency:3 },{ year:2023, frequency:3 }]; data.forEach(function(d) { d.year = +d.year; d.frequency = +d.frequency; }); var xScale = d3.scale.ordinal() .rangeRoundBands([0, width], .1); var yScale = d3.scale.linear() .range([height, 0]); // fill if less than 20 years span var zero = d3.max( [ 20 - ( d3.max( data, d => d.year ) + 1 - d3.min( data, d => d.year ) ), 0 ] ); // generate range from min to max xScale.domain( d3.range( d3.min( data, d => d.year ), d3.max( data, d => d.year ) + 1 + zero ) ); yScale.domain( [ 0, d3.max( data, d => d.frequency ) ] ); var xAxis = d3.svg.axis() .scale(xScale) .tickValues( // show ticks every 5 years for range up to 50 years, every 10 // years up to 100 years, and every 20 years above that xScale.domain().filter( function(d, i) { let ticks; if (xScale.domain().length <= 50) { ticks = 5; } else if (xScale.domain().length <= 100) { ticks = 10; } else { ticks = 20; } return !(d % ticks); } ) ) .tickSize(6,3,0) // removes end tick .orient("bottom"); var yAxis = d3.svg.axis() .scale(yScale) .ticks(3) // number of ticks .tickFormat(d3.format("d")) // only integers .tickSize(6,3,0) // removes end tick .orient("left"); svg.selectAll(".bar") .data(data) .enter() .append("a") .attr( "xlink:href", d => "/?q=si%3A9961+py%3A" + d.year ) .attr( "title", d => d.frequency + " Publication" + (d.frequency > 1 ? "s" : "") + " in " + d.year ) .append("rect") .attr("class", "bar") .attr("x", d => xScale(d.year)) .attr("width", xScale.rangeBand()) .attr("y", d => yScale(d.frequency)) .attr("height", d => height - yScale(d.frequency)); svg.append("g") .attr("class", "x axis") .attr("transform", "translate(0," + height + ")") .call(xAxis); svg.append("g") .attr("class", "y axis") .call(yAxis) .append("text") .attr("transform", "rotate(-90)") .attr("y", 6) .attr("dy", ".75em") .style("text-anchor", "end") .text(""); </script> </div> </div> </article> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2024 <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>