CINXE.COM
Document Zbl 1373.81131 - zbMATH Open
<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 1373.81131 - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/?q=in%3A367538+sw%3AGAP"> <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="in:367538 sw:GAP" 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/abubakar.mustapha-y" title="Author Profile">Abubakar, Mustapha Y.</a>; <a href="/authors/jung.low-tang" title="Author Profile">Jung, Low Tang</a>; <a href="/authors/zakaria.nordin" title="Author Profile">Zakaria, Nordin</a>; <a href="/authors/younes.ahmed" title="Author Profile">Younes, Ahmed</a>; <a href="/authors/abdel-aty.abdel-haleem" title="Author Profile">Abdel-Aty, Abdel-Haleem</a></div> <h2 class="title"> <strong>Reversible circuit synthesis by genetic programming using dynamic gate libraries.</strong> <i>(English)</i> <a class="label nowrap" href="/1373.81131">Zbl 1373.81131</a> </h2> <div class="source"> <a href="/serials/3019" title="Journal Profile">Quantum Inf. Process.</a> <a href="/?q=in%3A367538" title="Articles in this Issue">16, No. 6, Paper No. 160, 24 p. (2017)</a>. </div> <div class="abstract">Summary: We have defined a new method for automatic construction of reversible logic circuits by using the genetic programming approach. The choice of the gate library is 100% dynamic. The algorithm is capable of accepting all possible combinations of the following gate types: NOT TOFFOLI, NOT PERES, NOT CNOT TOFFOLI, NOT CNOT SWAP FREDKIN, NOT CNOT TOFFOLI SWAP FREDKIN, NOT CNOT PERES, NOT CNOT SWAP FREDKIN PERES, NOT CNOT TOFFOLI PERES and NOT CNOT TOFFOLI SWAP FREDKIN PERES. Our method produced near optimum circuits in some cases when a particular subset of gate types was used in the library. Meanwhile, in some cases, optimal circuits were produced due to the heuristic nature of the algorithm. We compared the outcomes of our method with several existing synthesis methods, and it was shown that our algorithm performed relatively well compared to the previous synthesis methods in terms of the output efficiency of the algorithm and execution time as well.</div> <div class="clear"></div> <br> <div class="citations"><div class="clear"><a href="/?q=rf%3A6804271">Cited in <strong>8</strong> Documents</a></div></div> <div class="classification"> <h3>MSC:</h3> <table><tr> <td> <a class="mono" href="/classification/?q=cc%3A81P68" title="MSC2020">81P68</a> </td> <td class="space"> Quantum computation </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A68Q12" title="MSC2020">68Q12</a> </td> <td class="space"> Quantum algorithms and complexity in the theory of computing </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A94C05" title="MSC2020">94C05</a> </td> <td class="space"> Analytic circuit theory </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Agate+library">gate library</a>; <a href="/?q=ut%3Aquantum+circuit">quantum circuit</a>; <a href="/?q=ut%3Aoptimization">optimization</a></div> <div class="software"> <h3>Software:</h3><a href="/software/320">GAP</a>; <a href="/software/29478">QGAME</a></div> <!-- Modal used to show zbmath metadata in different output formats--> <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;"> <!-- alert for connection errors etc --> </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"> <!-- Button trigger metadata modal --> <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1373.81131" data-ciurl="/ci/06804271" data-biburl="/bibtex/06804271.bib" data-amsurl="/amsrefs/06804271.bib" data-xmlurl="/xml/06804271.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06804271.pdf" title="Zbl 1373.81131 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1007/s11128-017-1609-8" aria-label="DOI for “Reversible circuit synthesis by genetic programming using dynamic gate libraries”" title="10.1007/s11128-017-1609-8">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">Maslov, D., Dueck, G.W., Miller, D.M.: Fredkin-Toffoli templates for reversible logic synthesis. In: Proceedings of the 2003 IEEE-ACM International Conference on Computer-Aided Design, Ser. ICCAD ’03, p. 256. IEEE Computer Society, Washington (2003). doi:10.1109/ICCAD.2003.73</td> </tr><tr> <td>[2]</td> <td class="space">Shende, V.V., Prasad, A.K., Markov, I.L., Hayes, J.P.: Reversible logic circuit synthesis. In: Proceedings of the 2002 IEEE/ACM International Conference on Computer-Aided Design, Ser. ICCAD ’02, pp. 353-360. ACM, New York (2002). doi:10.1145/774572.774625</td> </tr><tr> <td>[3]</td> <td class="space">Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52(5), 3457 (1995) · <a href="https://doi.org/10.1103/PhysRevA.52.3457" class="nowrap">doi:10.1103/PhysRevA.52.3457</a></td> </tr><tr> <td>[4]</td> <td class="space">De Vos, A., Van Rentergem, Y., De Keyser, K.: The decomposition of an arbitrary reversible logic circuit. J. Phys. A Math. Gen. 39(18), 5015 (2006) · <a href="/1090.94030" class="nowrap">Zbl 1090.94030</a> · <a href="https://doi.org/10.1088/0305-4470/39/18/017" class="nowrap">doi:10.1088/0305-4470/39/18/017</a></td> </tr><tr> <td>[5]</td> <td class="space">De Vos, A., Desoete, B., Adamski, A., Pietrzak, P., Sibinski, M., Widerski, T.: Design of reversible logic circuits by means of control gates. In: Integrated Circuit Design, pp. 255-264. Springer, Berlin (2000)</td> </tr><tr> <td>[6]</td> <td class="space">Fredkin, E., Toffoli, T.: Conservative Logic. Springer, Berlin (2002) · <a href="/0496.94015" class="nowrap">Zbl 0496.94015</a> · <a href="https://doi.org/10.1007/978-1-4471-0129-1_3" class="nowrap">doi:10.1007/978-1-4471-0129-1_3</a></td> </tr><tr> <td>[7]</td> <td class="space">Donald, J., Jha, N.K.: Reversible logic synthesis with Fredkin and Peres gates. ACM J. Emerg. Technol. Comput. Syst. (JETC) 4(1), 2 (2008)</td> </tr><tr> <td>[8]</td> <td class="space">Fazel, K., Thornton, M., Rice, J.: ESOP-based Toffoli gate cascade generation. In: IEEE Pacific Conference on Communications, Computers and Signal Processing, pp. 206-209. Citeseer (2007)</td> </tr><tr> <td>[9]</td> <td class="space">Grobe, D., Chen, X., Dueck, G.W., Drechsler, R.: Exact SAT-based Toffoli network synthesis. In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI, pp. 96-101. ACM (2007)</td> </tr><tr> <td>[10]</td> <td class="space">Kerntopf, P.: A new heuristic algorithm for reversible logic synthesis. In: Proceedings of the 41st Annual Design Automation Conference, pp. 834-837. ACM (2004)</td> </tr><tr> <td>[11]</td> <td class="space">Lukac, M., Pivtoraiko, M., Mishchenko, A., Perkowski, M.: Automated synthesis of generalized reversible cascades using genetic algorithms. In: Proceedings of the 5th International Workshop on Boolean Problems, 2002. Citeseer (2002)</td> </tr><tr> <td>[12]</td> <td class="space">Markov, K.N.P.I.L., Hayes, J.P.: Optimal synthesis of linear reversible circuits. Quantum Inf. Comput. 8(3 and 4), 0282-0294 (2008) · <a href="/1152.81794" class="nowrap">Zbl 1152.81794</a></td> </tr><tr> <td>[13]</td> <td class="space">Miller, D.M., Maslov, D., Dueck, G.W.: A transformation based algorithm for reversible logic synthesis. In: Proceedings of the 40th Annual Design Automation Conference, pp. 318-323. ACM (2003)</td> </tr><tr> <td>[14]</td> <td class="space">Rubinstein, B.I.: Evolving quantum circuits using genetic programming. In: Evolutionary Computation. Proceedings of the 2001 Congress on, vol. 1, pp. 144-151. IEEE (2001)</td> </tr><tr> <td>[15]</td> <td class="space">Saeedi, M., Zamani, M.S., Sedighi, M., Sasanian, Z.: Reversible circuit synthesis using a cycle-based approach. ACM J. Emerg. Technol. Comput. Syst. (JETC) 6(4), 13 (2010)</td> </tr><tr> <td>[16]</td> <td class="space">Toffoli, T.: Reversible Computing. Springer, Berlin (1980) · <a href="/0443.68038" class="nowrap">Zbl 0443.68038</a> · <a href="https://doi.org/10.1007/3-540-10003-2_104" class="nowrap">doi:10.1007/3-540-10003-2_104</a></td> </tr><tr> <td>[17]</td> <td class="space">R. Wille and R. Drechsler, BDD-based synthesis of reversible logic for large functions. In: Proceedings of the 46th Annual Design Automation Conference, pp. 270-275. ACM (2009) · <a href="/1267.81108" class="nowrap">Zbl 1267.81108</a></td> </tr><tr> <td>[18]</td> <td class="space">Zakablukov, D.V.: Fast synthesis of invertible circuits based on permutation group theory. Prikl. Diskretn. Mat. 2, 101-109 (2014) · <a href="/1504.94249" class="nowrap">Zbl 1504.94249</a></td> </tr><tr> <td>[19]</td> <td class="space">Maslov, D., Dueck, G.W., Miller, D.M., Negrevergne, C.: Quantum circuit simplification and level compaction. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 27(3), 436-444 (2008) · <a href="https://doi.org/10.1109/TCAD.2007.911334" class="nowrap">doi:10.1109/TCAD.2007.911334</a></td> </tr><tr> <td>[20]</td> <td class="space">Saeedi, M., Markov, I.L.: Synthesis and optimization of reversible circuits: a survey. ACM Comput. Surv. (CSUR) 45(2), 21 (2013) · <a href="/1293.94141" class="nowrap">Zbl 1293.94141</a> · <a href="https://doi.org/10.1145/2431211.2431220" class="nowrap">doi:10.1145/2431211.2431220</a></td> </tr><tr> <td>[21]</td> <td class="space">Saeedi, M., Sedighi, M., Zamani, M.S.: A library-based synthesis methodology for reversible logic. Microelectron. J. 41(4), 185-194 (2010) · <a href="https://doi.org/10.1016/j.mejo.2010.02.002" class="nowrap">doi:10.1016/j.mejo.2010.02.002</a></td> </tr><tr> <td>[22]</td> <td class="space">Mamun, M., Al, S., Menville, D.: Quantum Cost Optimization for Reversible Sequential Circuit, arXiv preprint arXiv:1407.7098 (2014)</td> </tr><tr> <td>[23]</td> <td class="space">Szyprowski, M., Kerntopf, P.: Reducing Quantum Cost in Reversible Toffoli Circuits. arXiv preprint arXiv:1105.5831 (2011) · <a href="/1451.81155" class="nowrap">Zbl 1451.81155</a></td> </tr><tr> <td>[24]</td> <td class="space">Younes, A.: Reducing quantum cost of reversible circuits for homogeneous boolean functions. J. Circuits Syst. Comput. 19(07), 1423-1434 (2010) · <a href="https://doi.org/10.1142/S0218126610006736" class="nowrap">doi:10.1142/S0218126610006736</a></td> </tr><tr> <td>[25]</td> <td class="space">Mukhanov, O., et al.: Energy-effecient single UX quantum technology. IEEE Trans. Appl. Supercond. 21(3), 760-769 (2011) · <a href="https://doi.org/10.1109/TASC.2010.2096792" class="nowrap">doi:10.1109/TASC.2010.2096792</a></td> </tr><tr> <td>[26]</td> <td class="space">Ye, Y., Roy, K.: Energy recovery circuits using reversible and partially reversible logic. IEEE Trans. Circuits Syst. I Fundam. Theory Appl. 43(9), 769-778 (1996) · <a href="https://doi.org/10.1109/81.536746" class="nowrap">doi:10.1109/81.536746</a></td> </tr><tr> <td>[27]</td> <td class="space">Athas, W.C., Svensson, L.: Reversible logic issues in adiabatic CMOS. In: Physics and Computation. PhysComp’94, Proceedings, Workshop on, pp. 111-118. IEEE (1994)</td> </tr><tr> <td>[28]</td> <td class="space">Nielsen, M.A., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, UK (2000) · <a href="/1049.81015" class="nowrap">Zbl 1049.81015</a></td> </tr><tr> <td>[29]</td> <td class="space">Bahauddin, S.M., Irfan, A.A.M.: Permutation algebra for constructing reversible circuits. J. Quantum Inf. Sci. 2(03), 61 (2012) · <a href="https://doi.org/10.4236/jqis.2012.23011" class="nowrap">doi:10.4236/jqis.2012.23011</a></td> </tr><tr> <td>[30]</td> <td class="space">Younes, A.: Tight bounds on the synthesis of 3-bit reversible circuits: Nr library. J. Circuits Syst. Comput. 23(03), 1450040 (2014) · <a href="https://doi.org/10.1142/S0218126614500406" class="nowrap">doi:10.1142/S0218126614500406</a></td> </tr><tr> <td>[31]</td> <td class="space">Zakablukov, D.: Application of Permutation group Theory in Reversible Logic Synthesis, arXiv preprint arXiv:1507.04309 (2015) · <a href="/1480.94059" class="nowrap">Zbl 1480.94059</a></td> </tr><tr> <td>[32]</td> <td class="space">Younes, A.: On the universality of n-bit reversible gate libraries. Appl. Math. Inf. Sci 9(5), 2579-2588 (2015)</td> </tr><tr> <td>[33]</td> <td class="space">Zakablukov, D.: On Asymptotic Gate Complexity and Depth of Reversible Circuits Without Additional Memory, arXiv preprint arXiv:1504.06876 (2015) · <a href="/1391.94921" class="nowrap">Zbl 1391.94921</a></td> </tr><tr> <td>[34]</td> <td class="space">Arabzadeh, M., Zamani, M.S., Sedighi, M., Saeedi, M.: Depth-optimized reversible circuit synthesis. Quantum Inf. Process. 12(4), 1677-1699 (2013) · <a href="/1267.81108" class="nowrap">Zbl 1267.81108</a> · <a href="https://doi.org/10.1007/s11128-012-0482-8" class="nowrap">doi:10.1007/s11128-012-0482-8</a></td> </tr><tr> <td>[35]</td> <td class="space">Rayner, M., Newman, D.J.: On the symmetry of logic. J. Phys. A Math. Gen. 28(19), 5623 (1995) · <a href="/0866.94032" class="nowrap">Zbl 0866.94032</a> · <a href="https://doi.org/10.1088/0305-4470/28/19/016" class="nowrap">doi:10.1088/0305-4470/28/19/016</a></td> </tr><tr> <td>[36]</td> <td class="space">Storme, L., De Vos, A., Jacobs, G.: Group theoretical aspects of reversible logic gates. J. Univ. Comput. Sci. 5(5), 307-321 (1999) · <a href="/0961.68008" class="nowrap">Zbl 0961.68008</a></td> </tr><tr> <td>[37]</td> <td class="space">De Vos, A.: Reversible computing. Prog. Quantum Electron. 23(1), 1-49 (1999) · <a href="https://doi.org/10.1016/S0079-6727(99)00002-6" class="nowrap">doi:10.1016/S0079-6727(99)00002-6</a></td> </tr><tr> <td>[38]</td> <td class="space">Al-Rabadi, A.N.: Reversible Logic Synthesis: From Fundamentals to Quantum Computing. Springer, Berlin (2012) · <a href="/1140.94022" class="nowrap">Zbl 1140.94022</a></td> </tr><tr> <td>[39]</td> <td class="space">Perkowski, M., Al-Rabadi, A., Kerntopf, P., Buller, A., Chrzanowska-Jeske, M., Mishchenko, A., Azad Khan, M., Coppola, A., Yanushkevich, S., Shmerko, V., Jozwiak. L.: A general decomposition for reversible logic. In: Proceedings of RM, pp. 119-138 (2001)</td> </tr><tr> <td>[40]</td> <td class="space">Maslov, D., Dueck, G.W., Miller, D.M.: Synthesis of Fredkin-Toffoli reversible networks. IEEE Trans. Very Large Scale Integr. (VLSI) Syst. 13(6), 765-769 (2005) · <a href="https://doi.org/10.1109/TVLSI.2005.844284" class="nowrap">doi:10.1109/TVLSI.2005.844284</a></td> </tr><tr> <td>[41]</td> <td class="space">Gupta, P., Agrawal, A., Jha, N.K.: An algorithm for synthesis of reversible logic circuits. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25(11), 2317-2330 (2006) · <a href="https://doi.org/10.1109/TCAD.2006.871622" class="nowrap">doi:10.1109/TCAD.2006.871622</a></td> </tr><tr> <td>[42]</td> <td class="space">Maslov, D., Dueck, G.W., Miller, D.M.: Techniques for the synthesis of reversible toffoli networks. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 12(4), 42 (2007) · <a href="https://doi.org/10.1145/1278349.1278355" class="nowrap">doi:10.1145/1278349.1278355</a></td> </tr><tr> <td>[43]</td> <td class="space">Wille, R., Le, H.M., Dueck, G.W., Grobe, D.: Quantied synthesis of reversible logic. In: Design, Automation and Test in Europe. DATE’08, pp. 1015-1020. IEEE (2008)</td> </tr><tr> <td>[44]</td> <td class="space">Yang, G., Song, X., Hung, W.N., Perkowski, M.A.: Fast synthesis of exact minimal reversible circuits using group theory. In: Proceedings of the 2005 Asia and South Pacific Design Automation Conference, pp. 1002-1005. ACM (2005)</td> </tr><tr> <td>[45]</td> <td class="space">Shende, V.V., Prasad, A.K., Markov, I.L., Hayes, J.P.: Synthesis of reversible logic circuits. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 22(6), 710-722 (2003) · <a href="https://doi.org/10.1109/TCAD.2003.811448" class="nowrap">doi:10.1109/TCAD.2003.811448</a></td> </tr><tr> <td>[46]</td> <td class="space">Nagamani, A., Ashwin, S., Abhishek, B., Agrawal, V.: An exact approach for complete test set generation of Toffoli-Fredkin-Peres based reversible circuits. J. Electron. Test. 32(2), 175-196 (2016)</td> </tr><tr> <td>[47]</td> <td class="space">Maslov, D., Young, C., Miller, D.M., Dueck, G.W.: Quantum circuit simplification using templates. In: Design, Automation and Test in Europe. Proceedings, pp. 1208-1213. IEEE (2005)</td> </tr><tr> <td>[48]</td> <td class="space">Lukac, M., Perkowski, M.: Evolving quantum circuits using genetic algorithm. In: Evolvable Hardware. Proceedings. NASA/DoD Conference on, pp. 177-185. IEEE (2002)</td> </tr><tr> <td>[49]</td> <td class="space">Ruican, C., Udrescu, M., Prodan, L., Vladutiu, M.: Genetic algorithm based quantum circuit synthesis with adaptive parameters control. In: Evolutionary Computation. CEC’09. IEEE Congress on, pp. 896-903. IEEE (2009)</td> </tr><tr> <td>[50]</td> <td class="space">Bautu, A., Bautu, E.: Quantum circuit design by means of genetic programming. Roman. Phys. 52(5-7), 697-704 (2007) · <a href="/1224.93002" class="nowrap">Zbl 1224.93002</a></td> </tr><tr> <td>[51]</td> <td class="space">Vatan, F., Williams, C.: Optimal quantum circuits for general two-qubit gates. Phys. Rev. A 69(3), 032315 (2004) · <a href="https://doi.org/10.1103/PhysRevA.69.032315" class="nowrap">doi:10.1103/PhysRevA.69.032315</a></td> </tr><tr> <td>[52]</td> <td class="space">Williams, C.P., Gray, A.G.: Automated Design of Quantum Circuits. Springer, Berlin (1999) · <a href="/0945.68061" class="nowrap">Zbl 0945.68061</a> · <a href="https://doi.org/10.1007/3-540-49208-9_8" class="nowrap">doi:10.1007/3-540-49208-9_8</a></td> </tr><tr> <td>[53]</td> <td class="space">Yabuki, T., Iba, H.: Genetic algorithms for quantum circuit design-evolving a simpler teleportation circuit. In: Late Breaking Papers at the 2000 Genetic and Evolutionary Computation Conference. Citeseer, pp. 421-425 (2000)</td> </tr><tr> <td>[54]</td> <td class="space">Spector, L.: Automatic Quantum Computer Programming: A Genetic Programming approach, vol. 7. Springer, Berlin (2006) · <a href="/1131.68461" class="nowrap">Zbl 1131.68461</a></td> </tr><tr> <td>[55]</td> <td class="space">Kameyama, M., Lukac, M., Perkowski, M.: Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space Using Heuristics, arXiv preprint arXiv:1107.3383 (2011)</td> </tr><tr> <td>[56]</td> <td class="space">GAP, Groups, Algorithms, and Programming, Version 4.8.3, http://www.gap-system.org. Accessed 04 Aug 2016 (2016)</td> </tr><tr> <td>[57]</td> <td class="space">Prasad, A.K., Shende, V.V., Markov, I.L., Hayes, J.P., Patel, K.N.: Data structures and algorithms for simplifying reversible circuits. ACM J. Emerg. Technol. Comput. Syst. (JETC) 2(4), 277-293 (2006) · <a href="https://doi.org/10.1145/1216396.1216399" class="nowrap">doi:10.1145/1216396.1216399</a></td> </tr><tr> <td>[58]</td> <td class="space">Hung, W.N., Song, X., Yang, G., Yang, J., Perkowski, M.: Optimal synthesis of multiple output boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25(9), 1652-1663 (2006) · <a href="https://doi.org/10.1109/TCAD.2005.858352" class="nowrap">doi:10.1109/TCAD.2005.858352</a></td> </tr><tr> <td>[59]</td> <td class="space">Maslov, D., Miller, D.M.: Comparison of the cost metrics through investigation of the relation between optimal NCV and optimal nct three-qubit reversible circuits. Comput. Digit. Tech. IET 1(2), 98-104 (2007) · <a href="https://doi.org/10.1049/iet-cdt:20060070" class="nowrap">doi:10.1049/iet-cdt:20060070</a></td> </tr><tr> <td>[60]</td> <td class="space">Wille, R., Saeedi, M., Drechsler, R.: Synthesis of Reversible Functions Beyond Gate Count and Quantum Cost. arXiv preprint arXiv:1004.4609 (2010)</td> </tr><tr> <td>[61]</td> <td class="space">Arabzadeh, M., Saeedi, M., Zamani, M.S.: Rule-based optimization of reversible circuits. In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference, pp. 849-854. IEEE Press (2010)</td> </tr><tr> <td>[62]</td> <td class="space">Hirata, Y., Nakanishi, M., Yamashita, S., Nakashima, Y.: An efficient conversion of quantum circuits to a linear nearest neighbor architecture. Quantum Inf. Comput. 11(1), 142-166 (2011) · <a href="/1237.81050" class="nowrap">Zbl 1237.81050</a></td> </tr><tr> <td>[63]</td> <td class="space">Maslov, D., Saeedi, M.: Reversible circuit optimization via leaving the boolean domain. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 30(6), 806-816 (2011) · <a href="https://doi.org/10.1109/TCAD.2011.2105555" class="nowrap">doi:10.1109/TCAD.2011.2105555</a></td> </tr><tr> <td>[64]</td> <td class="space">Z. Sasanian, R. Wille, and D.M. Miller, Realizing reversible circuits using a new class of quantum gates, In: Proceedings of the 49th Annual Design Automation Conference, pp. 36-41. ACM (2012) · <a href="/1237.81050" class="nowrap">Zbl 1237.81050</a></td> </tr><tr> <td>[65]</td> <td class="space">Golubitsky, O., Maslov, D.: A study of optimal 4-bit reversible toffoli circuits and their synthesis. IEEE Trans. Comput. 61(9), 1341-1353 (2012) · <a href="/1365.94657" class="nowrap">Zbl 1365.94657</a> · <a href="https://doi.org/10.1109/TC.2011.144" class="nowrap">doi:10.1109/TC.2011.144</a></td> </tr><tr> <td>[66]</td> <td class="space">Amy, M., Maslov, D., Mosca, M., Roetteler, M.: A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 32(6), 818-830 (2013) · <a href="https://doi.org/10.1109/TCAD.2013.2244643" class="nowrap">doi:10.1109/TCAD.2013.2244643</a></td> </tr><tr> <td>[67]</td> <td class="space">Amy, M., Maslov, D., Mosca, M.: Polynomial-time t-depth optimization of Clifford circuits via matroid partitioning. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 33(10), 1476-1489 (2014) · <a href="https://doi.org/10.1109/TCAD.2014.2341953" class="nowrap">doi:10.1109/TCAD.2014.2341953</a></td> </tr><tr> <td>[68]</td> <td class="space">Sasamal, T.N., Singh, A.K., Mohan, A.: Reversible logic circuit synthesis and optimization using adaptive genetic algorithm. Proc. Comput. Sci. 70, 407-413 (2015) · <a href="https://doi.org/10.1016/j.procs.2015.10.054" class="nowrap">doi:10.1016/j.procs.2015.10.054</a></td> </tr><tr> <td>[69]</td> <td class="space">Hawash, M.M.: Methods for efficient synthesis of large reversible binary and ternary quantum circuits and applications of linear nearest neighbor model. Ph.D. dissertation, Portland State University (2013)</td> </tr><tr> <td>[70]</td> <td class="space">Maslov, D.: Reversible Logic Synthesis Benchmarks Page. Retrieved 28 Feb 2016, from http://webhome.cs.uvic.ca/dmaslov/ (2016)</td> </tr><tr> <td>[71]</td> <td class="space">Dmitri, M.: Reversible Logic Synthesis Benchmarks Page, http://webhome.cs.uvic.ca/dmaslov/. Accessed 18 Aug 2016 (2016)</td> </tr><tr> <td>[72]</td> <td class="space">Saeedi, M., Zamani, M.S., Sedighi, M.: Moving forward: a non-search based synthesis method toward efficient cnot-based quantum circuit synthesis algorithms. In: Proceedings of the 2008 Asia and South Pacific Design Automation Conference, pp. 83-88. IEEE Computer Society Press (2008)</td> </tr><tr> <td>[73]</td> <td class="space">Li, M., Zheng, Y., Hsiao, M.S., Huang, C.: Reversible logic synthesis through ant colony optimization. In: 2010 Design, Automation and Test in Europe Conference and Exhibition (DATE 2010), pp. 307-310. IEEE (2010)</td> </tr><tr> <td>[74]</td> <td class="space">Wille, R., Grobe, D., Dueck, G.W., Drechsler, R.: Reversible logic synthesis with output permutation. In: 2009 22nd International Conference on VLSI Design, pp. 189-194. IEEE (2009)</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>