Document Zbl 1411.93119

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 1411.93119 - 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="/1411.93119?"> <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:1411.93119" 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/sanchez.helem-sabina" title="Author Profile">Sánchez, Helem Sabina</a>; <a href="/authors/rotondo.damiano" title="Author Profile">Rotondo, Damiano</a>; <a href="/authors/escobet.teresa" title="Author Profile">Escobet, Teresa</a>; <a href="/authors/puig.vicenc" title="Author Profile">Puig, Vicenç</a>; <a href="/authors/saludes.jordi" title="Author Profile">Saludes, Jordi</a>; <a href="/authors/quevedo.joseba" title="Author Profile">Quevedo, Joseba</a></div> <h2 class="title"> <strong>Detection of replay attacks in cyber-physical systems using a frequency-based signature.</strong> <i>(English)</i> <a class="label nowrap" href="/1411.93119">Zbl 1411.93119</a> </h2> <div class="source"> <a href="/serials/130" title="Journal Profile">J. Franklin Inst.</a> <a href="/?q=in%3A432052" title="Articles in this Issue">356, No. 5, 2798-2824 (2019)</a>. </div> <div class="abstract">Summary: This paper proposes a frequency-based approach for the detection of replay attacks affecting cyber-physical systems (CPS). In particular, the method employs a sinusoidal signal with a time-varying frequency (authentication signal) into the closed-loop system and checks whether the time profile of the frequency components in the output signal are compatible with the authentication signal or not. In order to carry out this target, the couplings between inputs and outputs are eliminated using a dynamic decoupling technique based on vector fitting. In this way, a signature introduced on a specific input channel will affect only the output that is selected to be associated with that input, which is a property that can be exploited to determine which channels are being affected. A bank of band-pass filters is used to generate signals whose energies can be compared to reconstruct an estimation of the time-varying frequency profile. By matching the known frequency profile with its estimation, the detector can provide the information about whether a replay attack is being carried out or not. The design of the signal generator and the detector are thoroughly discussed, and an example based on a quadruple-tank process is used to show the application and effectiveness of the proposed method.</div> <div class="clear"></div> <br> <div class="citations"><div class="clear"><a href="/?q=rf%3A7046006">Cited in <strong>9</strong> Documents</a></div></div> <div class="classification"> <h3>MSC:</h3> <table><tr> <td> <a class="mono" href="/classification/?q=cc%3A93C80" title="MSC2020">93C80</a> </td> <td class="space"> Frequency-response methods in control theory </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93A15" title="MSC2020">93A15</a> </td> <td class="space"> Large-scale systems </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93C15" title="MSC2020">93C15</a> </td> <td class="space"> Control/observation systems governed by ordinary differential equations </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Acyber-physical+systems">cyber-physical systems</a>; <a href="/?q=ut%3Areplay+attacks">replay attacks</a>; <a href="/?q=ut%3Afrequency-based+signature">frequency-based signature</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 1411.93119" data-ciurl="/ci/07046006" data-biburl="/bibtex/07046006.bib" data-amsurl="/amsrefs/07046006.bib" data-xmlurl="/xml/07046006.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07046006.pdf" title="Zbl 1411.93119 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.jfranklin.2019.01.005" aria-label="DOI for “Detection of replay attacks in cyber-physical systems using a frequency-based signature”" title="10.1016/j.jfranklin.2019.01.005">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://hdl.handle.net/2117/177795" 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">Pasqualetti, F.; Dörfler, F.; Bullo, F., Attack detection and identification in cyber-physical systems, IEEE Trans. Autom. Control, 58, 11, 2715-2729 (2013) · <a href="/1369.93675" class="nowrap">Zbl 1369.93675</a></td> </tr><tr> <td>[2]</td> <td class="space">Bishop, M., Computer Security: Art and Science (2002), Addison-Wesley Professional</td> </tr><tr> <td>[3]</td> <td class="space">Conti, J. P., The day the samba stopped, Eng. Technol., 5, 4, 46-47 (2010)</td> </tr><tr> <td>[4]</td> <td class="space">Moore, D.; Paxson, V.; Savage, S.; Shannon, C.; Staniford, S.; Weaver, N., Inside the Slammer worm, IEEE Secur. Priv., 99, 4, 33-39 (2003)</td> </tr><tr> <td>[5]</td> <td class="space">Farwell, J. P.; Rohozinski, R., Stuxnet and the future of cyber war, Survival, 53, 1, 23-40 (2011)</td> </tr><tr> <td>[6]</td> <td class="space">Blanke, M.; Kinnaert, M.; Lunze, J.; Staroswiecki, M.; Schröder, J., Diagnosis and Fault-tolerant Control (2006), Springer: Springer Berlin · <a href="/1126.93004" class="nowrap">Zbl 1126.93004</a></td> </tr><tr> <td>[7]</td> <td class="space">Hwang, I.; Kim, S.; Kim, Y.; Seah, C. E., A survey of fault detection, isolation, and reconfiguration methods, IEEE Tran. Control Syst. Technol., 18, 3, 636-653 (2010)</td> </tr><tr> <td>[8]</td> <td class="space">Ji, K.; Lu, Y.; Liao, L.; Song, Z.; Wei, D., Prognostics enabled resilient control for model-based building automation systems, Proceedings of the Twelfth Conference of International Building Performance Simulation Association (2011), 286-293 (2011)</td> </tr><tr> <td>[9]</td> <td class="space">Rieger, C. G.; Villez, K., Resilient control system execution agent (ReCoSEA), Proceedings of the Fifth IEEE International Symposium on Resilient Control Systems (2012), 143-148 (2011)</td> </tr><tr> <td>[10]</td> <td class="space">Lin, W. C.; Villez, K.; Garcia, H. E., Experimental validation of a resilient monitoring and control system, J. Process Control, 24, 5, 621-639 (2014)</td> </tr><tr> <td>[11]</td> <td class="space">Rotondo, D.; Puig, V.; Nejjari, F.; Romera, J., A fault-hiding approach for the switching quasi-LPV fault tolerant control of a four-wheeled omnidirectional mobile robot, IEEE Trans. Ind. Electron., 62, 6, 3932-3944 (2015)</td> </tr><tr> <td>[12]</td> <td class="space">Rotondo, D.; López-Estrada, F. R.; Nejjari, F.; Ponsart, J. C.; Theilliol, D.; Puig, V., Actuator multiplicative fault estimation in discrete-time LPV systems using switched observers, J. Frankl. Inst., 353, 13, 3176-3191 (2016) · <a href="/1344.93097" class="nowrap">Zbl 1344.93097</a></td> </tr><tr> <td>[13]</td> <td class="space">Zhou, K.; Doyle, J. C.; Glover, K., Robust and Optimal Control (1996), Prentice-Hall, Inc.: Prentice-Hall, Inc. Upper Saddle River, NJ, USA. · <a href="/0999.49500" class="nowrap">Zbl 0999.49500</a></td> </tr><tr> <td>[14]</td> <td class="space">Rodrigues, M.; Hamdi, H.; Braiek, N. B.; Theilliol, D., Observer-based fault tolerant control design for a class of LPV descriptor systems, J. Frankl. Inst., 351, 6, 3104-3125 (2014) · <a href="/1290.93057" class="nowrap">Zbl 1290.93057</a></td> </tr><tr> <td>[15]</td> <td class="space">Rotondo, D., Advances in Gain-Scheduling and Fault Tolerant Control Techniques (2017), Springer</td> </tr><tr> <td>[16]</td> <td class="space">Gomez-Bravo, F.; García, J. M.; Naharro, R. J.; Galán, J. G.; Raya, M. S., Experimental platform for studying hardware vulnerabilities on mobile robots: I2c bus, a case of study, Rev. Iberoam. Autom. Inf. Ind. RIAI, 14, 2, 205-216 (2017)</td> </tr><tr> <td>[17]</td> <td class="space">Cárdenas, A. A.; Amin, S.; Sastry, S., Research challenges for the security of control systems, Proceedings of the Third Conference on Hot topics in security, 6 (2011)</td> </tr><tr> <td>[18]</td> <td class="space">Amin, S.; Cárdenas, A. A.; Sastry, S., Safe and secure networked control systems under denial-of-service attacks, Proceedings of the International Workshop on Hybrid Systems: Computation and Control, 31-45 (2009), Springer · <a href="/1237.90054" class="nowrap">Zbl 1237.90054</a></td> </tr><tr> <td>[19]</td> <td class="space">Carl, G.; Kesidis, G.; Brooks, R. R.; Rai, S., Denial-of-service attack-detection techniques, IEEE Internet Comput., 10, 1, 82-89 (2006)</td> </tr><tr> <td>[20]</td> <td class="space">Tan, Z.; Jamdagni, A.; He, X.; Nanda, P.; Liu, R. P., Denial-of-service attack detection based on multivariate correlation analysis, Proceedings of the International Conference on Neural Information Processing, 756-765 (2011)</td> </tr><tr> <td>[21]</td> <td class="space">Zhao, L.; Yang, G.-H., Adaptive sliding mode fault tolerant control for nonlinearly chaotic systems against DoS attack and network faults, J. Frankl. Inst., 354, 15, 6520-6535 (2017) · <a href="/1373.93084" class="nowrap">Zbl 1373.93084</a></td> </tr><tr> <td>[22]</td> <td class="space">Xiang, Y.; Li, K.; Zhou, W., Low-rate DDoS attacks detection and traceback by using new information metrics, IEEE Trans. Inf. Forensics Secur., 6, 2, 426-437 (2011)</td> </tr><tr> <td>[23]</td> <td class="space">Gupta, A.; Langbort, C.; Başar, T., Optimal control in the presence of an intelligent jammer with limited actions, Proceedings of the Forty-ninth IEEE Conference on Decision and Control, 1096-1101 (2010)</td> </tr><tr> <td>[24]</td> <td class="space">Zhang, R.; Venkitasubramaniam, P., Stealthy control signal attacks in linear quadratic Gaussian control systems: Detectability reward tradeoff, IEEE Trans. Inf. Forensics Secur., 12, 7, 1555-1570 (2017)</td> </tr><tr> <td>[25]</td> <td class="space">Li, B.; Lu, R.; Wang, W.; Choo, K.-K. R., DDOA: a dirichlet-based detection scheme for opportunistic attacks in smart grid cyber-physical system, IEEE Trans. Inf. Forensics Secur., 11, 11, 2415-2425 (2016)</td> </tr><tr> <td>[26]</td> <td class="space">Mo, Y.; Sinopoli, B., Secure control against replay attacks, Proceedings of the Forty-seventh IEEE Annual Allerton Conference on Communication, Control, and Computing, 911-918 (2009)</td> </tr><tr> <td>[27]</td> <td class="space">Sid, M. A.; Chitraganti, S.; Chabir, K., Medium access scheduling for input reconstruction under deception attacks, J. Frankl. Inst., 354, 9, 3678-3689 (2017) · <a href="/1367.93662" class="nowrap">Zbl 1367.93662</a></td> </tr><tr> <td>[28]</td> <td class="space">Liu, J.; Xia, J.; Tian, E.; Fei, S., Hybrid-driven-based $h_∞$ filter design for neural networks subject to deception attacks, Appl. Math. Comput., 320, 158-174 (2018) · <a href="/1426.93086" class="nowrap">Zbl 1426.93086</a></td> </tr><tr> <td>[29]</td> <td class="space">Miao, F.; Pajic, M.; Pappas, G. J., Stochastic game approach for replay attack detection, Proceedings of the Fifty-second IEEE Conference on Decision and Control (2013), 1854-1859 (2013)</td> </tr><tr> <td>[30]</td> <td class="space">Zhu, M.; Martínez, S., On the performance analysis of resilient networked control systems under replay attacks, IEEE Trans. Autom. Control, 59, 3, 804-808 (2014) · <a href="/1360.93459" class="nowrap">Zbl 1360.93459</a></td> </tr><tr> <td>[31]</td> <td class="space">Ma, M.; Zhou, P.; Du, D.; Peng, C.; Fei, M.; AlBuflasa, H. M., Detecting replay attacks in power systems: a data-driven approach, Proceedings of the Advanced Computational Methods in Energy, Power, Electric Vehicles, and their Integration, 450-457 (2017), Springer</td> </tr><tr> <td>[32]</td> <td class="space">Kashima, K.; Inoue, D., Replay attack detection in control systems with quantized signals, Proceedings of the IEEE European Control Conference, 782-787 (2015)</td> </tr><tr> <td>[33]</td> <td class="space">Tang, B.; Alvergue, L. D.; Gu, G., Secure networked control systems against replay attacks without injecting authentication noise, Proceedings of the IEEE American Control Conference, 6028-6033 (2015)</td> </tr><tr> <td>[34]</td> <td class="space">Teixeira, A.; Pérez, D.; Sandberg, H.; Johansson, K. H., Attack models and scenarios for networked control systems, Proceedings of the First ACM International Conference on High Confidence Networked Systems, 55-64 (2012)</td> </tr><tr> <td>[35]</td> <td class="space">Mehra, R.; Peschon, J., An innovations approach to fault detection and diagnosis in dynamic systems, Automatica, 7, 637-660 (1971)</td> </tr><tr> <td>[36]</td> <td class="space">Costa-Castelló, R.; Olm, J. M.; Vargas, H.; Ramos, G. A., An educational approach to the internal model principle for periodic signals, Int. J. Innov. Comput. Inf. Control, 8, 8, 5591-5606 (2012)</td> </tr><tr> <td>[37]</td> <td class="space">Franklin, G. F.; Powell, J. D.; Workman, M. L., Digital Control of Dynamic Systems (1997), Addison Wesley Longman</td> </tr><tr> <td>[38]</td> <td class="space">Skogestad, S.; Postlethwaite, I., Multivariable Feedback Control: Analysis and Design (2005), Wiley · <a href="/0842.93024" class="nowrap">Zbl 0842.93024</a></td> </tr><tr> <td>[39]</td> <td class="space">Gasparyan, O. N., Linear and Nonlinear Multivariable Feedback Control: A Classical Approach (2008), John Wiley and Sons, Ltd.</td> </tr><tr> <td>[40]</td> <td class="space">Wang, Q.-G., Decoupling Control, Lecture Notes in Control and Information Sciences, 285 (2003), Springer-Verlag: Springer-Verlag Berlin Heidelberg · <a href="/1010.93002" class="nowrap">Zbl 1010.93002</a></td> </tr><tr> <td>[41]</td> <td class="space">Gustavsen, B.; Semlyen, A., Rational approximation of frequency domain responses by vector fitting, IEEE Trans. Power Deliv., 14, 3, 1052-1061 (1999)</td> </tr><tr> <td>[42]</td> <td class="space">Gustavsen, B., Improving the pole relocating properties of vector fitting, IEEE Trans. Power Deliv., 21, 3, 1587-1592 (2006)</td> </tr><tr> <td>[43]</td> <td class="space">Semlyen, A.; Gustavsen, B., Vector fitting by pole relocation for the state equation approximation of nonrational transfer matrices, Circuits Syst. Signal Process., 19, 6, 549-566 (2000) · <a href="/0963.93520" class="nowrap">Zbl 0963.93520</a></td> </tr><tr> <td>[44]</td> <td class="space">Gustavsen, B.; Semlyen, A., Simulation of transmission line transient using vector fitting and modal decomposition, IEEE Trans. Power Deliv., 13, 2, 605-614 (1998)</td> </tr><tr> <td>[45]</td> <td class="space">Bracewell, R. N., The Fourier Transform and its Applications (2000), McGraw-Hill: McGraw-Hill Boston</td> </tr><tr> <td>[46]</td> <td class="space">J. Van Vliet, L., Windowed Fourier transform, Lect. Signals Syst. (2002)</td> </tr><tr> <td>[47]</td> <td class="space">Harris, F., On the use of windows for harmonic analysis with the discrete Fourier transform, Proc. IEEE, 66, 1, 51-83 (1978)</td> </tr><tr> <td>[48]</td> <td class="space">Geckinli, N.; Yavuz, D., Some novel windows and a concise tutorial comparison of window families, IEEE Trans. Acoust. Speech Signal Process., 26, 6, 501-507 (1978) · <a href="/0415.93027" class="nowrap">Zbl 0415.93027</a></td> </tr><tr> <td>[49]</td> <td class="space">Singla, P.; Singh, T., Desired order continuous polynomial time window functions for harmonic analysis, IEEE Trans. Instrum. Measur., 59, 9, 2475-2481 (2010)</td> </tr><tr> <td>[50]</td> <td class="space">Zumbahlen, H., Linear Circuit Design Handbook (2008), Elsevier Newnes Press</td> </tr><tr> <td>[51]</td> <td class="space">Ogata, K., Modern Control Engineering (1970), Prentice Hall</td> </tr><tr> <td>[52]</td> <td class="space">Le Bot, A., Foundation of Statistical Energy Analysis (2015), Oxford University Press · <a href="/1314.74003" class="nowrap">Zbl 1314.74003</a></td> </tr><tr> <td>[53]</td> <td class="space">Teixeira, A.; Shames, I.; Sandberg, H.; Johansson, K. H., A secure control framework for resource-limited adversaries, Automatica, 51, 135-148 (2015) · <a href="/1309.93020" class="nowrap">Zbl 1309.93020</a></td> </tr><tr> <td>[54]</td> <td class="space">Johansson, K. H., The quadruple-tank process: a multivariable laboratory process with an adjustable zero, IEEE Trans. Control Syst. Technol., 8, 3, 456-465 (2000)</td> </tr><tr> <td>[55]</td> <td class="space">Deschrijver, D.; Mrozowski, M.; Dhaene, T.; De Zutter, D., Macromodeling of multiport systems using a fast implementation of the vector fitting method, IEEE Microw. Wirel. Compon. Lett., 18, 6, 383-385 (2008)</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 1411.93119 - zbMATH Open