Skip to content

Commit

Permalink
Merge branch 'master' into dev
Browse files Browse the repository at this point in the history
  • Loading branch information
@fingolfin
fingolfin committed Mar 13, 2024
2 parents 05c6ce6 + a7d77b9 commit c5dfc97
Show file tree
Hide file tree
Showing 93 changed files with 8,047 additions and 8,028 deletions.
16 changes: 8 additions & 8 deletions Doc/Bib/MSC/00.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<!-- Autogenerated by Doc/Bib/bibsort.g -->

<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1729114">CCS99</a></span>] <b class='BibAuthor'>Cohen, A. M., Cuypers, H., and Sterk, H.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1729114">CCS99</a></span>] <b class='BibAuthor'>Cohen, A. M., Cuypers, H., and Sterk, H.</b>,
<i class='BibTitle'>Algebra interactive!</i>,
<span class='BibPublisher'>Springer-Verlag, Berlin</span>
(<span class='BibYear'>1999</span>),
Expand All @@ -17,7 +17,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2798320">H09</a></span>] <b class='BibAuthor'>Holt, D. F.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2798320">H09</a></span>] <b class='BibAuthor'>Holt, D. F.</b>,
<a href="https://doi.org/10.1090/S0273-0979-08-01215-9"><i class='BibTitle'>\it Theory of finite simple groups [book review of MR2266036]</i></a>,
<span class='BibJournal'>Bull. Amer. Math. Soc. (N.S.)</span>,
<em class='BibVolume'>46</em> (<span class='BibNumber'>1</span>)
Expand All @@ -27,7 +27,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1952439">HH03</a></span>] <b class='BibAuthor'>Hunter, D. J. and von Hippel, P. T.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1952439">HH03</a></span>] <b class='BibAuthor'>Hunter, D. J. and von Hippel, P. T.</b>,
<a href="https://doi.org/10.2307/3647771"><i class='BibTitle'>How rare is symmetry in musical 12-tone rows?</i></a>,
<span class='BibJournal'>Amer. Math. Monthly</span>,
<em class='BibVolume'>110</em> (<span class='BibNumber'>2</span>)
Expand All @@ -37,7 +37,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2378252">JKT04</a></span>] <b class='BibAuthor'>Joyner, D., Kreminski, R., and Turisco, J.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2378252">JKT04</a></span>] <b class='BibAuthor'>Joyner, D., Kreminski, R., and Turisco, J.</b>,
<i class='BibTitle'>Applied abstract algebra</i>,
<span class='BibPublisher'>Johns Hopkins University Press, Baltimore, MD</span>
(<span class='BibYear'>2004</span>),
Expand All @@ -46,7 +46,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=4119620">L20</a></span>] <b class='BibAuthor'>Little, J. B.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=4119620">L20</a></span>] <b class='BibAuthor'>Little, J. B.</b>,
<a href="https://doi.org/10.1090/bull/1690"><i class='BibTitle'>\it Computational mathematics with \tt SageMath [book review of MR3909428]</i></a>,
<span class='BibJournal'>Bull. Amer. Math. Soc. (N.S.)</span>,
<em class='BibVolume'>57</em> (<span class='BibNumber'>3</span>)
Expand All @@ -56,7 +56,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=3446881">M15</a></span>] <b class='BibAuthor'>Martin, U.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3446881">M15</a></span>] <b class='BibAuthor'>Martin, U.</b>,
<a href="https://doi.org/10.1007/978-3-319-21401-6_2"><i class='BibTitle'>Stumbling around in the dark: lessons from everyday mathematics</i></a>,
in <i class='BibBooktitle'>Automated deduction—CADE 25</i>,
<span class='BibPublisher'>Springer, Cham</span>,
Expand All @@ -68,7 +68,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=3734529">P17</a></span>] <b class='BibAuthor'>Peck, R. W.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3734529">P17</a></span>] <b class='BibAuthor'>Peck, R. W.</b>,
<a href="https://doi.org/10.1007/978-3-319-71827-9_6"><i class='BibTitle'>Almost difference sets in transformational music theory</i></a>,
in <i class='BibBooktitle'>Mathematics and computation in music</i>,
<span class='BibPublisher'>Springer, Cham</span>,
Expand All @@ -80,7 +80,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=3988630">RB19</a></span>] <b class='BibAuthor'>Rosales, J. C. and Branco, M. B.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3988630">RB19</a></span>] <b class='BibAuthor'>Rosales, J. C. and Branco, M. B.</b>,
<a href="https://doi.org/10.1017/prm.2018.65"><i class='BibTitle'>A problem of integer partitions and numerical semigroups</i></a>,
<span class='BibJournal'>Proc. Roy. Soc. Edinburgh Sect. A</span>,
<em class='BibVolume'>149</em> (<span class='BibNumber'>4</span>)
Expand Down
6 changes: 3 additions & 3 deletions Doc/Bib/MSC/01.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<!-- Autogenerated by Doc/Bib/bibsort.g -->

<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=3597021">DF17</a></span>] <b class='BibAuthor'>Detinko, A. S. and Flannery, D. L.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=3597021">DF17</a></span>] <b class='BibAuthor'>Detinko, A. S. and Flannery, D. L.</b>,
<a href="https://doi.org/10.1017/S1446788716000045"><i class='BibTitle'>L. G. Kovács and linear groups</i></a>,
<span class='BibJournal'>J. Aust. Math. Soc.</span>,
<em class='BibVolume'>102</em> (<span class='BibNumber'>1</span>)
Expand All @@ -17,7 +17,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1838096">P01</a></span>] <b class='BibAuthor'>Praeger, C. E.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1838096">P01</a></span>] <b class='BibAuthor'>Praeger, C. E.</b>,
<i class='BibTitle'>Computers in algebra: new answers, new questions</i>,
<span class='BibJournal'>J. Korean Math. Soc.</span>,
<em class='BibVolume'>38</em> (<span class='BibNumber'>4</span>)
Expand All @@ -28,7 +28,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1754443">VMT97</a></span>] <b class='BibAuthor'>Vavilov, N. A., Mysovskikh, V. I., and Teterin, Y. G.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1754443">VMT97</a></span>] <b class='BibAuthor'>Vavilov, N. A., Mysovskikh, V. I., and Teterin, Y. G.</b>,
<a href="https://doi.org/10.1007/BF02169961"><i class='BibTitle'>Computational group theory in St. Petersburg</i></a>,
<span class='BibJournal'>Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)</span>,
<em class='BibVolume'>236</em> (<span class='BibNumber'>Vopr. Teor. Predst. Algebr i Grupp. 5</span>)
Expand Down
22 changes: 11 additions & 11 deletions Doc/Bib/MSC/03.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<!-- Autogenerated by Doc/Bib/bibsort.g -->

<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=4125845">A20</a></span>] <b class='BibAuthor'>Ayzenberg, A.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=4125845">A20</a></span>] <b class='BibAuthor'>Ayzenberg, A.</b>,
<a href="https://doi.org/10.2969/jmsj/81688168"><i class='BibTitle'>Dimensions of multi-fan duality algebras</i></a>,
<span class='BibJournal'>J. Math. Soc. Japan</span>,
<em class='BibVolume'>72</em> (<span class='BibNumber'>3</span>)
Expand All @@ -17,7 +17,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2389913">BB08</a></span>] <b class='BibAuthor'>Borovik, A. and Burdges, J.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2389913">BB08</a></span>] <b class='BibAuthor'>Borovik, A. and Burdges, J.</b>,
<a href="https://doi.org/10.1112/jlms/jdm088"><i class='BibTitle'>A new trichotomy theorem for groups of finite Morley rank</i></a>,
<span class='BibJournal'>J. Lond. Math. Soc. (2)</span>,
<em class='BibVolume'>77</em> (<span class='BibNumber'>1</span>)
Expand All @@ -27,7 +27,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1840385">CO01</a></span>] <b class='BibAuthor'>Caprotti, O. and Oostdijk, M.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1840385">CO01</a></span>] <b class='BibAuthor'>Caprotti, O. and Oostdijk, M.</b>,
<a href="https://doi.org/10.1006/jsco.2001.0457"><i class='BibTitle'>Formal and efficient primality proofs by use of computer algebra oracles</i></a>,
<span class='BibJournal'>J. Symbolic Comput.</span>,
<em class='BibVolume'>32</em> (<span class='BibNumber'>1-2</span>)
Expand All @@ -38,7 +38,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2523766">DF09</a></span>] <b class='BibAuthor'>Detinko, A. S. and Flannery, D. L.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2523766">DF09</a></span>] <b class='BibAuthor'>Detinko, A. S. and Flannery, D. L.</b>,
<a href="https://doi.org/10.1016/j.jsc.2009.02.001"><i class='BibTitle'>On deciding finiteness of matrix groups</i></a>,
<span class='BibJournal'>J. Symbolic Comput.</span>,
<em class='BibVolume'>44</em> (<span class='BibNumber'>8</span>)
Expand All @@ -48,7 +48,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2501517">K09</a></span>] <b class='BibAuthor'>Kambites, M.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2501517">K09</a></span>] <b class='BibAuthor'>Kambites, M.</b>,
<a href="https://doi.org/10.1016/j.jalgebra.2008.09.038"><i class='BibTitle'>Small overlap monoids. I. The word problem</i></a>,
<span class='BibJournal'>J. Algebra</span>,
<em class='BibVolume'>321</em> (<span class='BibNumber'>8</span>)
Expand All @@ -58,7 +58,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2255137">KO06</a></span>] <b class='BibAuthor'>Kambites, M. and Otto, F.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2255137">KO06</a></span>] <b class='BibAuthor'>Kambites, M. and Otto, F.</b>,
<a href="https://doi.org/10.1016/j.jalgebra.2005.11.028"><i class='BibTitle'>Uniform decision problems for automatic semigroups</i></a>,
<span class='BibJournal'>J. Algebra</span>,
<em class='BibVolume'>303</em> (<span class='BibNumber'>2</span>)
Expand All @@ -68,7 +68,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2726573">M10</a></span>] <b class='BibAuthor'>Michel, P.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2726573">M10</a></span>] <b class='BibAuthor'>Michel, P.</b>,
<a href="https://doi.org/10.1142/S0218196710005868"><i class='BibTitle'>Homology of groups and third busy beaver function</i></a>,
<span class='BibJournal'>Internat. J. Algebra Comput.</span>,
<em class='BibVolume'>20</em> (<span class='BibNumber'>6</span>)
Expand All @@ -78,7 +78,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=4134242">Q20</a></span>] <b class='BibAuthor'>Quinn-Gregson, T.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=4134242">Q20</a></span>] <b class='BibAuthor'>Quinn-Gregson, T.</b>,
<a href="https://doi.org/10.1112/mtk.12035"><i class='BibTitle'>Homogeneous completely simple semigroups</i></a>,
<span class='BibJournal'>Mathematika</span>,
<em class='BibVolume'>66</em> (<span class='BibNumber'>3</span>)
Expand All @@ -88,7 +88,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1675014">R98</a></span>] <b class='BibAuthor'>Rees, S.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1675014">R98</a></span>] <b class='BibAuthor'>Rees, S.</b>,
<a href="https://doi.org/10.1142/S0218196798000272"><i class='BibTitle'>Automatic groups associated with word orders other than shortlex</i></a>,
<span class='BibJournal'>Internat. J. Algebra Comput.</span>,
<em class='BibVolume'>8</em> (<span class='BibNumber'>5</span>)
Expand All @@ -98,7 +98,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=2068002">SB+03</a></span>] <b class='BibAuthor'>Siekmann, J., Benzmüller, C., Fiedler, A., Meier, A., Normann, I., and Pollet, M.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=2068002">SB+03</a></span>] <b class='BibAuthor'>Siekmann, J., Benzmüller, C., Fiedler, A., Meier, A., Normann, I., and Pollet, M.</b>,
<a href="https://doi.org/10.1007/978-94-017-0253-9_11"><i class='BibTitle'>Proof development with $\Omega$mega: the irrationality of $\sqrt 2$</i></a>,
in <i class='BibBooktitle'>Thirty-five years of automating mathematics</i>,
<span class='BibPublisher'>Kluwer Acad. Publ., Dordrecht</span>,
Expand All @@ -110,7 +110,7 @@


<p class='BibEntry'>
[<span class='BibKeyLink'><a href="http://www.ams.org/mathscinet-getitem?mr=1886173">S00</a></span>] <b class='BibAuthor'>Sorge, V.</b>,
[<span class='BibKeyLink'><a href="https://www.ams.org/mathscinet-getitem?mr=1886173">S00</a></span>] <b class='BibAuthor'>Sorge, V.</b>,
<a href="https://doi.org/10.1007/10720084_9"><i class='BibTitle'>Non-trivial symbolic computations in proof planning</i></a>,
in <i class='BibBooktitle'>Frontiers of combining systems (Nancy, 2000)</i>,
<span class='BibPublisher'>Springer, Berlin</span>,
Expand Down
Loading

0 comments on commit c5dfc97

Please sign in to comment.