Document Zbl 1520.90130

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 1520.90130 - 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="/1520.90130?"> <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="an:1520.90130" 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-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="documents"> <div class="content-main"> <div class="content-item"><div class="item"> <article> <div class="author"><a href="/authors/wang.jianjiang" title="Author Profile">Wang, Jianjiang</a>; <a href="/authors/song.guopeng" title="Author Profile">Song, Guopeng</a>; <a href="/authors/liang.zhe.1" title="Author Profile">Liang, Zhe</a>; <a href="/authors/demeulemeester.erik-l" title="Author Profile">Demeulemeester, Erik</a>; <a href="/authors/hu.xuejun" title="Author Profile">Hu, Xuejun</a>; <a href="/authors/liu.jin" title="Author Profile">Liu, Jin</a></div> <h2 class="title"> <strong>Unrelated parallel machine scheduling with multiple time windows: an application to Earth observation satellite scheduling.</strong> <i>(English)</i> <a class="label nowrap" href="/1520.90130">Zbl 1520.90130</a> </h2> <div class="source"> <a href="/serials/1149" title="Journal Profile">Comput. Oper. Res.</a> <a href="/?q=in%3A491159" title="Articles in this Issue">149, Article ID 106010, 14 p. (2023)</a>. </div> <div class="abstract">Summary: In this paper, we investigate a variant of the unrelated parallel machine scheduling problem with multiple time windows that is widely employed in the scheduling of earth observation satellites. Two mixed-integer linear programming formulations are proposed based on the concept of non-immediate precedence and the deep analysis of the relationship of time windows. To facilitate the problem solving, we develop a bidirectional rolling horizon preprocessing algorithm to reduce the problem size. Based on detailed overlapping analysis, more inequalities are obtained to tighten the formulations. Furthermore, the dominance among derived inequalities is analyzed, and only nondominated inequalities are appended to limit the size of the problem. The proposed formulation and algorithm can optimally solve instances of up to 800 jobs and 20 machines within 20 min. Moreover, to verify the practicality of our method, we also conducted numerous experiments on realistic instances of satellite scheduling. The experimental results prove that our algorithm is effective for obtaining optimal solutions and can be applied in practice.</div> <div class="clear"></div> <br> <div class="citations"><div class="clear"><a href="/?q=rf%3A7634066">Cited in <strong>1</strong> Document</a></div></div> <div class="classification"> <h3>MSC:</h3> <table><tr> <td> <a class="mono" href="/classification/?q=cc%3A90B35" title="MSC2020">90B35</a> </td> <td class="space"> Deterministic scheduling theory in operations research </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A90C11" title="MSC2020">90C11</a> </td> <td class="space"> Mixed integer programming </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Ascheduling">scheduling</a>; <a href="/?q=ut%3Aunrelated+parallel+machines">unrelated parallel machines</a>; <a href="/?q=ut%3AEarth+observation+satellites">Earth observation satellites</a>; <a href="/?q=ut%3Amixed-integer+linear+programming">mixed-integer linear programming</a>; <a href="/?q=ut%3Apreprocessing">preprocessing</a>; <a href="/?q=ut%3Atightening+strategies">tightening strategies</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 1520.90130" data-ciurl="/ci/07634066" data-biburl="/bibtex/07634066.bib" data-amsurl="/amsrefs/07634066.bib" data-xmlurl="/xml/07634066.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07634066.pdf" title="Zbl 1520.90130 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.cor.2022.106010" aria-label="DOI for “Unrelated parallel machine scheduling with multiple time windows: an application to Earth observation satellite scheduling”" title="10.1016/j.cor.2022.106010">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://lirias.kuleuven.be/handle/20.500.12942/702472" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> <div class="references"> <h3>References:</h3> <table><tr> <td>[1]</td> <td class="space">Allahverdi, A., The third comprehensive survey on scheduling problems with setup time/costs, European J. Oper. Res., 246, 2, 345-378 (2015) · <a href="/1347.90031" class="nowrap">Zbl 1347.90031</a></td> </tr><tr> <td>[2]</td> <td class="space">Bard, J. F.; Rojanasoonthon, S., A branch-and-price algorithm for parallel machine scheduling with time windows and job priorities, Nav. Res. Logist., 53, 1, 24-44 (2006) · <a href="/1106.90030" class="nowrap">Zbl 1106.90030</a></td> </tr><tr> <td>[3]</td> <td class="space">Belhaiza, S.; Hansen, P.; Laporte, G., A hybrid variable neighborhood tabu search heuristic for the vehicle routing problem with multiple time windows, Comput. Oper. Res., 52, 269-281 (2014) · <a href="/1348.90069" class="nowrap">Zbl 1348.90069</a></td> </tr><tr> <td>[4]</td> <td class="space">Belhaiza, S.; MHallah, R.; Brahim, G. B.; Laporte, G., Three multi-start data-driven evolutionary heuristics for the vehicle routing problem with multiple time windows, J. Heuristics, 25, 3, 485-515 (2019)</td> </tr><tr> <td>[5]</td> <td class="space">Bülbül, K.; Şen, H., An exact extended formulation for the unrelated parallel machine total weighted completion time problem, J. Sched., 20, 4, 373-389 (2017) · <a href="/1375.90118" class="nowrap">Zbl 1375.90118</a></td> </tr><tr> <td>[6]</td> <td class="space">Castillo-Salazar, J. A.; Landa-Silva, D.; Qu, R., Workforce scheduling and routing problems: Literature survey and computational study, Ann. Oper. Res., 239, 1, 39-67 (2016) · <a href="/1336.90036" class="nowrap">Zbl 1336.90036</a></td> </tr><tr> <td>[7]</td> <td class="space">Chen, X.; Reinelt, G.; Dai, G.; Spitz, A., A mixed integer linear programming model for multi-satellite scheduling, European J. Oper. Res., 275, 2, 694-707 (2019) · <a href="/1430.90252" class="nowrap">Zbl 1430.90252</a></td> </tr><tr> <td>[8]</td> <td class="space">Cheng, T.; Sin, C., A state-of-the-art review of parallel-machine scheduling research, European J. Oper. Res., 47, 3, 271-292 (1990) · <a href="/0707.90053" class="nowrap">Zbl 0707.90053</a></td> </tr><tr> <td>[9]</td> <td class="space">Fan, Y. P.; Zhao, C. L., Single machine scheduling with multiple common due date assignment and aging effect under a deteriorating maintenance activity consideration, J. Appl. Math. Comput., 46, 1-2, 51-66 (2014) · <a href="/1305.90180" class="nowrap">Zbl 1305.90180</a></td> </tr><tr> <td>[10]</td> <td class="space">Fanjul-Peyro, L.; Perea, F.; Ruiz, R., Models and matheuristics for the unrelated parallel machine scheduling problem with additional resources, European J. Oper. Res., 260, 2, 482-493 (2017) · <a href="/1403.90320" class="nowrap">Zbl 1403.90320</a></td> </tr><tr> <td>[11]</td> <td class="space">Fanjul-Peyro, L.; Ruiz, R., Iterated greedy local search methods for unrelated parallel machine scheduling, European J. Oper. Res., 207, 1, 55-69 (2010) · <a href="/1205.90121" class="nowrap">Zbl 1205.90121</a></td> </tr><tr> <td>[12]</td> <td class="space">Fanjul-Peyro, L.; Ruiz, R.; Perea, F., Reformulations and an exact algorithm for unrelated parallel machine scheduling problems with setup times, Comput. Oper. Res., 101, 173-182 (2019) · <a href="/1458.90289" class="nowrap">Zbl 1458.90289</a></td> </tr><tr> <td>[13]</td> <td class="space">Fu, L. L.; Aloulou, M. A.; Triki, C., Integrated production scheduling and vehicle routing problem with job splitting and delivery time windows, Int. J. Prod. Res., 55, 20, 5942-5957 (2017)</td> </tr><tr> <td>[14]</td> <td class="space">Gabrel, V.; Vanderpooten, D., Enumeration and interactive selection of efficient paths in a multiple criteria graph for scheduling an earth observing satellite, European J. Oper. Res., 139, 3, 533-542 (2002) · <a href="/0995.90047" class="nowrap">Zbl 0995.90047</a></td> </tr><tr> <td>[15]</td> <td class="space">Graham, R. L.; Lawler, E. L.; Lenstra, J. K.; Kan, A. R., Optimization and approximation in deterministic sequencing and scheduling: A survey, (Ann. Discrete Math., vol. 5 (1979), Elsevier), 287-326 · <a href="/0411.90044" class="nowrap">Zbl 0411.90044</a></td> </tr><tr> <td>[16]</td> <td class="space">Hoogeboom, M.; Dullaert, W.; Lai, D.; Vigo, D., Efficient neighborhood evaluations for the vehicle routing problem with multiple time windows, Transp. Sci., 54, 2, 400-416 (2020)</td> </tr><tr> <td>[17]</td> <td class="space">Ji, M.; Zhang, W.; Liao, L.; Cheng, T. C.E.; Tan, Y., Multitasking parallel-machine scheduling with machine-dependent slack due-window assignment, Int. J. Prod. Res., 57, 5-6, 1667-1684 (2018)</td> </tr><tr> <td>[18]</td> <td class="space">Ji, M.; Zhang, X.; Tang, X.; Cheng, T.; Wei, G.; Tan, Y., Group scheduling with group-dependent multiple due windows assignment, Int. J. Prod. Res., 54, 4, 1244-1256 (2016)</td> </tr><tr> <td>[19]</td> <td class="space">Kamath, S., Unrelated parallel machine scheduling-perspectives and progress, Opsearch, 48, 4, 318-334 (2011) · <a href="/1353.90064" class="nowrap">Zbl 1353.90064</a></td> </tr><tr> <td>[20]</td> <td class="space">Lauff, V.; Werner, F., Scheduling with common due date, earliness and tardiness penalties for multimachine problems: A survey, Math. Comput. Model., 40, 5-6, 637-655 (2004) · <a href="/1098.90031" class="nowrap">Zbl 1098.90031</a></td> </tr><tr> <td>[21]</td> <td class="space">Lawler, E. L.; Lenstra, J. K.; Rinnooy Kan, A. H.G.; Shmoys, D. B., Sequencing and scheduling: Algorithms and complexity, (Handbooks in Operations Research and Management Science, Vol. 4 (1993), Elsevier: Elsevier North-Holland), 445-522</td> </tr><tr> <td>[22]</td> <td class="space">Lee, Y.; Sherali, H. D., Unrelated machine scheduling with time-window and machine downtime constraints: An application to a naval battle-group problem, Ann. Oper. Res., 50, 1, 339-365 (1994) · <a href="/0812.90067" class="nowrap">Zbl 0812.90067</a></td> </tr><tr> <td>[23]</td> <td class="space">Li, J.; Qin, H.; Baldacci, R.; Zhu, W., Branch-and-price-and-cut for the synchronized vehicle routing problem with split delivery, proportional service time and multiple time windows, Transp. Res. Part E: Logist. Transp. Rev., 140, Article 101955 pp. (2020)</td> </tr><tr> <td>[24]</td> <td class="space">Mokotoff, E., Parallel machine scheduling problems: A survey, Asia-Pac. J. Oper. Res., 18, 2, 193-242 (2001) · <a href="/1042.90564" class="nowrap">Zbl 1042.90564</a></td> </tr><tr> <td>[25]</td> <td class="space">Mokotoff, E.; Chrétienne, P., A cutting plane algorithm for the unrelated parallel machine scheduling problem, European J. Oper. Res., 141, 3, 515-525 (2002) · <a href="/1081.90558" class="nowrap">Zbl 1081.90558</a></td> </tr><tr> <td>[26]</td> <td class="space">Pan, Q. K.; Ruiz, R.; Alfaro-Fernandez, P., Iterated search methods for earliness and tardiness minimization in hybrid flowshops with due windows, Comput. Oper. Res., 80, APR., 50-60 (2017) · <a href="/1391.90301" class="nowrap">Zbl 1391.90301</a></td> </tr><tr> <td>[27]</td> <td class="space">Perea, F.; Vazquez, R.; Galan-Viogue, J., Swath-acquisition planning in multiple-satellite missions: An exact and heuristic approach, IEEE Trans. Aerosp. Electron. Syst., 51, 3, 1717-1725 (2015)</td> </tr><tr> <td>[28]</td> <td class="space">Pinedo, M., Scheduling: Theory, Algorithms, and Systems (2016), Springer: Springer Boston, MA · <a href="/1332.90002" class="nowrap">Zbl 1332.90002</a></td> </tr><tr> <td>[29]</td> <td class="space">Rojanasoonthon, S.; Bard, J., A GRASP for parallel machine scheduling with time windows, INFORMS J. Comput., 17, 1, 32-51 (2005) · <a href="/1239.90052" class="nowrap">Zbl 1239.90052</a></td> </tr><tr> <td>[30]</td> <td class="space">Rojanasoonthon, S.; Bard, J. F.; Reddy, S. D., Algorithms for parallel machine scheduling: A case study of the tracking and data relay satellite system, J. Oper. Res. Soc., 54, 8, 806-821 (2003) · <a href="/1095.90555" class="nowrap">Zbl 1095.90555</a></td> </tr><tr> <td>[31]</td> <td class="space">Rosa, B. F.; Freitas Souza, M. J.; De Souza, S. R.; Felizardo, D. F.F. M.; Ales, Z.; Paul Michelon, P. Y., Algorithms for job scheduling problems with distinct time windows and general earliness/tardiness penalties, Comput. Oper. Res., 81, MAY, 203-215 (2017) · <a href="/1391.90308" class="nowrap">Zbl 1391.90308</a></td> </tr><tr> <td>[32]</td> <td class="space">Siswanto, N.; Wiratno, S. E.; Rusdiansyah, A.; Sarker, R., Maritime inventory routing problem with multiple time windows, J. Ind. Manag. Optim., 15, 3, 1185 (2019) · <a href="/1438.90040" class="nowrap">Zbl 1438.90040</a></td> </tr><tr> <td>[33]</td> <td class="space">Souffriau, W.; Vansteenwegen, P.; Vanden Berghe, G.; Van Oudheusden, D., The multiconstraint team orienteering problem with multiple time windows, Transp. Sci., 47, 1, 53-63 (2013)</td> </tr><tr> <td>[34]</td> <td class="space">Tangpattanakul, P.; Jozefowiez, N.; Lopez, P., A multi-objective local search heuristic for scheduling earth observations taken by an agile satellite, European J. Oper. Res., 245, 2, 542-554 (2015) · <a href="/1346.90391" class="nowrap">Zbl 1346.90391</a></td> </tr><tr> <td>[35]</td> <td class="space">Tran, T. T.; Araujo, A.; Beck, J. C., Decomposition methods for the parallel machine scheduling problem with setups, INFORMS J. Comput., 28, 1, 83-95 (2016) · <a href="/1338.90184" class="nowrap">Zbl 1338.90184</a></td> </tr><tr> <td>[36]</td> <td class="space">Tricoire, F.; Romauch, M.; Doerner, K. F.; Hartl, R. F., Heuristics for the multi-period orienteering problem with multiple time windows, Comput. Oper. Res., 37, 2, 351-367 (2010) · <a href="/1175.90212" class="nowrap">Zbl 1175.90212</a></td> </tr><tr> <td>[37]</td> <td class="space">Van den Bergh, J.; Beliën, J.; De Bruecker, P.; Demeulemeester, E.; De Boeck, L., Personnel scheduling: A literature review, European J. Oper. Res., 226, 3, 367-385 (2013) · <a href="/1292.90001" class="nowrap">Zbl 1292.90001</a></td> </tr><tr> <td>[38]</td> <td class="space">Vredeveld, T.; Hurkens, C., Experimental comparison of approximation algorithms for scheduling unrelated parallel machines, INFORMS J. Comput., 14, 2, 175-189 (2002) · <a href="/1238.90071" class="nowrap">Zbl 1238.90071</a></td> </tr><tr> <td>[39]</td> <td class="space">Wang, J.; Demeulemeester, E.; Hu, X.; Qiu, D.; Liu, J., Exact and heuristic scheduling algorithms for multiple earth observation satellites under uncertainties of clouds, IEEE Syst. J., 13, 3, 3556-3567 (2018)</td> </tr><tr> <td>[40]</td> <td class="space">Wang, J.; Demeulemeester, E.; Hu, X.; Wu, G., Expectation and SAA models and algorithms for scheduling of multiple earth observation satellites under the impact of clouds, IEEE Syst. J., 14, 4, 5451-5462 (2020)</td> </tr><tr> <td>[41]</td> <td class="space">Wang, J.; Demeulemeester, E.; Qiu, D., A pure proactive scheduling algorithm for multiple earth observation satellites under uncertainties of clouds, Comput. Oper. Res., 74, 1-13 (2016) · <a href="/1349.90895" class="nowrap">Zbl 1349.90895</a></td> </tr><tr> <td>[42]</td> <td class="space">Wang, S.; Ye, B., Exact methods for order acceptance and scheduling on unrelated parallel machines, Comput. Oper. Res., 104, 159-173 (2019) · <a href="/1458.90369" class="nowrap">Zbl 1458.90369</a></td> </tr><tr> <td>[43]</td> <td class="space">Yang, D. L.; Lai, C. J.; Yang, S. J., Scheduling problems with multiple due windows assignment and controllable processing times on a single machine, Int. J. Prod. Econ., 150, 96-103 (2014)</td> </tr></table> <div class="reference_disclaimer"> This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching. </div> </div></article> </div></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 Zbl 1520.90130 - zbMATH Open