Document Search Results

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Search Results - 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/zbmath.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="/?q=Geometry+sw%3AGCLC"> <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/zbmath.gif" alt="zbMATH Open — the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents active"> <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"> <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="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</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-la" placeholder="use name or ISO code"> <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-rv" placeholder="enter name or zbMATH reviewer number"> <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-an" placeholder="Zbl, JFM or ERAM number"> <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-en" placeholder="e.g. DOI, ISBN, arXiv ID"> <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-sw" placeholder="use * to find all documents using software"> <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-br" placeholder="find documents about the life or work of a person"> <span class="multi-line-value" id="multi-line-type-multiselect-db"> <select class="multi-line-selectpicker" data-width="100%" multiple> <option value="zbl">Zbl</option> <option value="arxiv">arXiv</option> <option value="jfm">JFM</option> <option value="eram">ERAM</option> </select> <input type="hidden" class="multi-line-input" name="ml-0-v" value=""> </span> </div> <form name="documents" method="GET" action="/" autocomplete="off"> <div class="documents 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="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</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="au" selected>Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</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="au">Authors</option> <option data-type="input" value="ti" selected>Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</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 form-inline"> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-test" style="visibility: hidden; position: fixed;"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label title="search for Articles in Journals"> <input type="checkbox" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label title="search for arXiv Preprints"> <input type="checkbox" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-real"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label for="dt-j" title="search for Articles in Journals"> <input type="checkbox" id="dt-j" name="dt" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label for="dt-a" title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" id="dt-a" name="dt" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label for="dt-b" title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" id="dt-b" name="dt" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label for="dt-p" title="search for arXiv Preprints"> <input type="checkbox" id="dt-p" name="dt" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </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="documents" method="GET" action="/"> <div class="documents 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="Geometry sw:GCLC" aria-label="Search for documents" placeholder="Search for documents" 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>review text</a></li> <li><a href="#"><span class="token item">an:</span><span>  </span>zbmath id</a></li> <li><a href="#"><span class="token item">any:</span><span>  </span>anywhere</a></li> <li><a href="#"><span class="token item">au:</span><span>  </span>contributor name</a></li> <li><a href="#"><span class="token item">br:</span><span>  </span>biographic reference name</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>msc title</a></li> <li><a href="#"><span class="token item">dt:</span><span>  </span>document type</a></li> <li><a href="#"><span class="token item">doi:</span><span>  </span>doi</a></li> <li><a href="#"><span class="token item">en:</span><span>  </span>external id</a></li> <li><a href="#"><span class="token item">la:</span><span>  </span>language</a></li> <li><a href="#"><span class="token item">pu:</span><span>  </span>publisher</a></li> <li><a href="#"><span class="token item">py:</span><span>  </span>year</a></li> <li><a href="#"><span class="token item">rv:</span><span>  </span>reviewer name</a></li> <li><a href="#"><span class="token item">so:</span><span>  </span>source</a></li> <li><a href="#"><span class="token item">sw:</span><span>  </span>software name</a></li> <li><a href="#"><span class="token item">ti:</span><span>  </span>title</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="/?q=Geometry">Geometry</a></span> <span class="search-explanation" role="cell" role="cell">Search for the term <em>Geometry</em> in <strong>any</strong> field. Queries are <strong>case-independent</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Funct%2A">Funct*</a></span> <span class="search-explanation" role="cell"><strong>Wildcard</strong> queries are specified by <strong><u>*</u></strong> (e.g. <em>functions</em>, <em>functorial</em>, etc.). Otherwise the search is <strong>exact</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Topological+group%22">"Topological group"</a></span> <span class="search-explanation" role="cell"><strong>Phrases</strong> (multi-words) should be set in <u>"</u>straight quotation marks<u>"</u>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Bourbaki+%26+ti%3A+Algebra">au: Bourbaki & ti: Algebra</a></span> <span class="search-explanation" role="cell">Search for <strong><u>au</u>thor</strong> and <strong><u>ti</u>tle</strong>. The <strong>and-operator &</strong> is default and can be omitted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Chebyshev+%7C+Tschebyscheff">Chebyshev | Tschebyscheff</a></span> <span class="search-explanation" role="cell">The <strong>or-operator |</strong> allows to search for <em>Chebyshev</em> or <em>Tschebyscheff</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Quasi%2A+map%2A+py%3A+1989">Quasi* map* py: 1989</a></span> <span class="search-explanation" role="cell">The resulting documents have <strong><u>p</u>ublication <u>y</u>ear</strong> <em>1989</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=so%3A+Eur%2A+J%2A+Mat%2A+Soc%2A+cc%3A+14">so: Eur* J* Mat* Soc* cc: 14</a></span> <span class="search-explanation" role="cell">Search for publications in a particular <strong><u>so</u>urce</strong> with a <strong>Mathematics Subject <u>C</u>lassification <u>c</u>ode (<u>cc</u>)</strong> in <em>14</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Partial+diff%2A+eq%2A%22+%21+elliptic">"Partial diff* eq*" ! elliptic</a></span> <span class="search-explanation" role="cell">The <strong>not</strong>-operator <strong>!</strong> eliminates all results containing the word <em>elliptic</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=dt%3A+b+%26+au%3A+Hilbert">dt: b & au: Hilbert</a></span> <span class="search-explanation" role="cell">The <strong><u>d</u>ocument <u>t</u>ype</strong> is set to books; alternatively: <u>j</u> for <strong>journal articles</strong>, <u>a</u> for <strong>book articles</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=py%3A+2000-2015+cc%3A+%2894A+%7C+11T%29">py: 2000-2015 cc: (94A | 11T)</a></span> <span class="search-explanation" role="cell">Number <strong>ranges</strong> are accepted. Terms can be grouped within <strong><u>(</u>parentheses<u>)</u></strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=la%3A+chinese">la: chinese</a></span> <span class="search-explanation" role="cell">Find documents in a given <strong><u>la</u>nguage</strong>. <a href="http://en.wikipedia.org/wiki/ISO_639-1">ISO 639-1</a> language codes can also be used.</span> </div> </div> <div id="help-fields"> <h2>Fields</h2> <table> <tr> <td class="nowrap padding" role="rowheader"><strong>any</strong></td> <td class="padding">anywhere</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>an</strong></td> <td class="padding">internal document identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>au</strong></td> <td class="padding">author, editor</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ai</strong></td> <td class="padding">internal author identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ti</strong></td> <td class="padding">title</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>la</strong></td> <td class="padding">language</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>so</strong></td> <td class="padding">source</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ab</strong></td> <td class="padding">review, abstract</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>py</strong></td> <td class="padding">publication year</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>rv</strong></td> <td class="padding">reviewer</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>cc</strong></td> <td class="padding">MSC code</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ut</strong></td> <td class="padding">uncontrolled term</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>dt</strong></td> <td class="padding" colspan="4">document type (<strong>j</strong>: journal article; <strong>b</strong>: book; <strong>a</strong>: book article)</td> </tr> </table> </div> <div id="help-operators"> <h2>Operators</h2> <table> <tr> <td class="nowrap padding" role="rowheader">a <strong>&</strong> b</td> <td class="padding">logic and</td> </tr> <tr> <td class="nowrap padding" role="rowheader">a <strong>|</strong> b</td> <td class="padding">logic or</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>!</strong>ab</td> <td class="padding">logic not</td> </tr> <tr> <td class="nowrap padding" role="rowheader">abc<strong>*</strong></td> <td class="padding">right wildcard</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>"</strong>ab c<strong>"</strong></td> <td class="padding">phrase</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>(</strong>ab c<strong>)</strong></td> <td class="padding">parentheses</td> </tr> </table> </div> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> <div class="clearfix"></div> </div> <div class="content-option"><div class="navigation"> <div class="function input-group"> <div class="btn-group"> <button name="mark" value="mark" class="btn btn-default btn-xs mark-btn" type="button"><strong>Mark All</strong></button> <div class="btn-group display-marked-items"> <button type="button" class="btn btn-default btn-xs dropdown-toggle" data-toggle="dropdown"> <strong>Display Marked Items</strong> <span class="caret"></span> </button> <span id="display-query" class="tex2jax_ignore" style="display: none;">Geometry sw:GCLC</span> <span id="display-formula" style="display: none;"></span> <span id="display-start" style="display: none;">0</span> <span id="display-count" style="display: none;">100</span> <span id="display-format" style="display: none;">mathjax</span> <span id="display-ranking" style="display: none;">date</span> <ul class="dropdown-menu"> <li> <a href="#" class="display-html">HTML</a> </li> <li> <a href="#" class="display-pdf-short">PDF (short)</a> </li> <li> <a href="#" class="display-pdf-long">PDF (long)</a> </li> <li> <a href="#" class="display-latexci">LaTeX Citation</a> </li> <li> <a href="#" class="display-bibtex">BibTeX</a> </li> <li> <a href="#" class="display-amsrefs">AMSRef</a> </li> </ul> </div> </div> </div> <div class="page-navigation"> <span class="title"> Page <strong>1</strong> of <strong>1</strong> </span> <div class="pages btn-group"> <a class="btn btn-default btn-xs first disabled" tabindex="-1" type="button" href="/?q=Geometry+sw%3AGCLC" title="">First</a> <a class="btn btn-default btn-xs previous disabled" tabindex="-1" type="button" href="/?q=Geometry+sw%3AGCLC" title="">Prev</a> <a class="btn btn-default btn-xs page" type="button" href="/?q=Geometry+sw%3AGCLC" title="">&diams;</a> <a class="btn btn-default btn-xs next disabled" tabindex="-1" type="button" href="/?q=Geometry+sw%3AGCLC" title="">Next</a> <a class="btn btn-default btn-xs last disabled" tabindex="-1" type="button" href="/?q=Geometry+sw%3AGCLC" title="">Last</a> </div> </div> <div class="ranking"> <input type="checkbox" name="r" id="ranking" value="xx"><span> Sorting</span> </div> <div class="clearfix"></div> </div> <div class="clearfix"></div></div> <div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="documents"> <div class="content-main" role="list" style="padding-top: 20px;"> <div class="content-title"> <div class="head"> <h2>Found 37 Documents <small>(Results 1–37)</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="function btn-group" style="float: right;" role="group" aria-label="sort by"> <a class="btn btn-default btn-xs active " title="sort by date">Newest</a> <a class="btn btn-default btn-xs " href="/?q=Geometry+sw%3AGCLC&r=references " title="sort by number of citations">Citations</a> <a class="btn btn-default btn-xs " href="/?q=Geometry+sw%3AGCLC&r=relevance " title="sort by relevance">Relevance</a> </div> </div> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7785122" value="7785122" aria-label="mark item Zbl 1543.68407"></div> <div class="author"><a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/sukilovic.tijana" title="Author Profile">Šukilović, Tijana</a>; <a href="/authors/maric.filip" title="Author Profile">Marić, Filip</a></div> <h3 class="title"> <a href="/1543.68407"><strong>Automated triangle constructions in hyperbolic geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1543.68407">Zbl 1543.68407</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A506622" title="Articles in this Issue">91, No. 6, 821-849 (2023)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> <a class="mono" href="/classification/?q=cc%3A51-04" title="Software, source code, etc. for problems pertaining to geometry">51-04</a> <a class="mono" href="/classification/?q=cc%3A51-08" title="Computational methods for problems pertaining to geometry">51-08</a> <a class="mono" href="/classification/?q=cc%3A51M09" title="Elementary problems in hyperbolic and elliptic geometries">51M09</a> <a class="mono" href="/classification/?q=cc%3A51P05" title="Classical or axiomatic geometry and physics">51P05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1543.68407" data-ciurl="/ci/07785122" data-biburl="/bibtex/07785122.bib" data-amsurl="/amsrefs/07785122.bib" data-xmlurl="/xml/07785122.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07785122.pdf" title="Zbl 1543.68407 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-023-09850-5" aria-label="DOI for “Automated triangle constructions in hyperbolic geometry”" title="10.1007/s10472-023-09850-5">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7785121" value="7785121" aria-label="mark item Zbl 1543.68404"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/narboux.julien" title="Author Profile">Narboux, Julien</a></div> <h3 class="title"> <a href="/1543.68404"><strong>Automated generation of illustrated proofs in geometry and beyond.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1543.68404">Zbl 1543.68404</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A506622" title="Articles in this Issue">91, No. 6, 797-820 (2023)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A03B35" title="Mechanization of proofs and logical operations">03B35</a> <a class="mono" href="/classification/?q=cc%3A51-08" title="Computational methods for problems pertaining to geometry">51-08</a> <a class="mono" href="/classification/?q=cc%3A68Q42" title="Grammars and rewriting systems">68Q42</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1543.68404" data-ciurl="/ci/07785121" data-biburl="/bibtex/07785121.bib" data-amsurl="/amsrefs/07785121.bib" data-xmlurl="/xml/07785121.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07785121.pdf" title="Zbl 1543.68404 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-023-09857-y" aria-label="DOI for “Automated generation of illustrated proofs in geometry and beyond”" title="10.1007/s10472-023-09857-y">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://hal.science/hal-04230795" title="Open Access at HAL">HAL </a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7695708" value="7695708" aria-label="mark item Zbl 07695708"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/graziani.pierluigi" title="Author Profile">Graziani, Pierluigi</a></div> <h3 class="title"> <a href="/7695708"><strong>Measuring the readability of geometric proofs: the area method case.</strong></a> <i>(English)</i> <a class="label nowrap" href="/7695708">Zbl 07695708</a> </h3> <div class="source"> <a href="/serials/1150" title="Journal Profile">J. Autom. Reasoning</a> <a href="/?q=in%3A491162" title="Articles in this Issue">67, No. 1, Paper No. 5, 21 p. (2023)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51A05" title="General theory of linear incidence geometry and projective geometries">51A05</a> <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 07695708" data-ciurl="/ci/07695708" data-biburl="/bibtex/07695708.bib" data-amsurl="/amsrefs/07695708.bib" data-xmlurl="/xml/07695708.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07695708.pdf" title="Zbl 07695708 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10817-022-09652-0" aria-label="DOI for “Measuring the readability of geometric proofs: the area method case”" title="10.1007/s10817-022-09652-0">DOI</a> </div> <div class="sfx" style="float: right;"> <a href="https://creativecommons.org/licenses/by/4.0/" target="_blank" title="Open Access License" class="cc-license-link no-new-tab-icon"> <img src="https://static.zbmath.org/contrib/img/cc/svg/icons/cc.svg" alt="Creative Commons CC license icon" class="cc-license-icon"> <img src="https://static.zbmath.org/contrib/img/cc/svg/icons/by.svg" alt="Creative Commons BY license icon" class="cc-license-icon"> </a> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7959272" value="7959272" aria-label="mark item Zbl 07959272"></div> <div class="author"><a href="/authors/baeta.nuno" title="Author Profile">Baeta, Nuno</a>; <a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/7959272"><strong>Open geometry prover community project.</strong></a> <i>(English)</i> <a class="label nowrap" href="/7959272">Zbl 07959272</a> </h3> <div class="source"> Janičić, Predrag (ed.) et al., Proceedings of the 13th international conference on automated deduction in geometry, Hagenberg, Austria/virtual, September 15–17, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 352, 129-138 (2021). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 07959272" data-ciurl="/ci/07959272" data-biburl="/bibtex/07959272.bib" data-amsurl="/amsrefs/07959272.bib" data-xmlurl="/xml/07959272.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07959272.pdf" title="Zbl 07959272 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4204/EPTCS.352.14" aria-label="DOI for “Open geometry prover community project”" title="10.4204/EPTCS.352.14">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2201.01375"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.14" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7959267" value="7959267" aria-label="mark item Zbl 07959267"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/narboux.julien" title="Author Profile">Narboux, Julien</a></div> <h3 class="title"> <a href="/7959267"><strong>Automated generation of illustrations for synthetic geometry proofs.</strong></a> <i>(English)</i> <a class="label nowrap" href="/7959267">Zbl 07959267</a> </h3> <div class="source"> Janičić, Predrag (ed.) et al., Proceedings of the 13th international conference on automated deduction in geometry, Hagenberg, Austria/virtual, September 15–17, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 352, 91-102 (2021). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 07959267" data-ciurl="/ci/07959267" data-biburl="/bibtex/07959267.bib" data-amsurl="/amsrefs/07959267.bib" data-xmlurl="/xml/07959267.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07959267.pdf" title="Zbl 07959267 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4204/EPTCS.352.9" aria-label="DOI for “Automated generation of illustrations for synthetic geometry proofs”" title="10.4204/EPTCS.352.9">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2201.00540"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.9" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7959261" value="7959261" aria-label="mark item Zbl 07959261"></div> <div class="author"><a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/sukilovic.tijana" title="Author Profile">Šukilović, Tijana</a>; <a href="/authors/maric.filip" title="Author Profile">Marić, Filip</a></div> <h3 class="title"> <a href="/7959261"><strong>On automating triangle constructions in absolute and hyperbolic geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/7959261">Zbl 07959261</a> </h3> <div class="source"> Janičić, Predrag (ed.) et al., Proceedings of the 13th international conference on automated deduction in geometry, Hagenberg, Austria/virtual, September 15–17, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 352, 14-26 (2021). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A51M10" title="Hyperbolic and elliptic geometries (general) and generalizations">51M10</a> <a class="mono" href="/classification/?q=cc%3A51M15" title="Geometric constructions in real or complex geometry">51M15</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 07959261" data-ciurl="/ci/07959261" data-biburl="/bibtex/07959261.bib" data-amsurl="/amsrefs/07959261.bib" data-xmlurl="/xml/07959261.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07959261.pdf" title="Zbl 07959261 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4204/EPTCS.352.3" aria-label="DOI for “On automating triangle constructions in absolute and hyperbolic geometry”" title="10.4204/EPTCS.352.3">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2201.00534"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ADG2021.3" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7437101" value="7437101" aria-label="mark item Zbl 1540.68270"></div> <div class="author"><a href="/authors/krueger.ryan" title="Author Profile">Krueger, Ryan</a>; <a href="/authors/han.jesse-michael" title="Author Profile">Han, Jesse Michael</a>; <a href="/authors/selsam.daniel" title="Author Profile">Selsam, Daniel</a></div> <h3 class="title"> <a href="/1540.68270"><strong>Automatically building diagrams for olympiad geometry problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1540.68270">Zbl 1540.68270</a> </h3> <div class="source"> Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 577-588 (2021). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51-08" title="Computational methods for problems pertaining to geometry">51-08</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1540.68270" data-ciurl="/ci/07437101" data-biburl="/bibtex/07437101.bib" data-amsurl="/amsrefs/07437101.bib" data-xmlurl="/xml/07437101.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07437101.pdf" title="Zbl 1540.68270 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-030-79876-5_33" aria-label="DOI for “Automatically building diagrams for olympiad geometry problems”" title="10.1007/978-3-030-79876-5_33">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2012.02590"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> <a href="https://creativecommons.org/licenses/by/4.0/" target="_blank" title="Open Access License" class="cc-license-link no-new-tab-icon"> <img src="https://static.zbmath.org/contrib/img/cc/svg/icons/cc.svg" alt="Creative Commons CC license icon" class="cc-license-icon"> <img src="https://static.zbmath.org/contrib/img/cc/svg/icons/by.svg" alt="Creative Commons BY license icon" class="cc-license-icon"> </a> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7315540" value="7315540" aria-label="mark item Zbl 1474.68453"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1474.68453"><strong>Automated deduction and knowledge management in geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1474.68453">Zbl 1474.68453</a> </h3> <div class="source"> <a href="/serials/4909" title="Journal Profile">Math. Comput. Sci.</a> <a href="/?q=in%3A459315" title="Articles in this Issue">14, No. 4, 673-692 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51-08" title="Computational methods for problems pertaining to geometry">51-08</a> <a class="mono" href="/classification/?q=cc%3A68V30" title="Mathematical knowledge management">68V30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1474.68453" data-ciurl="/ci/07315540" data-biburl="/bibtex/07315540.bib" data-amsurl="/amsrefs/07315540.bib" data-xmlurl="/xml/07315540.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07315540.pdf" title="Zbl 1474.68453 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11786-020-00489-7" aria-label="DOI for “Automated deduction and knowledge management in geometry”" title="10.1007/s11786-020-00489-7">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7127802" value="7127802" aria-label="mark item Zbl 1444.68292"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/santos.vanda" title="Author Profile">Santos, Vanda</a>; <a href="/authors/graziani.pierluigi" title="Author Profile">Graziani, Pierluigi</a>; <a href="/authors/baeta.nuno" title="Author Profile">Baeta, Nuno</a></div> <h3 class="title"> <a href="/1444.68292"><strong>Taxonomies of geometric problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1444.68292">Zbl 1444.68292</a> </h3> <div class="source"> <a href="/serials/1072" title="Journal Profile">J. Symb. Comput.</a> <a href="/?q=in%3A442138" title="Articles in this Issue">97, 31-55 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V30" title="Mathematical knowledge management">68V30</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A68V35" title="Digital mathematics libraries and repositories">68V35</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1444.68292" data-ciurl="/ci/07127802" data-biburl="/bibtex/07127802.bib" data-amsurl="/amsrefs/07127802.bib" data-xmlurl="/xml/07127802.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07127802.pdf" title="Zbl 1444.68292 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jsc.2018.12.004" aria-label="DOI for “Taxonomies of geometric problems”" title="10.1016/j.jsc.2018.12.004">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7127800" value="7127800" aria-label="mark item Zbl 1444.68277"></div> <div class="author"><a href="/authors/selakovic.milica" title="Author Profile">Selaković, Milica</a>; <a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1444.68277"><strong>New dynamics in dynamic geometry: dragging constructed points.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1444.68277">Zbl 1444.68277</a> </h3> <div class="source"> <a href="/serials/1072" title="Journal Profile">J. Symb. Comput.</a> <a href="/?q=in%3A442138" title="Articles in this Issue">97, 3-15 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> <a class="mono" href="/classification/?q=cc%3A68W30" title="Symbolic computation and algebraic computation">68W30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1444.68277" data-ciurl="/ci/07127800" data-biburl="/bibtex/07127800.bib" data-amsurl="/amsrefs/07127800.bib" data-xmlurl="/xml/07127800.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07127800.pdf" title="Zbl 1444.68277 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jsc.2018.12.002" aria-label="DOI for “New dynamics in dynamic geometry: dragging constructed points”" title="10.1016/j.jsc.2018.12.002">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7055779" value="7055779" aria-label="mark item Zbl 1431.68123"></div> <div class="author"><a href="/authors/nikolic.mladen" title="Author Profile">Nikolić, Mladen</a>; <a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/kovacs.zoltan" title="Author Profile">Kovács, Zoltán</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1431.68123"><strong>Portfolio theorem proving and prover runtime prediction for geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1431.68123">Zbl 1431.68123</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A432873" title="Articles in this Issue">85, No. 2-4, 119-146 (2019)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51M04" title="Elementary problems in Euclidean geometries">51M04</a> <a class="mono" href="/classification/?q=cc%3A68T05" title="Learning and adaptive systems in artificial intelligence">68T05</a> <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1431.68123" data-ciurl="/ci/07055779" data-biburl="/bibtex/07055779.bib" data-amsurl="/amsrefs/07055779.bib" data-xmlurl="/xml/07055779.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07055779.pdf" title="Zbl 1431.68123 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-018-9598-6" aria-label="DOI for “Portfolio theorem proving and prover runtime prediction for geometry”" title="10.1007/s10472-018-9598-6">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7055778" value="7055778" aria-label="mark item Zbl 1539.03043"></div> <div class="author"><a href="/authors/stojanovic-durdevic.sana" title="Author Profile">Stojanović-Ðurđević, Sana</a></div> <h3 class="title"> <a href="/1539.03043"><strong>From informal to formal proofs in Euclidean geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1539.03043">Zbl 1539.03043</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A432873" title="Articles in this Issue">85, No. 2-4, 89-117 (2019)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B35" title="Mechanization of proofs and logical operations">03B35</a> <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51M04" title="Elementary problems in Euclidean geometries">51M04</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1539.03043" data-ciurl="/ci/07055778" data-biburl="/bibtex/07055778.bib" data-amsurl="/amsrefs/07055778.bib" data-xmlurl="/xml/07055778.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07055778.pdf" title="Zbl 1539.03043 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-018-9597-7" aria-label="DOI for “From informal to formal proofs in Euclidean geometry”" title="10.1007/s10472-018-9597-7">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6889329" value="6889329" aria-label="mark item Zbl 1394.68349"></div> <div class="author"><a href="/authors/boutry.pierre" title="Author Profile">Boutry, Pierre</a>; <a href="/authors/braun.gabriel" title="Author Profile">Braun, Gabriel</a>; <a href="/authors/narboux.julien" title="Author Profile">Narboux, Julien</a></div> <h3 class="title"> <a href="/1394.68349"><strong>Formalization of the arithmetization of Euclidean plane geometry and applications.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1394.68349">Zbl 1394.68349</a> </h3> <div class="source"> <a href="/serials/1072" title="Journal Profile">J. Symb. Comput.</a> <a href="/?q=in%3A403805" title="Articles in this Issue">90, 149-168 (2019)</a>. </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A03B30" title="Foundations of classical theories (including reverse mathematics)">03B30</a> <a class="mono" href="/classification/?q=cc%3A03B35" title="Mechanization of proofs and logical operations">03B35</a> <a class="mono" href="/classification/?q=cc%3A51M04" title="Elementary problems in Euclidean geometries">51M04</a> <a class="mono" href="/classification/?q=cc%3A68W30" title="Symbolic computation and algebraic computation">68W30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1394.68349" data-ciurl="/ci/06889329" data-biburl="/bibtex/06889329.bib" data-amsurl="/amsrefs/06889329.bib" data-xmlurl="/xml/06889329.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06889329.pdf" title="Zbl 1394.68349 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.jsc.2018.04.007" aria-label="DOI for “Formalization of the arithmetization of Euclidean plane geometry and applications”" title="10.1016/j.jsc.2018.04.007">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://hal.science/hal-01483457" title="Open Access at HAL">HAL </a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7704996" value="7704996" aria-label="mark item Zbl 1515.68346"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1515.68346"><strong>Automatic deduction in an AI geometry book.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1515.68346">Zbl 1515.68346</a> </h3> <div class="source"> Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 221-226 (2018). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A51-04" title="Software, source code, etc. for problems pertaining to geometry">51-04</a> <a class="mono" href="/classification/?q=cc%3A68V30" title="Mathematical knowledge management">68V30</a> <a class="mono" href="/classification/?q=cc%3A68W30" title="Symbolic computation and algebraic computation">68W30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1515.68346" data-ciurl="/ci/07704996" data-biburl="/bibtex/07704996.bib" data-amsurl="/amsrefs/07704996.bib" data-xmlurl="/xml/07704996.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07704996.pdf" title="Zbl 1515.68346 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-319-99957-9_16" aria-label="DOI for “Automatic deduction in an AI geometry book”" title="10.1007/978-3-319-99957-9_16">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7036467" value="7036467" aria-label="mark item Zbl 1409.00065"></div> <div class="author"></div> <div class="author_references"><a href="/authors/barthel.tobias" title="Author Profile">Barthel, Tobias (ed.)</a>; <a href="/authors/krause.henning" title="Author Profile">Krause, Henning (ed.)</a>; <a href="/authors/stojanoska.vesna" title="Author Profile">Stojanoska, Vesna (ed.)</a></div> <h3 class="title"> <a href="/1409.00065"><strong>Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4–10, 2018.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1409.00065">Zbl 1409.00065</a> </h3> <div class="source"> <a href="/serials/3247" title="Journal Profile">Oberwolfach Rep.</a> <a href="/?q=in%3A428125" title="Articles in this Issue">15, No. 1, 507-529 (2018)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A00B05" title="Collections of abstracts of lectures">00B05</a> <a class="mono" href="/classification/?q=cc%3A00B25" title="Proceedings of conferences of miscellaneous specific interest">00B25</a> <a class="mono" href="/classification/?q=cc%3A55-06" title="Proceedings, conferences, collections, etc. pertaining to algebraic topology">55-06</a> <a class="mono" href="/classification/?q=cc%3A18-06" title="Proceedings, conferences, collections, etc. pertaining to category theory">18-06</a> <a class="mono" href="/classification/?q=cc%3A55U35" title="Abstract and axiomatic homotopy theory in algebraic topology">55U35</a> <a class="mono" href="/classification/?q=cc%3A18Exx" title="Categorical algebra">18Exx</a> <a class="mono" href="/classification/?q=cc%3A55Pxx" title="Homotopy theory">55Pxx</a> <a class="mono" href="/classification/?q=cc%3A14F42" title="Motivic cohomology; motivic homotopy theory">14F42</a> <a class="mono" href="/classification/?q=cc%3A16D90" title="Module categories in associative algebras">16D90</a> <a class="mono" href="/classification/?q=cc%3A20C20" title="Modular representations and characters">20C20</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1409.00065" data-ciurl="/ci/07036467" data-biburl="/bibtex/07036467.bib" data-amsurl="/amsrefs/07036467.bib" data-xmlurl="/xml/07036467.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07036467.pdf" title="Zbl 1409.00065 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4171/OWR/2018/9" aria-label="DOI for “Mini-workshop: Chromatic phenomena and duality in homotopy theory and representation theory. Abstracts from the mini-workshop held March 4--10, 2018”" title="10.4171/OWR/2018/9">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7036461" value="7036461" aria-label="mark item Zbl 1409.00087"></div> <div class="author"></div> <div class="author_references"><a href="/authors/feragen.aasa" title="Author Profile">Feragen, Aasa (ed.)</a>; <a href="/authors/hotz.thomas" title="Author Profile">Hotz, Thomas (ed.)</a>; <a href="/authors/huckemann.stephan-f" title="Author Profile">Huckemann, Stephan (ed.)</a>; <a href="/authors/miller.ezra" title="Author Profile">Miller, Ezra (ed.)</a></div> <h3 class="title"> <a href="/1409.00087"><strong>Statistics for data with geometric structure. Abstracts from the workshop held January 21–27, 2018.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1409.00087">Zbl 1409.00087</a> </h3> <div class="source"> <a href="/serials/3247" title="Journal Profile">Oberwolfach Rep.</a> <a href="/?q=in%3A428125" title="Articles in this Issue">15, No. 1, 125-186 (2018)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A00B05" title="Collections of abstracts of lectures">00B05</a> <a class="mono" href="/classification/?q=cc%3A00B25" title="Proceedings of conferences of miscellaneous specific interest">00B25</a> <a class="mono" href="/classification/?q=cc%3A62-06" title="Proceedings, conferences, collections, etc. pertaining to statistics">62-06</a> <span class="mono" title="Data analysis (statistics) (MSC2010)">62-07</span> <a class="mono" href="/classification/?q=cc%3A62Hxx" title="Multivariate analysis">62Hxx</a> <a class="mono" href="/classification/?q=cc%3A53-06" title="Proceedings, conferences, collections, etc. pertaining to differential geometry">53-06</a> <a class="mono" href="/classification/?q=cc%3A55N35" title="Other homology theories in algebraic topology">55N35</a> <a class="mono" href="/classification/?q=cc%3A65Cxx" title="Probabilistic methods, stochastic differential equations">65Cxx</a> <a class="mono" href="/classification/?q=cc%3A60D05" title="Geometric probability and stochastic geometry">60D05</a> <span class="mono" title="Tropical geometry (MSC2010)">14T05</span> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1409.00087" data-ciurl="/ci/07036461" data-biburl="/bibtex/07036461.bib" data-amsurl="/amsrefs/07036461.bib" data-xmlurl="/xml/07036461.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07036461.pdf" title="Zbl 1409.00087 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4171/OWR/2018/3" aria-label="DOI for “Statistics for data with geometric structure. Abstracts from the workshop held January 21--27, 2018”" title="10.4171/OWR/2018/3">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7036460" value="7036460" aria-label="mark item Zbl 1409.00084"></div> <div class="author"></div> <div class="author_references"><a href="/authors/denham.graham" title="Author Profile">Denham, Graham (ed.)</a>; <a href="/authors/gaiffi.giovanni" title="Author Profile">Gaiffi, Giovanni (ed.)</a>; <a href="/authors/jimenez-rolland.rita" title="Author Profile">Jímenez Rolland, Rita (ed.)</a>; <a href="/authors/suciu.alexander-i" title="Author Profile">Suciu, Alexander I. (ed.)</a></div> <h3 class="title"> <a href="/1409.00084"><strong>Topology of arrangements and representation stability. Abstracts from the workshop held January 14–20, 2018.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1409.00084">Zbl 1409.00084</a> </h3> <div class="source"> <a href="/serials/3247" title="Journal Profile">Oberwolfach Rep.</a> <a href="/?q=in%3A428125" title="Articles in this Issue">15, No. 1, 43-123 (2018)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A00B05" title="Collections of abstracts of lectures">00B05</a> <a class="mono" href="/classification/?q=cc%3A00B25" title="Proceedings of conferences of miscellaneous specific interest">00B25</a> <a class="mono" href="/classification/?q=cc%3A14N20" title="Configurations and arrangements of linear subspaces">14N20</a> <a class="mono" href="/classification/?q=cc%3A20F55" title="Reflection and Coxeter groups (group-theoretic aspects)">20F55</a> <a class="mono" href="/classification/?q=cc%3A32S22" title="Relations with arrangements of hyperplanes">32S22</a> <a class="mono" href="/classification/?q=cc%3A52C35" title="Arrangements of points, flats, hyperplanes (aspects of discrete geometry)">52C35</a> <a class="mono" href="/classification/?q=cc%3A55P15" title="Classification of homotopy type">55P15</a> <a class="mono" href="/classification/?q=cc%3A55P62" title="Rational homotopy theory">55P62</a> <a class="mono" href="/classification/?q=cc%3A55R80" title="Discriminantal varieties and configuration spaces in algebraic topology">55R80</a> <a class="mono" href="/classification/?q=cc%3A57M07" title="Topological methods in group theory">57M07</a> <a class="mono" href="/classification/?q=cc%3A52-06" title="Proceedings, conferences, collections, etc. pertaining to convex and discrete geometry">52-06</a> <a class="mono" href="/classification/?q=cc%3A32-06" title="Proceedings, conferences, collections, etc. pertaining to several complex variables and analytic spaces">32-06</a> <a class="mono" href="/classification/?q=cc%3A55-06" title="Proceedings, conferences, collections, etc. pertaining to algebraic topology">55-06</a> <a class="mono" href="/classification/?q=cc%3A14-06" title="Proceedings, conferences, collections, etc. pertaining to algebraic geometry">14-06</a> <a class="mono" href="/classification/?q=cc%3A20F65" title="Geometric group theory">20F65</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1409.00084" data-ciurl="/ci/07036460" data-biburl="/bibtex/07036460.bib" data-amsurl="/amsrefs/07036460.bib" data-xmlurl="/xml/07036460.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07036460.pdf" title="Zbl 1409.00084 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4171/OWR/2018/2" aria-label="DOI for “Topology of arrangements and representation stability. Abstracts from the workshop held January 14--20, 2018”" title="10.4171/OWR/2018/2">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7036447" value="7036447" aria-label="mark item Zbl 1409.00074"></div> <div class="author"></div> <div class="author_references"><a href="/authors/breuillard.emmanuel" title="Author Profile">Breuillard, Emmanuel (ed.)</a>; <a href="/authors/hochman.michael" title="Author Profile">Hochman, Michael (ed.)</a>; <a href="/authors/shmerkin.pablo-s" title="Author Profile">Shmerkin, Pablo (ed.)</a></div> <h3 class="title"> <a href="/1409.00074"><strong>Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8–13, 2017. (Arbeitsgemeinschaft: Additive combinatorics, entropy, and fractal geometry.)</strong></a> <i>(English)</i> <a class="label nowrap" href="/1409.00074">Zbl 1409.00074</a> </h3> <div class="source"> <a href="/serials/3247" title="Journal Profile">Oberwolfach Rep.</a> <a href="/?q=in%3A427347" title="Articles in this Issue">14, No. 4, 2847-2905 (2017)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A00B05" title="Collections of abstracts of lectures">00B05</a> <a class="mono" href="/classification/?q=cc%3A00B25" title="Proceedings of conferences of miscellaneous specific interest">00B25</a> <a class="mono" href="/classification/?q=cc%3A28A80" title="Fractals">28A80</a> <a class="mono" href="/classification/?q=cc%3A28A75" title="Length, area, volume, other geometric measure theory">28A75</a> <a class="mono" href="/classification/?q=cc%3A37A25" title="Ergodicity, mixing, rates of mixing">37A25</a> <a class="mono" href="/classification/?q=cc%3A28-06" title="Proceedings, conferences, collections, etc. pertaining to measure and integration">28-06</a> <a class="mono" href="/classification/?q=cc%3A11-06" title="Proceedings, conferences, collections, etc. pertaining to number theory">11-06</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1409.00074" data-ciurl="/ci/07036447" data-biburl="/bibtex/07036447.bib" data-amsurl="/amsrefs/07036447.bib" data-xmlurl="/xml/07036447.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07036447.pdf" title="Zbl 1409.00074 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.4171/OWR/2017/47" aria-label="DOI for “Working session: Additive combinatorics, entropy, and fractal geometry. Abstracts from the working session held October 8--13, 2017”" title="10.4171/OWR/2017/47">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6843896" value="6843896" aria-label="mark item Zbl 1425.97002"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1425.97002"><strong>Towards an intelligent and dynamic geometry book.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1425.97002">Zbl 1425.97002</a> </h3> <div class="source"> <a href="/serials/4909" title="Journal Profile">Math. Comput. Sci.</a> <a href="/?q=in%3A369535" title="Articles in this Issue">11, No. 3-4, 427-437 (2017)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A97U50" title="Computer-assisted instruction, e-learning (aspects of mathematics education)">97U50</a> <a class="mono" href="/classification/?q=cc%3A68T05" title="Learning and adaptive systems in artificial intelligence">68T05</a> <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A97G10" title="Comprehensive works on geometry education">97G10</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1425.97002" data-ciurl="/ci/06843896" data-biburl="/bibtex/06843896.bib" data-amsurl="/amsrefs/06843896.bib" data-xmlurl="/xml/06843896.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06843896.pdf" title="Zbl 1425.97002 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11786-017-0302-8" aria-label="DOI for “Towards an intelligent and dynamic geometry book”" title="10.1007/s11786-017-0302-8">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6593822" value="6593822" aria-label="mark item Zbl 1342.51017"></div> <div class="author"><a href="/authors/schreck.pascal" title="Author Profile">Schreck, Pascal</a>; <a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1342.51017"><strong>Constructibility classes for triangle location problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1342.51017">Zbl 1342.51017</a> </h3> <div class="source"> <a href="/serials/4909" title="Journal Profile">Math. Comput. Sci.</a> <a href="/?q=in%3A354945" title="Articles in this Issue">10, No. 1, 27-39 (2016)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A51M15" title="Geometric constructions in real or complex geometry">51M15</a> <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1342.51017" data-ciurl="/ci/06593822" data-biburl="/bibtex/06593822.bib" data-amsurl="/amsrefs/06593822.bib" data-xmlurl="/xml/06593822.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06593822.pdf" title="Zbl 1342.51017 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11786-016-0255-3" aria-label="DOI for “Constructibility classes for triangle location problems”" title="10.1007/s11786-016-0255-3">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6585234" value="6585234" aria-label="mark item Zbl 1356.68181"></div> <div class="author"><a href="/authors/botana.francisco" title="Author Profile">Botana, Francisco</a>; <a href="/authors/hohenwarter.markus" title="Author Profile">Hohenwarter, Markus</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/kovacs.zoltan" title="Author Profile">Kovács, Zoltán</a>; <a href="/authors/petrovic.ivan" title="Author Profile">Petrović, Ivan</a>; <a href="/authors/recio.tomas" title="Author Profile">Recio, Tomás</a>; <a href="/authors/weitzhofer.simon" title="Author Profile">Weitzhofer, Simon</a></div> <h3 class="title"> <a href="/1356.68181"><strong>Automated theorem proving in GeoGebra: current achievements.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1356.68181">Zbl 1356.68181</a> </h3> <div class="source"> <a href="/serials/1150" title="Journal Profile">J. Autom. Reasoning</a> <a href="/?q=in%3A344725" title="Articles in this Issue">55, No. 1, 39-59 (2015)</a>. </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A97Gxx" title="Geometry education">97Gxx</a> <a class="mono" href="/classification/?q=cc%3A97U70" title="Technological tools, calculators (aspects of mathematics education)">97U70</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1356.68181" data-ciurl="/ci/06585234" data-biburl="/bibtex/06585234.bib" data-amsurl="/amsrefs/06585234.bib" data-xmlurl="/xml/06585234.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06585234.pdf" title="Zbl 1356.68181 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10817-015-9326-4" aria-label="DOI for “Automated theorem proving in GeoGebra: current achievements”" title="10.1007/s10817-015-9326-4">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://hdl.handle.net/10902/7265" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6507287" value="6507287" aria-label="mark item Zbl 1434.68643"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/baeta.nuno" title="Author Profile">Baeta, Nuno</a></div> <h3 class="title"> <a href="/1434.68643"><strong>Current status of the I2GATP common format.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1434.68643">Zbl 1434.68643</a> </h3> <div class="source"> Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 119-128 (2015). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> <a class="mono" href="/classification/?q=cc%3A68V20" title="Formalization of mathematics in connection with theorem provers">68V20</a> <a class="mono" href="/classification/?q=cc%3A68V30" title="Mathematical knowledge management">68V30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1434.68643" data-ciurl="/ci/06507287" data-biburl="/bibtex/06507287.bib" data-amsurl="/amsrefs/06507287.bib" data-xmlurl="/xml/06507287.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06507287.pdf" title="Zbl 1434.68643 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-319-21362-0_8" aria-label="DOI for “Current status of the I2GATP common format”" title="10.1007/978-3-319-21362-0_8">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6507284" value="6507284" aria-label="mark item Zbl 1434.03032"></div> <div class="author"><a href="/authors/marinkovic.vesna" title="Author Profile">Marinković, Vesna</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/schreck.pascal" title="Author Profile">Schreck, Pascal</a></div> <h3 class="title"> <a href="/1434.03032"><strong>Computer theorem proving for verifiable solving of geometric construction problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1434.03032">Zbl 1434.03032</a> </h3> <div class="source"> Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 72-93 (2015). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B35" title="Mechanization of proofs and logical operations">03B35</a> <a class="mono" href="/classification/?q=cc%3A51M15" title="Geometric constructions in real or complex geometry">51M15</a> <a class="mono" href="/classification/?q=cc%3A68V15" title="Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)">68V15</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1434.03032" data-ciurl="/ci/06507284" data-biburl="/bibtex/06507284.bib" data-amsurl="/amsrefs/06507284.bib" data-xmlurl="/xml/06507284.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06507284.pdf" title="Zbl 1434.03032 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-319-21362-0_5" aria-label="DOI for “Computer theorem proving for verifiable solving of geometric construction problems”" title="10.1007/978-3-319-21362-0_5">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6464967" value="6464967" aria-label="mark item Zbl 1330.68336"></div> <div class="author"><a href="/authors/botana.francisco" title="Author Profile">Botana, Francisco</a>; <a href="/authors/kovacs.zoltan" title="Author Profile">Kovács, Zoltán</a></div> <h3 class="title"> <a href="/1330.68336"><strong>A Singular web service for geometric computations.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1330.68336">Zbl 1330.68336</a> </h3> <div class="source"> <a href="/serials/2122" title="Journal Profile">Ann. Math. Artif. Intell.</a> <a href="/?q=in%3A346509" title="Articles in this Issue">74, No. 3-4, 359-370 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68U35" title="Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)">68U35</a> <a class="mono" href="/classification/?q=cc%3A68W30" title="Symbolic computation and algebraic computation">68W30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1330.68336" data-ciurl="/ci/06464967" data-biburl="/bibtex/06464967.bib" data-amsurl="/amsrefs/06464967.bib" data-xmlurl="/xml/06464967.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06464967.pdf" title="Zbl 1330.68336 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10472-014-9438-2" aria-label="DOI for “A Singular web service for geometric computations”" title="10.1007/s10472-014-9438-2">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://hdl.handle.net/10902/5401" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6391217" value="6391217" aria-label="mark item Zbl 1314.68301"></div> <div class="author"><a href="/authors/chen.xiaoyu" title="Author Profile">Chen, Xiaoyu</a></div> <h3 class="title"> <a href="/1314.68301"><strong>Representation and automated transformation of geometric statements.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1314.68301">Zbl 1314.68301</a> </h3> <div class="source"> <a href="/serials/2851" title="Journal Profile">J. Syst. Sci. Complex.</a> <a href="/?q=in%3A336347" title="Articles in this Issue">27, No. 2, 382-412 (2014)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1314.68301" data-ciurl="/ci/06391217" data-biburl="/bibtex/06391217.bib" data-amsurl="/amsrefs/06391217.bib" data-xmlurl="/xml/06391217.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06391217.pdf" title="Zbl 1314.68301 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11424-014-0316-0" aria-label="DOI for “Representation and automated transformation of geometric statements”" title="10.1007/s11424-014-0316-0">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6397149" value="6397149" aria-label="mark item Zbl 1319.68214"></div> <div class="author"><a href="/authors/chen.xiaoyu" title="Author Profile">Chen, Xiaoyu</a>; <a href="/authors/wang.dongming" title="Author Profile">Wang, Dongming</a></div> <h3 class="title"> <a href="/1319.68214"><strong>Formalization and specification of geometric knowledge objects.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1319.68214">Zbl 1319.68214</a> </h3> <div class="source"> <a href="/serials/4909" title="Journal Profile">Math. Comput. Sci.</a> <a href="/?q=in%3A329212" title="Articles in this Issue">7, No. 4, 439-454 (2013)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68P05" title="Data structures">68P05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1319.68214" data-ciurl="/ci/06397149" data-biburl="/bibtex/06397149.bib" data-amsurl="/amsrefs/06397149.bib" data-xmlurl="/xml/06397149.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06397149.pdf" title="Zbl 1319.68214 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11786-013-0167-4" aria-label="DOI for “Formalization and specification of geometric knowledge objects”" title="10.1007/s11786-013-0167-4">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6057743" value="6057743" aria-label="mark item Zbl 1242.68281"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/narboux.julien" title="Author Profile">Narboux, Julien</a>; <a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1242.68281"><strong>The area method. A recapitulation.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1242.68281">Zbl 1242.68281</a> </h3> <div class="source"> <a href="/serials/1150" title="Journal Profile">J. Autom. Reasoning</a> <a href="/?q=in%3A297947" title="Articles in this Issue">48, No. 4, 489-532 (2012)</a>. </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A03B35" title="Mechanization of proofs and logical operations">03B35</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1242.68281" data-ciurl="/ci/06057743" data-biburl="/bibtex/06057743.bib" data-amsurl="/amsrefs/06057743.bib" data-xmlurl="/xml/06057743.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06057743.pdf" title="Zbl 1242.68281 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10817-010-9209-7" aria-label="DOI for “The area method. A recapitulation”" title="10.1007/s10817-010-9209-7">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://hal.science/hal-00426563" title="Open Access at HAL">HAL </a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5979330" value="5979330" aria-label="mark item Zbl 1350.68243"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1350.68243"><strong>Thousands of geometric problems for geometric theorem provers (TGTP).</strong></a> <i>(English)</i> <a class="label nowrap" href="/1350.68243">Zbl 1350.68243</a> </h3> <div class="source"> Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 169-181 (2011). </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A51-04" title="Software, source code, etc. for problems pertaining to geometry">51-04</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1350.68243" data-ciurl="/ci/05979330" data-biburl="/bibtex/05979330.bib" data-amsurl="/amsrefs/05979330.bib" data-xmlurl="/xml/05979330.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05979330.pdf" title="Zbl 1350.68243 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-642-25070-5_10" aria-label="DOI for “Thousands of geometric problems for geometric theorem provers (TGTP)”" title="10.1007/978-3-642-25070-5_10">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5934438" value="5934438" aria-label="mark item Zbl 1335.68230"></div> <div class="author"><a href="/authors/kaliszyk.cezary" title="Author Profile">Kaliszyk, Cezary</a>; <a href="/authors/ida.tetsuo" title="Author Profile">Ida, Tetsuo</a></div> <h3 class="title"> <a href="/1335.68230"><strong>Proof assistant decision procedures for formalizing origami.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1335.68230">Zbl 1335.68230</a> </h3> <div class="source"> Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 45-57 (2011). </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A68W30" title="Symbolic computation and algebraic computation">68W30</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1335.68230" data-ciurl="/ci/05934438" data-biburl="/bibtex/05934438.bib" data-amsurl="/amsrefs/05934438.bib" data-xmlurl="/xml/05934438.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05934438.pdf" title="Zbl 1335.68230 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-642-22673-1_4" aria-label="DOI for “Proof assistant decision procedures for formalizing origami”" title="10.1007/978-3-642-22673-1_4">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5774515" value="5774515" aria-label="mark item Zbl 1286.68425"></div> <div class="author"><a href="/authors/chen.xiaoyu" title="Author Profile">Chen, Xiaoyu</a></div> <h3 class="title"> <a href="/1286.68425"><strong>Electronic Geometry Textbook: a geometric textbook knowledge management system.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1286.68425">Zbl 1286.68425</a> </h3> <div class="source"> Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 278-292 (2010). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T30" title="Knowledge representation">68T30</a> <a class="mono" href="/classification/?q=cc%3A68T35" title="Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence">68T35</a> <a class="mono" href="/classification/?q=cc%3A68U35" title="Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)">68U35</a> <a class="mono" href="/classification/?q=cc%3A51-00" title="General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to geometry">51-00</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1286.68425" data-ciurl="/ci/05774515" data-biburl="/bibtex/05774515.bib" data-amsurl="/amsrefs/05774515.bib" data-xmlurl="/xml/05774515.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05774515.pdf" title="Zbl 1286.68425 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-642-14128-7_24" aria-label="DOI for “Electronic Geometry Textbook: a geometric textbook knowledge management system”" title="10.1007/978-3-642-14128-7_24">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1005.0080"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5662160" value="5662160" aria-label="mark item Zbl 1185.68626"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1185.68626"><strong>Geometry constructions language.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1185.68626">Zbl 1185.68626</a> </h3> <div class="source"> <a href="/serials/1150" title="Journal Profile">J. Autom. Reasoning</a> <a href="/?q=in%3A257386" title="Articles in this Issue">44, No. 1-2, 3-24 (2010)</a>. </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A51M04" title="Elementary problems in Euclidean geometries">51M04</a> <a class="mono" href="/classification/?q=cc%3A68N15" title="Theory of programming languages">68N15</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1185.68626" data-ciurl="/ci/05662160" data-biburl="/bibtex/05662160.bib" data-amsurl="/amsrefs/05662160.bib" data-xmlurl="/xml/05662160.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05662160.pdf" title="Zbl 1185.68626 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s10817-009-9135-8" aria-label="DOI for “Geometry constructions language”" title="10.1007/s10817-009-9135-8">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6241757" value="6241757" aria-label="mark item Zbl 1278.68279"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1278.68279"><strong>GeoThms – a web system for Euclidean constructive geometry.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1278.68279">Zbl 1278.68279</a> </h3> <div class="source"> Autexier, Serge (ed.) et al., Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 2, 35-48 (2007). </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A68U35" title="Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)">68U35</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1278.68279" data-ciurl="/ci/06241757" data-biburl="/bibtex/06241757.bib" data-amsurl="/amsrefs/06241757.bib" data-xmlurl="/xml/06241757.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06241757.pdf" title="Zbl 1278.68279 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.entcs.2006.09.020" aria-label="DOI for “GeoThms -- a web system for Euclidean constructive geometry”" title="10.1016/j.entcs.2006.09.020">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5256454" value="5256454" aria-label="mark item Zbl 1195.68092"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a>; <a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a></div> <h3 class="title"> <a href="/1195.68092"><strong>Automatic verification of regular constructions in dynamic geometry systems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1195.68092">Zbl 1195.68092</a> </h3> <div class="source"> Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 39-51 (2007). </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> <a class="mono" href="/classification/?q=cc%3A51-04" title="Software, source code, etc. for problems pertaining to geometry">51-04</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1195.68092" data-ciurl="/ci/05256454" data-biburl="/bibtex/05256454.bib" data-amsurl="/amsrefs/05256454.bib" data-xmlurl="/xml/05256454.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05256454.pdf" title="Zbl 1195.68092 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/978-3-540-77356-6_3" aria-label="DOI for “Automatic verification of regular constructions in dynamic geometry systems”" title="10.1007/978-3-540-77356-6_3">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5785492" value="5785492" aria-label="mark item Zbl 1230.51024"></div> <div class="author"><a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1230.51024"><strong>GCLC – a tool for constructive Euclidean geometry and more than that.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1230.51024">Zbl 1230.51024</a> </h3> <div class="source"> Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 58-73 (2006). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A51M15" title="Geometric constructions in real or complex geometry">51M15</a> <a class="mono" href="/classification/?q=cc%3A51-04" title="Software, source code, etc. for problems pertaining to geometry">51-04</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1230.51024" data-ciurl="/ci/05785492" data-biburl="/bibtex/05785492.bib" data-amsurl="/amsrefs/05785492.bib" data-xmlurl="/xml/05785492.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05785492.pdf" title="Zbl 1230.51024 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/11832225_6" aria-label="DOI for “GCLC -- a tool for constructive Euclidean geometry and more than that”" title="10.1007/11832225_6">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5785477" value="5785477" aria-label="mark item Zbl 1195.68008"></div> <div class="author"></div> <div class="author_references"><a href="/authors/iglesias.andres" title="Author Profile">Iglesias, Andrés (ed.)</a>; <a href="/authors/takayama.nobuki" title="Author Profile">Takayama, Nobuki (ed.)</a></div> <h3 class="title"> <a href="/1195.68008"><strong>Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1195.68008">Zbl 1195.68008</a> </h3> <div class="source"> <a href="/serials/4014" title="Series Profile">Lecture Notes in Computer Science</a> 4151. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). xvii, 452 p. (2006). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68-06" title="Proceedings, conferences, collections, etc. pertaining to computer science">68-06</a> <a class="mono" href="/classification/?q=cc%3A65-06" title="Proceedings, conferences, collections, etc. pertaining to numerical analysis">65-06</a> <a class="mono" href="/classification/?q=cc%3A00B25" title="Proceedings of conferences of miscellaneous specific interest">00B25</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1195.68008" data-ciurl="/ci/05785477" data-biburl="/bibtex/05785477.bib" data-amsurl="/amsrefs/05785477.bib" data-xmlurl="/xml/05785477.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05785477.pdf" title="Zbl 1195.68008 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/11832225" aria-label="DOI for “Mathematical software -- ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1--3, 2006. Proceedings”" title="10.1007/11832225">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5187445" value="5187445" aria-label="mark item Zbl 1188.68264"></div> <div class="author"><a href="/authors/quaresma.pedro" title="Author Profile">Quaresma, Pedro</a>; <a href="/authors/janicic.predrag" title="Author Profile">Janičić, Predrag</a></div> <h3 class="title"> <a href="/1188.68264"><strong>Integrating dynamic geometry software, deduction systems, and theorem repositories.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1188.68264">Zbl 1188.68264</a> </h3> <div class="source"> Borwein, Jonathan M. (ed.) et al., Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37104-4/pbk). Lecture Notes in Computer Science 4108. Lecture Notes in Artificial Intelligence, 280-294 (2006). </div><div class="classification"> MSC:  <span class="mono" title="Theorem proving (deduction, resolution, etc.) (MSC2010)">68T15</span> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1188.68264" data-ciurl="/ci/05187445" data-biburl="/bibtex/05187445.bib" data-amsurl="/amsrefs/05187445.bib" data-xmlurl="/xml/05187445.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05187445.pdf" title="Zbl 1188.68264 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/11812289_22" aria-label="DOI for “Integrating dynamic geometry software, deduction systems, and theorem repositories”" title="10.1007/11812289_22">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item1774166" value="1774166" aria-label="mark item Zbl 1042.68111"></div> <div class="author"><a href="/authors/edalat.abbas" title="Author Profile">Edalat, Abbas</a>; <a href="/authors/lieutier.andre" title="Author Profile">Lieutier, André</a></div> <h3 class="title"> <a href="/1042.68111"><strong>Foundation of a computable solid modelling.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1042.68111">Zbl 1042.68111</a> </h3> <div class="source"> <a href="/serials/735" title="Journal Profile">Theor. Comput. Sci.</a> <a href="/?q=in%3A87428" title="Articles in this Issue">284, No. 2, 319-345 (2002)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68U07" title="Computer science aspects of computer-aided design">68U07</a> <a class="mono" href="/classification/?q=cc%3A68U05" title="Computer graphics; computational geometry (digital and algorithmic aspects)">68U05</a> </div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1042.68111" data-ciurl="/ci/01774166" data-biburl="/bibtex/01774166.bib" data-amsurl="/amsrefs/01774166.bib" data-xmlurl="/xml/01774166.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/01774166.pdf" title="Zbl 1042.68111 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/S0304-3975(01)00091-3" aria-label="DOI for “Foundation of a computable solid modelling.”" title="10.1016/S0304-3975(01)00091-3">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://hdl.handle.net/10044/1/567" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div></section> <section class="content-filter"><h2 class="filters-caption">Filter Results by …</h2> <div class="filter filter-st"> <h3 class="filter-caption">Access</h3> <ul><li> <a href="/?q=Geometry+sw%3AGCLC+st%3Ao" title="Open Access Documents">Open Access</a> (2) </li></ul> </div> <div class="filter filter-dt"> <h3 class="filter-caption">Document Type</h3> <ul><li> <a href="/?q=Geometry+sw%3AGCLC+dt%3Aj" title="Articles in Journals">Journal Articles</a> (22) </li><li> <a href="/?q=Geometry+sw%3AGCLC+dt%3Aa" title="Articles in Conference Proceedings and Collected Volumes">Collection Articles</a> (14) </li><li> <a href="/?q=Geometry+sw%3AGCLC+dt%3Ab" title="Monographs, Proceedings, Dissertations etc.">Books</a> (1) </li></ul> </div> <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="/?q=Geometry+sw%3AGCLC+ai%3Ajanicic.predrag">Janičić, Predrag</a> (13) </li><li> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aquaresma.pedro">Quaresma, Pedro</a> (12) </li><li> <a href="/?q=Geometry+sw%3AGCLC+ai%3Amarinkovic.vesna">Marinković, Vesna</a> (6) </li><li> <a href="/?q=Geometry+sw%3AGCLC+ai%3Anarboux.julien">Narboux, Julien</a> (4) </li><li> <a href="/?q=Geometry+sw%3AGCLC+ai%3Abaeta.nuno">Baeta, Nuno</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Achen.xiaoyu">Chen, Xiaoyu</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Akovacs.zoltan">Kovács, Zoltán</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Abotana.francisco">Botana, Francisco</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Agraziani.pierluigi">Graziani, Pierluigi</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Amaric.filip">Marić, Filip</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aschreck.pascal">Schreck, Pascal</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Asukilovic.tijana">Šukilović, Tijana</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Abarthel.tobias">Barthel, Tobias</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aboutry.pierre">Boutry, Pierre</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Abraun.gabriel">Braun, Gabriel</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Abreuillard.emmanuel">Breuillard, Emmanuel</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Adenham.graham">Denham, Graham</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aedalat.abbas">Edalat, Abbas</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aferagen.aasa">Feragen, Aasa</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Agaiffi.giovanni">Gaiffi, Giovanni</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ahan.jesse-michael">Han, Jesse Michael</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ahochman.michael">Hochman, Michael</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ahohenwarter.markus">Hohenwarter, Markus</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ahotz.thomas">Hotz, Thomas</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ahuckemann.stephan-f">Huckemann, Stephan F.</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aida.tetsuo">Ida, Tetsuo</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aiglesias.andres">Iglesias, Andrés</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ajimenez-rolland.rita">Jiménez Rolland, Rita</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Akaliszyk.cezary">Kaliszyk, Cezary</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Akrause.henning">Krause, Henning</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Akrueger.ryan">Krueger, Ryan</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Alieutier.andre">Lieutier, André</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Amiller.ezra">Miller, Ezra</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Anikolic.mladen">Nikolić, Mladen</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Apetrovic.ivan">Petrovic, Ivan</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Arecio.tomas">Recio, Tomas</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Asantos.vanda">Santos, Vanda</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aselakovic.milica">Selaković, Milica</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aselsam.daniel">Selsam, Daniel</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Ashmerkin.pablo-s">Shmerkin, Pablo S.</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Astojanoska.vesna">Stojanoska, Vesna</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Astojanovic-durdevic.sana">Stojanović Đurđević, Sana</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Asuciu.alexander-i">Suciu, Alexander I.</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Atakayama.nobuki">Takayama, Nobuki</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Awang.dongming">Wang, Dongming</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+ai%3Aweitzhofer.simon">Weitzhofer, Simon</a> (1) </li></ul> </div> <div class="filter filter-se"><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">Serial</h3> <ul> <li> <a href="/?q=Geometry+sw%3AGCLC+se%3A2122" title="Annals of Mathematics and Artificial Intelligence">Ann. Math. Artif. Intell. </a> (5)</li><li> <a href="/?q=Geometry+sw%3AGCLC+se%3A1150" title="Journal of Automated Reasoning">J. Autom. Reasoning </a> (4)</li><li> <a href="/?q=Geometry+sw%3AGCLC+se%3A3247" title="Oberwolfach Reports">Oberwolfach Rep. </a> (4)</li><li> <a href="/?q=Geometry+sw%3AGCLC+se%3A4909" title="Mathematics in Computer Science">Math. Comput. Sci. </a> (4)</li><li> <a href="/?q=Geometry+sw%3AGCLC+se%3A1072" title="Journal of Symbolic Computation">J. Symb. Comput. </a> (3)</li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+se%3A735" title="Theoretical Computer Science">Theor. Comput. Sci. </a> (1)</li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+se%3A2851" title="Journal of Systems Science and Complexity">J. Syst. Sci. Complex. </a> (1)</li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+se%3A4014" title="Lecture Notes in Computer Science">Lect. Notes Comput. Sci. </a> (1)</li></ul> </div> <div class="filter filter-py"><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">Year of Publication</h3> <ul><li> <a href="/?q=Geometry+sw%3AGCLC+py%3A2023">2023</a> (3) </li><li> <a href="/?q=Geometry+sw%3AGCLC+py%3A2021">2021</a> (4) </li><li> <a href="/?q=Geometry+sw%3AGCLC+py%3A2020">2020</a> (3) </li><li> <a href="/?q=Geometry+sw%3AGCLC+py%3A2019">2019</a> (3) </li><li> <a href="/?q=Geometry+sw%3AGCLC+py%3A2018">2018</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2017">2017</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2016">2016</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2015">2015</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2014">2014</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2013">2013</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2012">2012</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2011">2011</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2010">2010</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2007">2007</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2006">2006</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+py%3A2002">2002</a> (1) </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="/?q=Geometry+sw%3AGCLC+cc%3A68" title="Computer science">68-XX </a> (31) </li><li> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A51" title="Geometry">51-XX </a> (17) </li><li> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A00" title="General and overarching topics; collections">00-XX </a> (5) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A03" title="Mathematical logic and foundations">03-XX </a> (5) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A14" title="Algebraic geometry">14-XX </a> (3) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A55" title="Algebraic topology">55-XX </a> (3) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A20" title="Group theory and generalizations">20-XX </a> (2) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A65" title="Numerical analysis">65-XX </a> (2) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A97" title="Mathematics education">97-XX </a> (2) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A11" title="Number theory">11-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A16" title="Associative rings and algebras">16-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A18" title="Category theory; homological algebra">18-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A28" title="Measure and integration">28-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A32" title="Several complex variables and analytic spaces">32-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A37" title="Dynamical systems and ergodic theory">37-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A52" title="Convex and discrete geometry">52-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A53" title="Differential geometry">53-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A57" title="Manifolds and cell complexes">57-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A60" title="Probability theory and stochastic processes">60-XX </a> (1) </li><li class="more"> <a class="" href="/?q=Geometry+sw%3AGCLC+cc%3A62" title="Statistics">62-XX </a> (1) </li></ul> </div> <div class="filter filter-sw"><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">Software</h3> <ul><li> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGCLC">GCLC</a> (37) </li><li> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoGebra">GeoGebra</a> (18) </li><li> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoThms">GeoThms</a> (17) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGCLCprover">GCLCprover</a> (16) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGEX">GEX</a> (15) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoProof">GeoProof</a> (12) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3Agcl">gcl</a> (12) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACinderella">Cinderella</a> (11) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGEOTHER+1.1">GEOTHER 1.1</a> (10) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AOpenGeoProver">OpenGeoProver</a> (10) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACoq">Coq</a> (9) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AJGEX">JGEX</a> (9) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMMP%2FGeometer">MMP/Geometer</a> (9) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoView">GeoView</a> (8) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AIntergeo">Intergeo</a> (8) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ATGTP">TGTP</a> (8) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AArgoCLP">ArgoCLP</a> (7) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ATPTP">TPTP</a> (7) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AArgoTriCS">ArgoTriCS</a> (5) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AElectronic+Geometry+Textbook">Electronic Geometry Textbook</a> (5) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AEukleides">Eukleides</a> (5) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeometer%27s+Sketchpad">Geometer's Sketchpad</a> (5) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ATheorema">Theorema</a> (5) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AActiveMath">ActiveMath</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGATP">GATP</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGiac">Giac</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AIsabelle%2FHOL">Isabelle/HOL</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AXeukleides">Xeukleides</a> (4) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AAutomath">Automath</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACHomP">CHomP</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AOpengeo">Opengeo</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AREPSN">REPSN</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AWinGCLC">WinGCLC</a> (3) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACabri">Cabri</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AE+Theorem+Prover">E Theorem Prover</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AFlyspeck">Flyspeck</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AHOL+Light">HOL Light</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AKenzo">Kenzo</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMaple">Maple</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMathematica">Mathematica</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APcoq">Pcoq</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AQuillenSuslin">QuillenSuslin</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ASATLIB">SATLIB</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ASATzilla">SATzilla</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ASINGULAR">SINGULAR</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AVAMPIRE">VAMPIRE</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AWGL">WGL</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AZ">Z</a> (2) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AACL2">ACL2</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AAlexNet">AlexNet</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ABaghera">Baghera</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ABliStr">BliStr</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ABliStrTune">BliStrTune</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACHYPRE">CHYPRE</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACoCoA">CoCoA</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACoCoALib">CoCoALib</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ACoqHammer">CoqHammer</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ADEpthLAUNAY">DEpthLAUNAY</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ADLMF">DLMF</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ADr.Doodle">Dr.Doodle</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AE-MaLeS">E-MaLeS</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AEpsilon">Epsilon</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AFEMaLeCoP">FEMaLeCoP</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AFormigramator">Formigramator</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGAP">GAP</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGAUSSIAN">GAUSSIAN</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGMBL">GMBL</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoCoq">GeoCoq</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeoText">GeoText</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGeometrix">Geometrix</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AGfan">Gfan</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AHadamardSearch">HadamardSearch</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AI2Geo">I2Geo</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AImageNet">ImageNet</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AIsar">Isar</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AKANT%2FKASH">KANT/KASH</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AKILLING">KILLING</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AKNOPPIX%2FMath">KNOPPIX/Math</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ALaTeX">LaTeX</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ALeActiveMath">LeActiveMath</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ALiE">LiE</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AML4PG">ML4PG</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMaLeCoP">MaLeCoP</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMathDox">MathDox</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMatlab">Matlab</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMaude">Maude</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMetagraphs">Metagraphs</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMod-p+group+cohomology">Mod-p group cohomology</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMuPAD">MuPAD</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AMySQL">MySQL</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3ANZMATH">NZMATH</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AOracle">Oracle</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APARI%2FGP">PARI/GP</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APHCpack">PHCpack</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APMTK">PMTK</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APVS">PVS</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APenrose">Penrose</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APersistenceImages">PersistenceImages</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3APlural">Plural</a> (1) </li><li class="more"> <a href="/?q=Geometry+sw%3AGCLC+sw%3AProteus">Proteus</a> (1) </li><li class="more">and 29 more Software Packages</li></ul> </div> </section> <div class="content-clear"></div> </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

Document Search Results - zbMATH Open