Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/HOL/Import/patches/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 16.11.2025 mit Größe 14 kB image not shown  

Impressum chapBib_mj.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/loops/doc/chapBib_mj.html


<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Loops) - References</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapBib"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chapB_mj.html">[Previous Chapter]</a>    <a href="chapInd_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chapBib.html">[MathJax off]</a></p>
<p><a id="X7A6F98FD85F02BFE" name="X7A6F98FD85F02BFE"></a></p>

<h3>References</h3>


<p><a id="biBAr" name="biBAr"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=0107674">Art59</a></span>]   <b class='BibAuthor'>Artzy, R.</b>,
 <i class='BibTitle'>On automorphic-inverse properties in loops</i>,
 <span class='BibJournal'>Proc. Amer. Math. Soc.</span>,
 <em class='BibVolume'>10</em>
 (<span class='BibYear'>1959</span>),
 <span class='BibPages'>588–591</span>.
</p>


<p><a id="biBArtic" name="biBArtic"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Art15</span>]   <b class='BibAuthor'>Artic, K.</b>,
 <i class='BibTitle'>On conjugacy closed loops and conjugacy closed loop folders</i>,
 <span class='BibType'>Ph.D. thesis</span>,
 <span class='BibSchool'>RWTH Aachen University</span>
 (<span class='BibYear'>2015</span>).
</p>


<p><a id="biBBrPa" name="biBBrPa"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=0076779">BP56</a></span>]   <b class='BibAuthor'>Bruck, R. H. and Paige, L. J.</b>,
 <i class='BibTitle'>Loops whose inner mappings are automorphisms</i>,
 <span class='BibJournal'>Ann. of Math. (2)</span>,
 <em class='BibVolume'>63</em>
 (<span class='BibYear'>1956</span>),
 <span class='BibPages'>308–323</span>.
</p>


<p><a id="biBBr" name="biBBr"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=0093552">Bru58</a></span>]   <b class='BibAuthor'>Bruck, R. H.</b>,
 <i class='BibTitle'>A survey of binary systems</i>,
 <span class='BibPublisher'>Springer Verlag</span>,
 <span class='BibSeries'>Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge,
              Heft 20. Reihe: Gruppentheorie</span>,
 <span class='BibAddress'>Berlin</span>
 (<span class='BibYear'>1958</span>),
 <span class='BibPages'>viii+185 pages</span>.
</p>


<p><a id="biBCsDr" name="biBCsDr"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2153496">CD05</a></span>]   <b class='BibAuthor'>Csörgő, P. and Drápal, A.</b>,
 <i class='BibTitle'>Left conjugacy closed loops of nilpotency class two</i>,
 <span class='BibJournal'>Results Math.</span>,
 <em class='BibVolume'>47</em> (<span class='BibNumber'>3-4</span>)
 (<span class='BibYear'>2005</span>),
 <span class='BibPages'>242–265</span>.
</p>


<p><a id="biBCoRo" name="biBCoRo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1843379">CR99</a></span>]   <b class='BibAuthor'>Colbourn, C. J. and Rosa, A.</b>,
 <i class='BibTitle'>Triple systems</i>,
 <span class='BibPublisher'>The Clarendon Press Oxford University Press</span>,
 <span class='BibSeries'>Oxford Mathematical Monographs</span>,
 <span class='BibAddress'>New York</span>
 (<span class='BibYear'>1999</span>),
 <span class='BibPages'>xvi+560 pages</span>.
</p>


<p><a id="biBBaGrVo" name="biBBaGrVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2983192">DBGV12</a></span>]   <b class='BibAuthor'>De Barros, D. A. S., Grishkov, A. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1142/S0219498812501009"><i class='BibTitle'>Commutative automorphic loops of order \(p^3\)</i></a>,
 <span class='BibJournal'>J. Algebra Appl.</span>,
 <em class='BibVolume'>11</em> (<span class='BibNumber'>5</span>)
 (<span class='BibYear'>2012</span>),
 <span class='BibPages'>1250100, 15</span>.
</p>


<p><a id="biBDrapalCD" name="biBDrapalCD"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=MR2062876">Drá03</a></span>]   <b class='BibAuthor'>Drápal, A.</b>,
<a href=""><i class='BibTitle'>Cyclic and dihedral constructions of even order</i></a>,
 <span class='BibJournal'>Comment. Math. Univ. Carolin.</span>,
 <em class='BibVolume'>44</em> (<span class='BibNumber'>4</span>)
 (<span class='BibYear'>2003</span>),
 <span class='BibPages'>593–614</span>.
</p>


<p><a id="biBDrVo" name="biBDrVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2234814">DV06</a></span>]   <b class='BibAuthor'>Drápal, A. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1216/rmjm/1181069461"><i class='BibTitle'>Moufang loops that share associator and three quarters of
              their multiplication tables</i></a>,
 <span class='BibJournal'>Rocky Mountain J. Math.</span>,
 <em class='BibVolume'>36</em> (<span class='BibNumber'>2</span>)
 (<span class='BibYear'>2006</span>),
 <span class='BibPages'>425–455</span>.
</p>


<p><a id="biBDaVo" name="biBDaVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2556139">DV09</a></span>]   <b class='BibAuthor'>Daly, D. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1016/j.jalgebra.2009.03.042"><i class='BibTitle'>Enumeration of nilpotent loops via cohomology</i></a>,
 <span class='BibJournal'>J. Algebra</span>,
 <em class='BibVolume'>322</em> (<span class='BibNumber'>11</span>)
 (<span class='BibYear'>2009</span>),
 <span class='BibPages'>4080–4098</span>.
</p>


<p><a id="biBFe" name="biBFe"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=0262409">Fen69</a></span>]   <b class='BibAuthor'>Fenyves, F.</b>,
 <i class='BibTitle'>Extra loops. II. On loops with identities of
              Bol-Moufang type</i>,
 <span class='BibJournal'>Publ. Math. Debrecen</span>,
 <em class='BibVolume'>16</em>
 (<span class='BibYear'>1969</span>),
 <span class='BibPages'>187–192</span>.
</p>


<p><a id="biBGrKiNa" name="biBGrKiNa"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3223359">GKN14</a></span>]   <b class='BibAuthor'>Grishkov, A., Kinyon, M. and Nagy, G. P.</b>,
<a href="https://dx.doi.org/10.1090/S0002-9939-2014-12053-3"><i class='BibTitle'>Solvability of commutative automorphic loops</i></a>,
 <span class='BibJournal'>Proc. Amer. Math. Soc.</span>,
 <em class='BibVolume'>142</em> (<span class='BibNumber'>9</span>)
 (<span class='BibYear'>2014</span>),
 <span class='BibPages'>3029–3037</span>.
</p>


<p><a id="biBGo" name="biBGo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1689624">GMR99</a></span>]   <b class='BibAuthor'>Goodaire, E. G., May, S. and Raman, M.</b>,
 <i class='BibTitle'>The Moufang loops of order less than 64</i>,
 <span class='BibPublisher'>Nova Science Publishers Inc.</span>,
 <span class='BibAddress'>Commack, NY</span>
 (<span class='BibYear'>1999</span>),
 <span class='BibPages'>xviii+287 pages</span>.
</p>


<p><a id="biBGreer" name="biBGreer"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3196069">Gre14</a></span>]   <b class='BibAuthor'>Greer, M.</b>,
<a href="https://doi.org/10.1080/00927872.2013.791304"><i class='BibTitle'>A class of loops categorically isomorphic to Bruck loops of odd order</i></a>,
 <span class='BibJournal'>Comm. Algebra</span>,
 <em class='BibVolume'>42</em> (<span class='BibNumber'>8</span>)
 (<span class='BibYear'>2014</span>),
 <span class='BibPages'>3682-3697</span>.
</p>


<p><a id="biBJoKiNaVo" name="biBJoKiNaVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2831230">JKNV11</a></span>]   <b class='BibAuthor'>Johnson, K. W., Kinyon, M. K., Nagy, G. P. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1112/S1461157010000173"><i class='BibTitle'>Searching for small simple automorphic loops</i></a>,
 <span class='BibJournal'>LMS J. Comput. Math.</span>,
 <em class='BibVolume'>14</em>
 (<span class='BibYear'>2011</span>),
 <span class='BibPages'>200–213</span>.
</p>


<p><a id="biBJeKiVo" name="biBJeKiVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2859875">JKV12</a></span>]   <b class='BibAuthor'>Jedlička, P., Kinyon, M. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1016/j.jalgebra.2011.09.034"><i class='BibTitle'>Nilpotency in automorphic loops of prime power order</i></a>,
 <span class='BibJournal'>J. Algebra</span>,
 <em class='BibVolume'>350</em>
 (<span class='BibYear'>2012</span>),
 <span class='BibPages'>64–76</span>.
</p>


<p><a id="biBJaMa" name="biBJaMa"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1410617">JM96</a></span>]   <b class='BibAuthor'>Jacobson, M. T. and Matthews, P.</b>,
<a href="https://dx.doi.org/10.1002/(SICI)1520-6610(1996)4:6&lt;405::AID-JCD3>3.0.CO;2-J"><i class='BibTitle'>Generating uniformly distributed random Latin squares</i></a>,
 <span class='BibJournal'>J. Combin. Des.</span>,
 <em class='BibVolume'>4</em> (<span class='BibNumber'>6</span>)
 (<span class='BibYear'>1996</span>),
 <span class='BibPages'>405–437</span>.
</p>


<p><a id="biBKiKuPh" name="biBKiKuPh"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1866009">KKP02</a></span>]   <b class='BibAuthor'>Kinyon, M. K., Kunen, K. and Phillips, J. D.</b>,
<a href="https://dx.doi.org/10.1090/S0002-9939-01-06090-7"><i class='BibTitle'>Every diassociative \(A\)-loop is Moufang</i></a>,
 <span class='BibJournal'>Proc. Amer. Math. Soc.</span>,
 <em class='BibVolume'>130</em> (<span class='BibNumber'>3</span>)
 (<span class='BibYear'>2002</span>),
 <span class='BibPages'>619–624</span>.
</p>


<p><a id="biBKiKuPhVo" name="biBKiKuPhVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3551593">KKPV16</a></span>]   <b class='BibAuthor'>Kinyon, M. K., Kunen, K., Phillips, J. D. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1090/tran/6622"><i class='BibTitle'>The structure of automorphic loops</i></a>,
 <span class='BibJournal'>Trans. Amer. Math. Soc.</span>,
 <em class='BibVolume'>368</em> (<span class='BibNumber'>12</span>)
 (<span class='BibYear'>2016</span>),
 <span class='BibPages'>8901–8927</span>.
</p>


<p><a id="biBKiNaVo2015" name="biBKiNaVo2015"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>KNV15</span>]   <b class='BibAuthor'>Kinyon, M. K., Nagy, G. P. and Vojtěchovský, P.</b>,
 <i class='BibTitle'>Bol loops and Bruck loops of order \(pq\)</i>,
 <span class='BibJournal'></span>
 (<span class='BibYear'>2015</span>)<br />
(<span class='BibNote'>preprint</span>).
</p>


<p><a id="biBKun" name="biBKun"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1615991">Kun00</a></span>]   <b class='BibAuthor'>Kunen, K.</b>,
<a href="https://dx.doi.org/10.1090/S0002-9947-00-02350-3"><i class='BibTitle'>The structure of conjugacy closed loops</i></a>,
 <span class='BibJournal'>Trans. Amer. Math. Soc.</span>,
 <em class='BibVolume'>352</em> (<span class='BibNumber'>6</span>)
 (<span class='BibYear'>2000</span>),
 <span class='BibPages'>2889–2911</span>.
</p>


<p><a id="biBLi" name="biBLi"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=886433">Lie87</a></span>]   <b class='BibAuthor'>Liebeck, M. W.</b>,
<a href="https://dx.doi.org/10.1017/S0305004100067025"><i class='BibTitle'>The classification of finite simple Moufang loops</i></a>,
 <span class='BibJournal'>Math. Proc. Cambridge Philos. Soc.</span>,
 <em class='BibVolume'>102</em> (<span class='BibNumber'>1</span>)
 (<span class='BibYear'>1987</span>),
 <span class='BibPages'>33–47</span>.
</p>


<p><a id="biBMo" name="biBMo"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Moo</span>]   <b class='BibAuthor'>Moorhouse, G. E.</b>,
 <i class='BibTitle'>Bol loops of small order</i><br />
(<span class='BibNote'>https://www.uwyo.edu/moorhouse/pub/bol/</span>).
</p>


<p><a id="biBNaVo2003" name="biBNaVo2003"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1998692">NV03</a></span>]   <b class='BibAuthor'>Nagy, G. P. and Vojtěchovský, P.</b>,
 <i class='BibTitle'>Octonions, simple Moufang loops and triality</i>,
 <span class='BibJournal'>Quasigroups Related Systems</span>,
 <em class='BibVolume'>10</em>
 (<span class='BibYear'>2003</span>),
 <span class='BibPages'>65–94</span>.
</p>


<p><a id="biBNaVo2007" name="biBNaVo2007"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2355056">NV07</a></span>]   <b class='BibAuthor'>Nagy, G. P. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1016/j.jsc.2007.06.004"><i class='BibTitle'>The Moufang loops of order 64 and 81</i></a>,
 <span class='BibJournal'>J. Symbolic Comput.</span>,
 <em class='BibVolume'>42</em> (<span class='BibNumber'>9</span>)
 (<span class='BibYear'>2007</span>),
 <span class='BibPages'>871–883</span>.
</p>


<p><a id="biBPf" name="biBPf"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1125767">Pfl90</a></span>]   <b class='BibAuthor'>Pflugfelder, H. O.</b>,
 <i class='BibTitle'>Quasigroups and loops: introduction</i>,
 <span class='BibPublisher'>Heldermann Verlag</span>,
 <span class='BibSeries'>Sigma Series in Pure Mathematics</span>,
 <em class='BibVolume'>7</em>,
 <span class='BibAddress'>Berlin</span>
 (<span class='BibYear'>1990</span>),
 <span class='BibPages'>viii+147 pages</span>.
</p>


<p><a id="biBPhiVoj" name="biBPhiVoj"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2219409">PV05</a></span>]   <b class='BibAuthor'>Phillips, J. D. and Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1007/s00012-005-1941-1"><i class='BibTitle'>The varieties of loops of Bol-Moufang type</i></a>,
 <span class='BibJournal'>Algebra Universalis</span>,
 <em class='BibVolume'>54</em> (<span class='BibNumber'>3</span>)
 (<span class='BibYear'>2005</span>),
 <span class='BibPages'>259–271</span>.
</p>


<p><a id="biBStuhlVojtechovsky" name="biBStuhlVojtechovsky"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>SV17</span>]   <b class='BibAuthor'>Stuhl, I. and Vojtěchovský, P.</b>,
 <i class='BibTitle'>Involutory latin quandles, Bruck loops and commutative automorphic loops of odd prime power order</i>,
 <span class='BibJournal'></span>
 (<span class='BibYear'>2017</span>)<br />
(<span class='BibNote'>preprint</span>).
</p>


<p><a id="biBSlZe2011" name="biBSlZe2011"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>SZ12</span>]   <b class='BibAuthor'>Slattery, M. and Zenisek, A.</b>,
 <i class='BibTitle'>Moufang loops of order 243</i>,
 <span class='BibJournal'>Commentationes Mathematicae Universitatis Carolinae</span>,
 <em class='BibVolume'>53</em> (<span class='BibNumber'>3</span>)
 (<span class='BibYear'>2012</span>),
 <span class='BibPages'>423–428</span>.
</p>


<p><a id="biBVo" name="biBVo"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2206479">Voj06</a></span>]   <b class='BibAuthor'>Vojtěchovský, P.</b>,
<a href="https://dx.doi.org/10.1016/j.ejc.2004.10.003"><i class='BibTitle'>Toward the classification of Moufang loops of order 64</i></a>,
 <span class='BibJournal'>European J. Combin.</span>,
 <em class='BibVolume'>27</em> (<span class='BibNumber'>3</span>)
 (<span class='BibYear'>2006</span>),
 <span class='BibPages'>444–460</span>.
</p>


<p><a id="biBVoQRS" name="biBVoQRS"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3353114">Voj15</a></span>]   <b class='BibAuthor'>Vojtěchovský, P.</b>,
 <i class='BibTitle'>Three lectures on automorphic loops</i>,
 <span class='BibJournal'>Quasigroups Related Systems</span>,
 <em class='BibVolume'>23</em> (<span class='BibNumber'>1</span>)
 (<span class='BibYear'>2015</span>),
 <span class='BibPages'>129–163</span>.
</p>


<p><a id="biBWi" name="biBWi"></a></p>
<p class='BibEntry'>
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=0376937">WJ75</a></span>]   <b class='BibAuthor'>Wilson Jr., R. L.</b>,
 <i class='BibTitle'>Quasidirect products of quasigroups</i>,
 <span class='BibJournal'>Comm. Algebra</span>,
 <em class='BibVolume'>3</em> (<span class='BibNumber'>9</span>)
 (<span class='BibYear'>1975</span>),
 <span class='BibPages'>835–850</span>.
</p>

<p> </p>


<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chapB_mj.html">[Previous Chapter]</a>    <a href="chapInd_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chap6_mj.html">6</a>  <a href="chap7_mj.html">7</a>  <a href="chap8_mj.html">8</a>  <a href="chap9_mj.html">9</a>  <a href="chapA_mj.html">A</a>  <a href="chapB_mj.html">B</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>

99%


¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.17Bemerkung:  (vorverarbeitet)  ¤

*Bot Zugriff




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.