Document Zbl 1284.68317

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 1284.68317 - 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="/1284.68317?"> <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:1284.68317" 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/bioglio.livio" title="Author Profile">Bioglio, Livio</a>; <a href="/authors/dezani-ciancaglini.mariangiola" title="Author Profile">Dezani-Ciancaglini, Mariangiola</a>; <a href="/authors/giannini.paola" title="Author Profile">Giannini, Paola</a>; <a href="/authors/troina.angelo" title="Author Profile">Troina, Angelo</a></div> <h2 class="title"> <strong>Typed stochastic semantics for the calculus of looping sequences.</strong> <i>(English)</i> <a class="label nowrap" href="/1284.68317">Zbl 1284.68317</a> </h2> <div class="source"> <a href="/serials/735" title="Journal Profile">Theor. Comput. Sci.</a> <a href="/?q=in%3A298819" title="Articles in this Issue">431, 165-180 (2012)</a>. </div> <div class="abstract">Summary: The stochastic calculus of looping sequences is a quantitative term rewrite formalism suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. In this paper, we propose an operational semantics for this calculus that considers the types of the species to derive the stochastic evolution of the system. The presence of positive and negative catalysers can modify these speeds. We claim that types provide an abstraction suitable to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through an example modelling the lactose operon.</div> <div class="clear"></div> <br> <div class="citations"><div class="clear"><a href="/?q=rf%3A6039203">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%3A68Q42" title="MSC2020">68Q42</a> </td> <td class="space"> Grammars and rewriting systems </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A68Q55" title="MSC2020">68Q55</a> </td> <td class="space"> Semantics in the theory of computing </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A92C42" title="MSC2020">92C42</a> </td> <td class="space"> Systems biology, networks </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Acalculus+of+looping+sequences">calculus of looping sequences</a>; <a href="/?q=ut%3Asystems+biology">systems biology</a>; <a href="/?q=ut%3Astochastic+semantics">stochastic semantics</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 1284.68317" data-ciurl="/ci/06039203" data-biburl="/bibtex/06039203.bib" data-amsurl="/amsrefs/06039203.bib" data-xmlurl="/xml/06039203.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06039203.pdf" title="Zbl 1284.68317 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.tcs.2011.12.062" aria-label="DOI for “Typed stochastic semantics for the calculus of looping sequences”" title="10.1016/j.tcs.2011.12.062">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> <div class="references"> <h3>References:</h3> <table><tr> <td>[1]</td> <td class="space">Barbuti, R.; Maggiolo-Schettini, A.; Milazzo, P.; Troina, A., A calculus of looping sequences for modelling microbiological systems, Fundamenta Informaticæ, 72, 1-3, 21-35 (2006) · <a href="/1101.92021" class="nowrap">Zbl 1101.92021</a></td> </tr><tr> <td>[2]</td> <td class="space">Barbuti, R.; Maggiolo-Schettini, A.; Milazzo, P.; Troina, A., Bisimulation congruences in the calculus of looping sequences, (International Colloquium on Theoretical Aspects of Computing (ICTAC’06). International Colloquium on Theoretical Aspects of Computing (ICTAC’06), LNCS, Vol. 4281 (2006), Springer), 93-107 · <a href="/1168.68435" class="nowrap">Zbl 1168.68435</a></td> </tr><tr> <td>[3]</td> <td class="space">Milazzo, P., Qualitative and quantitative formal modeling of biological systems, (Ph.D. Thesis (2007), University of Pisa)</td> </tr><tr> <td>[4]</td> <td class="space">Barbuti, R.; Maggiolo-Schettini, A.; Milazzo, P.; Troina, A., Bisimulations in calculi modelling membranes, Formal Aspects of Computing, 20, 4-5, 351-377 (2008) · <a href="/1152.68035" class="nowrap">Zbl 1152.68035</a></td> </tr><tr> <td>[5]</td> <td class="space">Barbuti, R.; Maggiolo-Schettini, A.; Milazzo, P.; Tiberi, P.; Troina, A., Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways, Transactions on Computational Systems Biology, IX, 86-113 (2008) · <a href="/1241.92019" class="nowrap">Zbl 1241.92019</a></td> </tr><tr> <td>[6]</td> <td class="space">Gillespie, D. T., Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry, 81, 25, 2340-2361 (1977)</td> </tr><tr> <td>[7]</td> <td class="space">Dezani-Ciancaglini, M.; Giannini, P.; Troina, A., A type system for a stochastic $\text{CLS} $, (Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’09). Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’09), EPTCS, Vol. 11 (2009)), 91-106</td> </tr><tr> <td>[8]</td> <td class="space">Taiz, L.; Zeiger, E., Plant Physiology (2006), Sinauer Associated Inc.</td> </tr><tr> <td>[9]</td> <td class="space">Danos, V.; Feret, J.; Fontana, W.; Krivine, J., Scalable modelling of biological pathways, (ASIAN Symposium on Programming Languages and Systems (APLAS’07). ASIAN Symposium on Programming Languages and Systems (APLAS’07), LNCS, Vol. 4807 (2007)), 139-157</td> </tr><tr> <td>[10]</td> <td class="space">Krivine, J.; Milner, R.; Troina, A., Stochastic bigraphs, (Mathematical Foundations of Programming Semantic (MFPS’08). Mathematical Foundations of Programming Semantic (MFPS’08), ENTCS, Vol. 218 (2008), Elsevier), 73-96 · <a href="/1286.68354" class="nowrap">Zbl 1286.68354</a></td> </tr><tr> <td>[11]</td> <td class="space">Coppo, M.; Damiani, F.; Drocco, M.; Grassi, E.; Sciacca, E.; Spinella, S.; Troina, A., Hybrid calculus of wrapped compartments, (Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’10). Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’10), EPTCS, Vol. 40 (2010)), 102-120</td> </tr><tr> <td>[12]</td> <td class="space">Coppo, M.; Damiani, F.; Drocco, M.; Grassi, E.; Guether, M.; Troina, A., Modelling ammonium transporters in arbuscular mycorrhiza symbiosis, Transactions on Computational Systems Biology, XIII, 85-109 (2011)</td> </tr><tr> <td>[13]</td> <td class="space">N. Oury, G. Plotkin, Multi-level modelling via stochastic multi-level multiset rewriting, draft submitted to Mathematical Structures in Computer Science (2011).; N. Oury, G. Plotkin, Multi-level modelling via stochastic multi-level multiset rewriting, draft submitted to Mathematical Structures in Computer Science (2011). · <a href="/1318.92015" class="nowrap">Zbl 1318.92015</a></td> </tr><tr> <td>[14]</td> <td class="space">Rosenfeld, N.; Young, J. W.; Alon, U.; Swain, P. S.; Elowitz, M. B., Gene regulation at the single-cell level, Science, 307, 5717, 1962-1965 (2007)</td> </tr><tr> <td>[15]</td> <td class="space">Wong, P.; Gladney, S.; Keasling, J. D., Mathematical model of the lac operon: Inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose, Biotechnology Progress, 13, 132-143 (1997)</td> </tr><tr> <td>[16]</td> <td class="space">Wilkinson, D., Stochastic Modelling for Systems Biology (2006), Chapman & Hall/CRC · <a href="/1099.92004" class="nowrap">Zbl 1099.92004</a></td> </tr><tr> <td>[17]</td> <td class="space">Aman, B.; Dezani-Ciancaglini, M.; Troina, A., Type disciplines for analysing biologically relevant properties, (Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’08). Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’08), ENTCS, Vol. 227 (2009), Elsevier), 97-111 · <a href="/1348.92066" class="nowrap">Zbl 1348.92066</a></td> </tr><tr> <td>[18]</td> <td class="space">Dezani-Ciancaglini, M.; Giannini, P.; Troina, A., A type system for required/excluded elements in $\text{CLS} $, (Developments in Computational Models (DCM’09). Developments in Computational Models (DCM’09), EPTCS, Vol. 9 (2009)), 38-48 · <a href="/1456.68041" class="nowrap">Zbl 1456.68041</a></td> </tr><tr> <td>[19]</td> <td class="space">Bioglio, L., Enumerated type semantics for the calculus of looping sequences, RAIRO—Theoretical Informatics and Applications, 45, 35-58 (2011) · <a href="/1214.92028" class="nowrap">Zbl 1214.92028</a></td> </tr><tr> <td>[20]</td> <td class="space">Matsuno, H.; Doi, A.; Nagasaki, M.; Miyano, S., Hybrid Petri net representation of gene regulatory networks, (Pacific Symposium on Biocomputing (PSB’00) (2000), World Scientific Press), 341-352</td> </tr><tr> <td>[21]</td> <td class="space">Alur, R.; Belta, C.; Kumar, V.; Mintz, M., Hybrid modeling and simulation of biomolecular networks, (Hybrid Systems: Computation and Control. Hybrid Systems: Computation and Control, LNCS, Vol. 2034 (2001), Springer), 19-32 · <a href="/0993.92010" class="nowrap">Zbl 0993.92010</a></td> </tr><tr> <td>[22]</td> <td class="space">Curti, M.; Degano, P.; Priami, C.; Baldari, C. T., Modelling biochemical pathways through enhanced $\pi $-calculus, Theoretical Computer Science, 325, 1, 111-140 (2004) · <a href="/1071.68074" class="nowrap">Zbl 1071.68074</a></td> </tr><tr> <td>[23]</td> <td class="space">Regev, A.; Silverman, W.; Shapiro, E. Y., Representation and simulation of biochemical processes using the pi-calculus process algebra, (Pacific Symposium on Biocomputing (PCB’01), Vol. 6 (2001), World Scientific Press), 459-470</td> </tr><tr> <td>[24]</td> <td class="space">Cardelli, L., Brane calculi. Interactions of biological membranes, (Computational Methods in Systems Biology (CMSB’04). Computational Methods in Systems Biology (CMSB’04), LNCS, Vol. 3082 (2005), Springer), 257-280 · <a href="/1088.68657" class="nowrap">Zbl 1088.68657</a></td> </tr><tr> <td>[25]</td> <td class="space">Chabrier-Rivier, N.; Chiaverini, M.; Danos, V.; Fages, F.; Schachter, V., Modeling and querying biomolecular interaction networks, Theoretical Computer Science, 325, 25-44 (2004) · <a href="/1071.68098" class="nowrap">Zbl 1071.68098</a></td> </tr><tr> <td>[26]</td> <td class="space">Danos, V.; Laneve, C., Formal molecular biology, Theoretical Computer Science, 325, 69-110 (2004) · <a href="/1071.68041" class="nowrap">Zbl 1071.68041</a></td> </tr><tr> <td>[27]</td> <td class="space">Priami, C.; Quaglia, P., Beta binders for biological interactions, (Computational Methods in Systems Biology (CMSB’04). Computational Methods in Systems Biology (CMSB’04), LNCS, Vol. 3082 (2005)), 20-33 · <a href="/1088.68646" class="nowrap">Zbl 1088.68646</a></td> </tr><tr> <td>[28]</td> <td class="space">Regev, A.; Panina, E. M.; Silverman, W.; Cardelli, L.; Shapiro, E., BioAmbients: An abstraction for biological compartments, Theoretical Computer Science, 325, 141-167 (2004) · <a href="/1069.68569" class="nowrap">Zbl 1069.68569</a></td> </tr><tr> <td>[29]</td> <td class="space">Păun, G., Membrane Computing. An Introduction (2002), Springer · <a href="/1034.68037" class="nowrap">Zbl 1034.68037</a></td> </tr><tr> <td>[30]</td> <td class="space">Besozzi, D.; Ciobanu, G., A P system description of the sodium-potassium pump, (Workshop on Membrane Computing (WMC’04). Workshop on Membrane Computing (WMC’04), LNCS, Vol. 3365 (2005), Springer), 210-223 · <a href="/1117.92304" class="nowrap">Zbl 1117.92304</a></td> </tr><tr> <td>[31]</td> <td class="space">Pescini, D.; Besozzi, D.; Mauri, G.; Zandron, C., Dynamical probabilistic P systems, International Journal of Foundations of Computer Science, 17, 1, 183-204 (2006) · <a href="/1088.68062" class="nowrap">Zbl 1088.68062</a></td> </tr><tr> <td>[32]</td> <td class="space">Barbuti, R.; Maggiolo-schettini, A.; Milazzo, P., Extending the calculus of looping sequences to model protein interaction at the domain level, (International Symposium on Bioinformatics Research and Applications (ISBRA’07). International Symposium on Bioinformatics Research and Applications (ISBRA’07), LNBI, Vol. 4463 (2006), Springer), 638-649</td> </tr><tr> <td>[33]</td> <td class="space">Priami, C.; Regev, A.; Silverman, W.; Shapiro, E., Application of stochastic name-passing calculus to representation and simulation of molecular processes, Infomation Processing Letters, 80, 1, 25-31 (2001) · <a href="/0997.92018" class="nowrap">Zbl 0997.92018</a></td> </tr><tr> <td>[34]</td> <td class="space">Hillston, J., A Compositional Approach to Performance Modelling (1996), Cambridge University Press</td> </tr><tr> <td>[35]</td> <td class="space">Bortolussi, L.; Vigliotti, M., CoBiC: Context-dependent BioAmbient calculus, (Quantitative Aspects of Programming Languages (QAPL’09). Quantitative Aspects of Programming Languages (QAPL’09), ENTCS, Vol. 253 (2009), Elsevier), 187-201</td> </tr><tr> <td>[36]</td> <td class="space">T.C. Damgaard, J. Krivine, A generic language for biological systems based on bigraphs, Tech. rep., IT University Technical Report Series, TR-2008-115 (2008).; T.C. Damgaard, J. Krivine, A generic language for biological systems based on bigraphs, Tech. rep., IT University Technical Report Series, TR-2008-115 (2008).</td> </tr><tr> <td>[37]</td> <td class="space">Bacci, G.; Grohmann, D.; Miculan, M., A framework for protein and membrane interactions, (Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’09). Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’09), EPTCS, Vol. 11 (2009)), 3-18</td> </tr><tr> <td>[38]</td> <td class="space">Michel, O.; Spicher, A.; Giavitto, J., Rule-based programming for integrative biological modelling—application to the modelling of the lambda phage genetic switch, Natural Computing, 8, 865-889 (2009) · <a href="/1185.68208" class="nowrap">Zbl 1185.68208</a></td> </tr><tr> <td>[39]</td> <td class="space">Barbuti, R.; Dezani-Ciancaglini, M.; Maggiolo-Schettini, A.; Milazzo, P.; Troina, A., A formalism for the description of protein interaction, Fundamenta Informaticae, 103, 1-29 (2010) · <a href="/1214.68183" class="nowrap">Zbl 1214.68183</a></td> </tr><tr> <td>[40]</td> <td class="space">Fages, F.; Soliman, S., Abstract interpretation and types for systems biology, Theoretical Computer Science, 403, 1, 52-70 (2008) · <a href="/1155.68049" class="nowrap">Zbl 1155.68049</a></td> </tr><tr> <td>[41]</td> <td class="space">Biocham. Available at http://contraintes.inria.fr/BIOCHAM/; Biocham. Available at http://contraintes.inria.fr/BIOCHAM/</td> </tr><tr> <td>[42]</td> <td class="space">Capecchi, S.; Troina, A., Types for BioAmbients, (From Biology To Concurrency and Back. From Biology To Concurrency and Back, EPTCS, Vol. 19 (2010)), 103-115</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 1284.68317 - zbMATH Open