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/6216?"> <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:6216" 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>GeoThms</h2> </div> <div class="text"> <table> <tr> <td>swMATH ID:</td> <td> 6216 </td> </tr> <tr> <td>Software Authors:</td> <td> Quaresma, Pedro; Jani膷i膰, Predrag </td> </tr> <tr> <td>Description:</td> <td>GeoThms – a web system for Euclidean constructive geometry GeoThms is a web-based framework for exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers (ATP), and a repository of geometrical constructions, figures and proofs. The GeoThms users can easily use/browse through existing geometrical content and build new contents. In this paper we describe GeoThms functionalities, focusing on the interface solutions required for a system aimed at supporting studying and teaching geometry via internet. GeoThms is a publicly accessible system with a growing body of geometrical constructions and formally proven geometrical theorems. We believe that, with the help of all its users it will become an important Internet resource for geometry.</td> </tr> <tr> <td>Homepage:</td> <td> <a href="http://hilbert.mat.uc.pt/~geothms/">http://hilbert.mat.uc.pt/~geothms/</a> </td> </tr> <tr> <td>Keywords:</td> <td> <a href="/software/?q=ut%3Aweb+interfaces+for+proof+systems">web interfaces for proof systems</a>; <a href="/software/?q=ut%3Aautomated+geometry+theorem+proving">automated geometry theorem proving</a>; <a href="/software/?q=ut%3Adynamic+geometry+software">dynamic geometry software</a> </td> </tr> <tr> <td>Related Software:</td> <td> <a href="/software/6215">GCLCprover</a>; <a href="/software/326">GCLC</a>; <a href="/software/4203">GeoGebra</a>; <a href="/software/9961">GEX</a>; <a href="/software/5737">GeoProof</a>; <a href="/software/2842">GEOTHER 1.1</a>; <a href="/software/127">Cinderella</a>; <a href="/software/12327">TGTP</a>; <a href="/software/9853">Intergeo</a>; <a href="/software/13613">JGEX</a>; <a href="/software/161">Coq</a>; <a href="/software/12328">GeoView</a>; <a href="/software/584">MMP/Geometer</a>; <a href="/software/7179">OpenGeoProver</a>; <a href="/software/961">Theorema</a>; <a href="/software/8574">WinGCLC</a>; <a href="/software/7212">gcl</a>; <a href="/software/5406">Eukleides</a>; <a href="/software/7192">ArgoCLP</a>; <a href="/software/25268">GATP</a> </td> </tr> <tr class="indexed"> <td>Cited in:</td> <td> <a href="/?q=si%3A6216">26 Documents</a> </td> </tr> </table> </div> <div class="profile"> <div class="standard_articles publications"> <h3 style="margin-bottom: 0"> Standard Articles </h3> <table> <thead> <tr> <th> <strong> 1 Publication describing the Software, including <a href="/?q=an%3A5187445">1 Publication in zbMATH </a></strong> </th> <th> Year </th> </tr> </thead> <tbody> <tr> <td> <a class="black" href="/1188.68264">Integrating dynamic geometry software, deduction systems, and theorem repositories.</a> <a class="label" href="/1188.68264">Zbl 1188.68264</a><br><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/janicic.predrag" title="Author Profile">Jani膷i膰, Predrag</a> </td> <td> <div class="citation_year">2006</div> </td> </tr> </tbody> </table> </div> <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 28 Authors</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A6216+ai%3Aquaresma.pedro" title="Citing Publications by this Author">11</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%3A6216+ai%3Ajanicic.predrag" title="Citing Publications by this Author">9</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%3A6216+ai%3Achen.xiaoyu" title="Citing Publications by this Author">4</a> </td> <td class="text"> <a href="/authors/chen.xiaoyu" title="Author Profile"> Chen, Xiaoyu </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A6216+ai%3Akovacs.zoltan" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/kovacs.zoltan" title="Author Profile"> Kov谩cs, Zolt谩n </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A6216+ai%3Awang.dongming" title="Citing Publications by this Author">3</a> </td> <td class="text"> <a href="/authors/wang.dongming" title="Author Profile"> Wang, Dongming </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+ai%3Amarinkovic.vesna" title="Citing Publications by this Author">2</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%3A6216+ai%3Anarboux.julien" title="Citing Publications by this Author">2</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%3A6216+ai%3Abaeta.nuno" title="Citing Publications by this Author">1</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%3A6216+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%3A6216+ai%3Abillich.martin" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/billich.martin" title="Author Profile"> Billich, Martin </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+ai%3Aborwein.jonathan-michael" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/borwein.jonathan-michael" title="Author Profile"> Borwein, Jonathan Michael </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+ai%3Abotana.francisco" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/botana.francisco" title="Author Profile"> Botana, Francisco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+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%3A6216+ai%3Agraziani.pierluigi" title="Citing Publications by this Author">1</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%3A6216+ai%3Aharalambous.yannis" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/haralambous.yannis" title="Author Profile"> Haralambous, Yannis </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+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%3A6216+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%3A6216+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%3A6216+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%3A6216+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%3A6216+ai%3Arecio.tomas" title="Citing Publications by this Author">1</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%3A6216+ai%3Arocha.eugenio-a-m" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/rocha.eugenio-a-m" title="Author Profile"> Rocha, Eug茅nio A. M. </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+ai%3Arodrigues.jose-francisco" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/rodrigues.jose-francisco" title="Author Profile"> Rodrigues, Jos茅 Francisco </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+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%3A6216+ai%3Aselakovic.milica" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/selakovic.milica" title="Author Profile"> Selakovi膰, Milica </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+ai%3Asong.dan" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/song.dan" title="Author Profile"> Song, Dan </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+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%3A6216+ai%3Azhang.jingzhong" title="Citing Publications by this Author">1</a> </td> <td class="text"> <a href="/authors/zhang.jingzhong" title="Author Profile"> Zhang, Jingzhong </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 6 Serials</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A6216+se%3A1150" title="Citing Publications in this Serial">4</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%3A6216+se%3A4909" title="Citing Publications in this Serial">3</a> </td> <td class="text"> <a href="/serials/?q=se%3A4909" title="Serial Profile"> Mathematics in Computer Science </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A6216+se%3A2122" title="Citing Publications in this Serial">2</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%3A6216+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> <td class="number"> <a href="/?q=si%3A6216+se%3A1072" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A1072" title="Serial Profile"> Journal of Symbolic Computation </a> </td></tr><tr class="more"> <td class="number"> <a href="/?q=si%3A6216+se%3A8312" title="Citing Publications in this Serial">1</a> </td> <td class="text"> <a href="/serials/?q=se%3A8312" title="Serial Profile"> Scientific Issues. Jan D艂ugosz University in Cz臋stochowa. Mathematics </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 6 Fields</h3> <table class="profile"> <tr> <td class="number"> <a href="/?q=si%3A6216+cc%3A68" title="Citing Publications in this Field">25</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%3A6216+cc%3A51" title="Citing Publications in this Field">9</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%3A6216+cc%3A97" title="Citing Publications in this Field">4</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%3A6216+cc%3A00" title="Citing Publications in this Field">1</a> </td> <td class="text"> <a href="/classification/?q=cc%3A00" title="Mathematics Subject Classification"> General and overarching topics; collections <span style="white-space: nowrap;">(00-XX)</span> </a> </td></tr><tr> <td class="number"> <a href="/?q=si%3A6216+cc%3A03" title="Citing Publications in this Field">1</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 class="more"> <td class="number"> <a href="/?q=si%3A6216+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:2006, frequency:2 },{ year:2007, frequency:2 },{ year:2008, frequency:1 },{ year:2010, frequency:1 },{ year:2011, frequency:4 },{ year:2012, frequency:3 },{ year:2013, frequency:1 },{ year:2014, frequency:2 },{ year:2015, frequency:4 },{ year:2017, frequency:1 },{ year:2018, frequency:1 },{ year:2019, frequency:1 },{ year:2020, frequency:2 },{ year:2023, frequency:1 }]; 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%3A6216+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>