Quelle chapBib.html

Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/smallsemi/doc/chapBib.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>
<title>GAP (Smallsemi) - 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">Goto Chapter: <a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap4.html">[Previous Chapter]</a> <a href="chapInd.html">[Next Chapter]</a> </div>

<a href="chapBib_mj.html">[MathJax on]</a>
<a id="X7A6F98FD85F02BFE" name="X7A6F98FD85F02BFE"></a>

<h3>References</h3>

<a id="biBsmallgroups" name="biBsmallgroups"></a>

[BEO02] Besche, H. U., Eick, B. and O'Brien, E. A.,
<a href="\verb+(http://www.icm.tu-bs.de/ag_algebra/software/small/small.html)+">The Small Groups Library - a GAP package</a>
(2002).


<a id="biBDis10" name="biBDis10"></a>

[Dis10] Distler, A.,
Classification and Enumeration of finite Semigroups,
Ph.D. thesis,
St Andrews University
(2010).


<a id="biBDis14" name="biBDis14"></a>

[Dis14] Distler, A.,
<a href="https://www.tandfonline.com/doi/abs/10.1080/00927872.2012.733986">Finite Nilpotent Semigroups of Small Coclass</a>,
Communications in Algebra,
42 (3)
(2014),
1136-1150.


<a id="biBDMU13" name="biBDMU13"></a>

[DMU13] Distler, A., Maltcev, V. and Umar, A.,
<a href="https://arxiv.org/abs/1302.0985">J*=D* need not hold in finite semigroups</a>,
submitted
(2013).


<a id="biBFor55" name="biBFor55"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR0069814">For55</a>] Forsythe, G. E.,
SWAC computes 126 distinct semigroups of order
 4,
Proc. Amer. Math. Soc.,
6
(1955),
443--447.


<a id="biBminion" name="biBminion"></a>

[GJM06] Gent, I. P., Jefferson, C. and Miguel, I. (Brewka, G., Coradeschi, S., Perini, A. and Traverso, P., Eds.),
Minion: A Fast Scalable Constraint Solver,
 in The European Conference on Artificial Intelligence 2006
 (ECAI 06),
IOS Press
(2006),
98-102.


<a id="biBJW77" name="biBJW77"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR0447452">JW77</a>] Jürgensen, H. and Wick, P.,
Die Halbgruppen der Ordnungen ≤ 7,
Semigroup Forum,
14 (1)
(1977),
69--79.


<a id="biBPle67" name="biBPle67"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR0235059">Ple67</a>] Plemmons, R. J.,
There are 15973 semigroups of order 6,
Math. Algorithms,
2
(1967),
2--17.


<a id="biBSZT94" name="biBSZT94"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR1272859">SYT94</a>] Satoh, S., Yama, K. and Tokizawa, M.,
Semigroups of order 8,
Semigroup Forum,
49 (1)
(1994),
7--29.


<a id="biBtamura2" name="biBtamura2"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR0069813">Tam54</a>] Tamura, T.,
Notes on finite semigroups and determination of semigroups of
 order 4,
J. Gakugei. Tokushima Univ. Math.,
5
(1954),
17--27.


<a id="biBtamura1" name="biBtamura1"></a>

[<a href="http://www.ams.org/mathscinet-getitem?mr=MR0078377">THA+55</a>] Tetsuya, K., Hashimoto, T., Akazawa, T., Shibata, R., Inui, T. and Tamura, T.,
All semigroups of order at most 5,
J. Gakugei Tokushima Univ. Nat. Sci. Math.,
6
(1955),
19--39. Errata on loose, unpaginated sheet.


 

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap4.html">[Previous Chapter]</a> <a href="chapInd.html">[Next Chapter]</a> </div>

<div class="chlinkbot">Goto Chapter: <a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>

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

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet am 2026-06-17) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.