summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/doc.html33
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook3.bib399
-rw-r--r--Master/tlpkg/installer/ctan-mirrors.pl4
3 files changed, 413 insertions, 23 deletions
diff --git a/Master/doc.html b/Master/doc.html
index 18f0a7386fb..c855e6b6ed1 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -18426,6 +18426,13 @@ Nomenclature typeset in a longtable. 
<a href="texmf-dist/doc/latex/nomentbl/nomentbl.pdf">nomentbl.pdf</a>
</small></li>
+<li id="non-decimal-units"><b><a href="texmf-dist/doc/latex/non-decimal-units/">non-decimal-units</a></b><small>
+(<a href="https://ctan.org/pkg/non-decimal-units">CTAN</a>):
+Display and manipulate historical non-decimal units.&nbsp;
+<a href="texmf-dist/doc/latex/non-decimal-units/non-decimal-units.pdf">non-decimal-units.pdf</a>
+<a href="texmf-dist/doc/latex/non-decimal-units/test.pdf">test.pdf</a>
+</small></li>
+
<li id="nonfloat"><b><a href="texmf-dist/doc/latex/nonfloat/">nonfloat</a></b><small>
(<a href="https://ctan.org/pkg/nonfloat">CTAN</a>):
Non-floating table and figure captions.&nbsp;
@@ -18666,7 +18673,7 @@ Support for the journal "North-Western European Journal of Mathematics".&nbsp;
<h2 id="letter-O">O</h2>
-<ol start="2396">
+<ol start="2397">
<li id="oberdiek"><b><a href="texmf-dist/doc/latex/oberdiek/">oberdiek</a></b><small>
(<a href="https://ctan.org/pkg/oberdiek">CTAN</a>):
@@ -19033,7 +19040,7 @@ Combine LaTeX commands over included graphics.&nbsp;
<h2 id="letter-P">P</h2>
-<ol start="2444">
+<ol start="2445">
<li id="padcount"><b><a href="texmf-dist/doc/latex/padcount/">padcount</a></b><small>
(<a href="https://ctan.org/pkg/padcount">CTAN</a>):
@@ -21636,7 +21643,7 @@ Run Python from within a document, typesetting the results.&nbsp;
<h2 id="letter-Q">Q</h2>
-<ol start="2807">
+<ol start="2808">
<li id="qcircuit"><b><a href="texmf-dist/doc/latex/qcircuit/">qcircuit</a></b><small>
(<a href="https://ctan.org/pkg/qcircuit">CTAN</a>):
@@ -21804,7 +21811,7 @@ Book Template for Qian Yuan Xue Fu.&nbsp;
<h2 id="letter-R">R</h2>
-<ol start="2831">
+<ol start="2832">
<li id="ragged2e"><b><a href="texmf-dist/doc/latex/ragged2e/">ragged2e</a></b><small>
(<a href="https://ctan.org/pkg/ragged2e">CTAN</a>):
@@ -22505,7 +22512,7 @@ Class for Ryerson Unversity Graduate School requirements.&nbsp;
<h2 id="letter-S">S</h2>
-<ol start="2923">
+<ol start="2924">
<li id="sa-tikz"><b><a href="texmf-dist/doc/latex/sa-tikz/">sa-tikz</a></b><small>
(<a href="https://ctan.org/pkg/sa-tikz">CTAN</a>):
@@ -24433,7 +24440,7 @@ Format systems of equations.&nbsp;
<h2 id="letter-T">T</h2>
-<ol start="3199">
+<ol start="3200">
<li id="t-angles"><b><a href="texmf-dist/doc/latex/t-angles/">t-angles</a></b><small>
(<a href="https://ctan.org/pkg/t-angles">CTAN</a>):
@@ -26974,7 +26981,7 @@ Plot graphs with TikZ abbreviations.&nbsp;
<h2 id="letter-U">U</h2>
-<ol start="3515">
+<ol start="3516">
<li id="uaclasses"><b><a href="texmf-dist/doc/latex/uaclasses/">uaclasses</a></b><small>
(<a href="https://ctan.org/pkg/uaclasses">CTAN</a>):
@@ -27633,7 +27640,7 @@ University of Washington thesis class.&nbsp;
<h2 id="letter-V">V</h2>
-<ol start="3607">
+<ol start="3608">
<li id="vancouver"><b><a href="texmf-dist/doc/bibtex/vancouver/">vancouver</a></b><small>
(<a href="https://ctan.org/pkg/vancouver">CTAN</a>):
@@ -27906,7 +27913,7 @@ Variable-width multiple text columns.&nbsp;
<h2 id="letter-W">W</h2>
-<ol start="3646">
+<ol start="3647">
<li id="wadalab"><b><a href="texmf-dist/doc/fonts/wadalab/">wadalab</a></b><small>
(<a href="https://ctan.org/pkg/wadalab">CTAN</a>):
@@ -28165,7 +28172,7 @@ Extend LaTeX's cross-reference system.&nbsp;
<h2 id="letter-X">X</h2>
-<ol start="3678">
+<ol start="3679">
<li id="xargs"><b><a href="texmf-dist/doc/latex/xargs/">xargs</a></b><small>
(<a href="https://ctan.org/pkg/xargs">CTAN</a>):
@@ -28796,7 +28803,7 @@ Tree macros using XY-Pic.&nbsp;
<h2 id="letter-Y">Y</h2>
-<ol start="3752">
+<ol start="3753">
<li id="yafoot"><b><a href="texmf-dist/doc/latex/yafoot/">yafoot</a></b><small>
(<a href="https://ctan.org/pkg/yafoot">CTAN</a>):
@@ -28926,7 +28933,7 @@ Many-featured Young tableaux and Young diagrams.&nbsp;
<h2 id="letter-Z">Z</h2>
-<ol start="3770">
+<ol start="3771">
<li id="zbmath-review-template"><b><a href="texmf-dist/doc/xelatex/zbmath-review-template/">zbmath-review-template</a></b><small>
(<a href="https://ctan.org/pkg/zbmath-review-template">CTAN</a>):
@@ -29071,5 +29078,5 @@ Standard conforming typesetting of Japanese, for XeLaTeX.&nbsp;
<p><a href="#letter-1">1</a> - <a href="#letter-2">2</a> - <a href="#letter-A">A</a> - <a href="#letter-B">B</a> - <a href="#letter-C">C</a> - <a href="#letter-D">D</a> - <a href="#letter-E">E</a> - <a href="#letter-F">F</a> - <a href="#letter-G">G</a> - <a href="#letter-H">H</a> - <a href="#letter-I">I</a> - <a href="#letter-J">J</a> - <a href="#letter-K">K</a> - <a href="#letter-L">L</a> - <a href="#letter-M">M</a> - <a href="#letter-N">N</a> - <a href="#letter-O">O</a> - <a href="#letter-P">P</a> - <a href="#letter-Q">Q</a> - <a href="#letter-R">R</a> - <a href="#letter-S">S</a> - <a href="#letter-T">T</a> - <a href="#letter-U">U</a> - <a href="#letter-V">V</a> - <a href="#letter-W">W</a> - <a href="#letter-X">X</a> - <a href="#letter-Y">Y</a> - <a href="#letter-Z">Z</a></p>
<hr>
-<small>Generated Tue Sep 26 01:42:53 CEST 2023 by tl-update-docindex.</small>
+<small>Generated Wed Sep 27 01:43:30 CEST 2023 by tl-update-docindex.</small>
</body></html>
diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
index e31fb4504b0..4112d9cfa50 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
@@ -5,9 +5,9 @@
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
-%%% version = "3.94",
-%%% date = "04 September 2023",
-%%% time = "16:43:55 MDT",
+%%% version = "3.95",
+%%% date = "26 September 2023",
+%%% time = "10:49:46 MDT",
%%% filename = "texbook3.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
-%%% checksum = "34354 23462 106247 1009028",
+%%% checksum = "32751 23841 108501 1030938",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
@@ -37,7 +37,7 @@
%%% covered in separate bibliographies
%%% (ep.bib, epodd.bib, and sgml.bib).
%%%
-%%% At version 3.94, the year coverage looks
+%%% At version 3.95, the year coverage looks
%%% like this:
%%%
%%% 1928 ( 1) 1960 ( 0) 1992 ( 83)
@@ -62,7 +62,7 @@
%%% 1947 ( 0) 1979 ( 5) 2011 ( 7)
%%% 1948 ( 0) 1980 ( 8) 2012 ( 9)
%%% 1949 ( 0) 1981 ( 13) 2013 ( 6)
-%%% 1950 ( 1) 1982 ( 22) 2014 ( 2)
+%%% 1950 ( 1) 1982 ( 22) 2014 ( 5)
%%% 1951 ( 0) 1983 ( 24) 2015 ( 4)
%%% 1952 ( 0) 1984 ( 15) 2016 ( 4)
%%% 1953 ( 0) 1985 ( 35) 2017 ( 3)
@@ -77,18 +77,18 @@
%%% Article: 224
%%% Book: 336
%%% Booklet: 12
-%%% InCollection: 14
-%%% InProceedings: 125
+%%% InCollection: 15
+%%% InProceedings: 126
%%% Manual: 16
%%% MastersThesis: 4
%%% Misc: 16
%%% Periodical: 1
%%% PhdThesis: 12
-%%% Proceedings: 38
+%%% Proceedings: 39
%%% TechReport: 60
%%% Unpublished: 2
%%%
-%%% Total entries: 860
+%%% Total entries: 863
%%%
%%% The ISBN and ISSN fields will be printed if
%%% the is-alpha.bst or is-plain.bst style
@@ -6962,6 +6962,21 @@
series = "Manuales de Inform{\'a}tica Masson",
}
+@InCollection{Galvez:2014:IIG,
+ author = "Akemi G{\'a}lvez and Kiyoshi Kitahara and Masataka
+ Kaneko",
+ title = "{IFSGen4\LaTeX}: Interactive Graphical User Interface
+ for Generation and Visualization of Iterated Function
+ Systems in {\LaTeX}",
+ crossref = "Hong:2014:MSI",
+ pages = "554--561",
+ year = "2014",
+ DOI = "https://doi.org/10.1007/978-3-662-44199-2_84",
+ bibdate = "Tue Sep 26 10:30:05 2023",
+ bibsource = "https://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ acknowledgement = ack-nhfb,
+}
+
@Article{Garfield:1968:NVA,
author = "E. Garfield",
title = "Numerical versus alphabetic order for cited
@@ -8502,6 +8517,20 @@
journal-URL = "http://www.siam.org/news/",
}
+@InProceedings{Gubinelli:2014:GTM,
+ author = "Massimiliano Gubinelli and Joris van der Hoeven and
+ Fran{\c{c}}ois Poulain and Denis Raux",
+ title = "{GNU {\TeX}MACS}: towards a Scientific Office Suite",
+ crossref = "Hong:2014:MSI",
+ pages = "562--569",
+ year = "2014",
+ DOI = "https://doi.org/10.1007/978-3-662-44199-2_85",
+ bibdate = "Tue Sep 26 10:34:37 2023",
+ bibsource = "https://www.math.utah.edu/pub/tex/bib/gnu.bib;
+ https://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ acknowledgement = ack-nhfb,
+}
+
@InProceedings{Guntermann:1985:GDL,
author = "Klaus Guntermann",
title = "{GENDRIV} --- a driver for low cost devices using
@@ -23460,3 +23489,353 @@
series = "Proceedings of the European \TeX{} Conference",
acknowledgement = ack-nhfb,
}
+
+@Proceedings{Hong:2014:MSI,
+ editor = "Hoon Hong and Chee Yap",
+ booktitle = "Mathematical Software --- {ICMS 2014: 4th
+ International Conference, Seoul, South Korea, August
+ 5--9, 2014, Proceedings}",
+ title = "Mathematical Software --- {ICMS 2014: 4th
+ International Conference, Seoul, South Korea, August
+ 5--9, 2014, Proceedings}",
+ volume = "8592",
+ publisher = pub-SV,
+ address = pub-SV:adr,
+ pages = "xxxii + 735",
+ year = "2014",
+ DOI = "https://doi.org/10.1007/978-3-662-44199-2",
+ ISBN = "3-662-44198-5 (paperback), 3-662-44199-3 (e-book)",
+ ISBN-13 = "978-3-662-44198-5 (paperback), 978-3-662-44199-2
+ (e-book)",
+ LCCN = "QA76.9.M35",
+ bibdate = "Sat Sep 23 09:59:48 2023",
+ bibsource = "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
+ https://www.math.utah.edu/pub/tex/bib/gnu.bib;
+ https://www.math.utah.edu/pub/tex/bib/magma.bib;
+ https://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
+ https://www.math.utah.edu/pub/tex/bib/mathematica.bib;
+ https://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "Front Matter \\
+ Invited Talks \\
+ Experimental Computation and Visual Theorems / Jonathan
+ M. Borwein / 1--8 \\
+ Soft Math Math Soft / Bruno Buchberger / 9--15 \\
+ Mathematical Theory Exploration \\
+ Flyspecking Flyspeck / Mark Adams / 16--20 \\
+ Symbolic Computing Package for Mathematica for
+ Versatile Manipulation of Mathematical Expressions /
+ Youngjoo Chung / 21--25 \\
+ Representing, Archiving, and Searching the Space of
+ Mathematical Knowledge / Mihnea Iancu, Michael
+ Kohlhase, Corneliu Prodescu / 26--30 \\
+ Early Examples of Software in Mathematical Knowledge
+ Management / Patrick Ion / 31--35 \\
+ Discourse-Level Parallel Markup and Meaning Adoption in
+ Flexiformal Theory Graphs / Michael Kohlhase, Mihnea
+ Iancu / 36--40 \\
+ Complexity Analysis of the Bivariate Buchberger
+ Algorithm in Theorema / Alexander Maletzky, Bruno
+ Buchberger / 41--48 \\
+ Theorema 2.0: A System for Mathematical Theory
+ Exploration / Wolfgang Windsteiger / 49--52 \\
+ Computational Group Theory \\
+ New Approaches in Black Box Group Theory / Alexandre
+ Borovik, {\c{S}}{\"u}kr{\"u} Yal{\c{c}}{\i}nkaya /
+ 53--58 \\
+ A GAP Package for Computing with Real Semisimple Lie
+ Algebras / Heiko Dietrich, Paolo Faccin, Willem A. de
+ Graaf / 59--66 \\
+ Bacterial Genomics and Computational Group Theory: The
+ BioGAP Package for GAP / Attila Egri-Nagy, Andrew R.
+ Francis, Volker Gebhardt / 67--74 \\
+ SgpDec: Cascade (De)Compositions of Finite
+ Transformation Semigroups and Permutation Groups /
+ Attila Egri-Nagy, James D. Mitchell, Chrystopher L.
+ Nehaniv / 75--82 \\
+ Approximating Generators for Integral Arithmetic Groups
+ / Bettina Eick / 83--86 \\
+ Software for Groups: Theory and Practice / Alexander
+ Hulpke / 87--91 \\
+ Computation of Genus 0 Belyi Functions / Mark van
+ Hoeij, Raimundas Vidunas / 92--98 \\
+ On Computation of the First Baues--Wirsching Cohomology
+ of a Freely-Generated Small Category / Yasuhiro Momose,
+ Yasuhide Numata / 99--105 \\
+ Coding Theory \\
+ Codes over a Non Chain Ring with Some Applications /
+ Aysegul Bayram, Elif Segah Oztas, Irfan Siap / 106--110
+ \\
+ On the Weight Enumerators of the Projections of the
+ 2-adic Golay Code of Length 24 to $\mathbb{Z}_{2^e}$ /
+ Sunghyu Han / 111--114 \\
+ Coding Theory \\
+ Computer Based Reconstruction of Binary Extremal
+ Self-dual Codes of Length 32 / Jon-Lark Kim / 115--118
+ \\
+ Magma Implementation of Decoding Algorithms for General
+ Algebraic Geometry Codes / Kwankyu Lee / 119--123 \\
+ Reversible Codes and Applications to DNA / Elif Segah
+ Oztas, Irfan Siap, Bahattin Yildiz / 124--128 \\
+ Computational Topology \\
+ javaPlex: A Research Software Package for Persistent
+ (Co)Homology / Henry Adams, Andrew Tausz, Mikael
+ Vejdemo-Johansson / 129--136 \\
+ PHAT --- Persistent Homology Algorithms Toolbox /
+ Ulrich Bauer, Michael Kerber, Jan Reininghaus, Hubert
+ Wagner / 137--143 \\
+ Computing Persistence Modules on Commutative Ladders of
+ Finite Type / Emerson G. Escolar, Yasuaki Hiraoka /
+ 144--151 \\
+ Heuristics for Sphere Recognition / Michael Joswig,
+ Frank H. Lutz, Mimi Tsuruga / 152--159 \\
+ CAPD::RedHom v2 --- Homology Software Based on
+ Reduction Algorithms / Mateusz Juda, Marian Mrozek /
+ 160--166 \\
+ The Gudhi Library: Simplicial Complexes and Persistent
+ Homology / Cl{\'e}ment Maria, Jean-Daniel Boissonnat,
+ Marc Glisse, Mariette Yvinec / 167--174 \\
+ Numerical Algebraic Geometry \\
+ Bertini_real: Software for One- and Two-Dimensional
+ Real Algebraic Sets / Daniel A. Brake, Daniel J. Bates,
+ Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese,
+ CharlesW. Wampler / 175--182 \\
+ Hom4PS-3: A Parallel Numerical Solver for Systems of
+ Polynomial Equations Based on Polyhedral Homotopy
+ Continuation Methods / Tianran Chen, Tsung-Lin Lee,
+ Tien-Yien Li / 183--190 \\
+ Geometry \\
+ CGAL --- Reliable Geometric Computing for Academia and
+ Industry / Eric Berberich / 191--197 \\
+ Implementing the $L_\infty$ Segment Voronoi Diagram in
+ CGAL and Applying in VLSI Pattern Analysis / Panagiotis
+ Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia
+ Papadopoulou / 198--205 \\
+ BULL! --- The Molecular Geometry Engine Based on
+ Voronoi Diagram, Quasi-Triangulation, and Beta-Complex
+ / Deok-Soo Kim, Youngsong Cho, Jae-Kwan Kim, Joonghyun
+ Ryu, Mokwon Lee, Jehyun Cha et al. / 206--213 \\
+ Integrating Circumradius and Area Formulae for Cyclic
+ Pentagons / Shuichi Moritsugu / 214--221 \\
+ Computer Aided Geometry / Douglas Navarro Guevara,
+ Adrian Navarro Alvarez / 222--229 \\
+ The Sustainability of Digital Educational Resources /
+ Yongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang /
+ 230--234 \\
+ A Touch-Operation-Based Dynamic Geometry System: Design
+ and Implementation / Wei Su, Paul S. Wang, Chuan Cai,
+ Lian Li / 235--239 \\
+ OpenGeo: An Open Geometric Knowledge Base / Dongming
+ Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song /
+ 240--245 \\
+ Curves and Surfaces \\
+ On Computing a Cell Decomposition of a Real Surface
+ Containing Infinitely Many Singularities / Daniel J.
+ Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew
+ J. Sommese, Charles W. Wampler / 246--252 \\
+ Robustly and Efficiently Computing Algebraic Curves and
+ Surfaces / Eric Berberich / 253--260 \\
+ Computing the Orthogonal Projection of Rational Curves
+ onto Rational Parameterized Surface by Symbolic Methods
+ / Zhiwang Gan, Meng Zhou / 261--268 \\
+ Isotopic $\epsilon$-Approximation of Algebraic Curves /
+ Kai Jin / 269--276 \\
+ Isotopic Arrangement of Simple Curves: An Exact
+ Numerical Approach Based on Subdivision / Jyh-Ming
+ Lien, Vikram Sharma, Gert Vegter, Chee Yap / 277--282
+ \\
+ Quantified Reasoning \\
+ Real Quantifier Elimination in the RegularChains
+ Library / Changbo Chen, Marc Moreno Maza / 283--290 \\
+ Software for Quantifier Elimination in Propositional
+ Logic / Eugene Goldberg, Panagiotis Manolios / 291--294
+ \\
+ Quantifier Elimination for Linear Modular Constraints /
+ Ajith K. John, Supratik Chakraborty / 295--302 \\
+ Skolemization Modulo Theories / Konstantin Korovin,
+ Margus Veanes / 303--306 \\
+ Incremental QBF Solving by DepQBF / Florian Lonsing,
+ Uwe Egly / 307--314 \\
+ NLCertify: A Tool for Formal Nonlinear Optimization /
+ Victor Magron / 315--320 \\
+ Special Functions and Concrete Mathematics \\
+ Developing Linear Algebra Packages on Risa/Asir for
+ Eigenproblems / Katsuyoshi Ohara, Shinichi Tajima,
+ Akira Terui / 321--324 \\
+ Mathematical Software for Modified Bessel Functions /
+ Juri Rappoport / 325--332 \\
+ BetaSCP2: A Program for the Optimal Prediction of
+ Side-Chains in Proteins / Joonghyun Ryu, Mokwon Lee,
+ Jehyun Cha, Chanyoung Song, Deok-Soo Kim / 333--340 \\
+ Computation of an Improved Lower Bound to Giuga's
+ Primality Conjecture / Matthew Skerritt / 341--345 \\
+ An Extension and Efficient Calculation of the Horner's
+ Rule for Matrices / Shinichi Tajima, Katsuyoshi Ohara,
+ Akira Terui / 346--351 \\
+ Groebner Bases \\
+ What Is New in CoCoA? / John Abbott, Anna Maria Bigatti
+ / 352--358 \\
+ Maximizing Likelihood Function for Parameter Estimation
+ in Point Clouds via Groebner Basis / Joseph Awange,
+ B{\'e}la Pal{\'a}ncz, Robert Lewis / 359--366 \\
+ Groebner Basis in Geodesy and Geoinformatics / Joseph
+ Awange, B{\'e}la Pal{\'a}ncz, Robert Lewis / 367--373
+ \\
+ Groebner Bases in Theorema / Bruno Buchberger,
+ Alexander Maletzky / 374--381 \\
+ Effective Computation of Radical of Ideals and Its
+ Application to Invariant Theory / Amir Hashemi /
+ 382--389 \\
+ Generic and Parallel Groebner Bases in JAS / Heinz
+ Kredel / 390--397 \\
+ Application of Groebner Basis Methodology to Nonlinear
+ Mechanics Problems / Y. Jane Liu, John Peddieson /
+ 398--405 \\
+ Software for Discussing Parametric Polynomial Systems:
+ The Gr{\"o}bner Cover / Antonio Montes, Michael Wibmer
+ / 406--413 \\
+ An Algorithm for Computing Standard Bases by Change of
+ Ordering via Algebraic Local Cohomology / Katsusuke
+ Nabeshima, Shinichi Tajima / 414--418 \\
+ Verification of Gr{\"o}bner Basis Candidates / Masayuki
+ Noro, Kazuhiro Yokoyama / 419--424 \\
+ Triangular Decompositions of Polynomial Systems \\
+ Cylindrical Algebraic Decomposition in the
+ RegularChains Library / Changbo Chen, Marc Moreno Maza
+ / 425--433 \\
+ Hierarchical Comprehensive Triangular Decomposition /
+ Zhenghong Chen, Xiaoxian Tang, Bican Xia / 434--441 \\
+ A Package for Parametric Matrix Computations / Robert
+ M. Corless, Steven E. Thornton / 442--449 \\
+ Choosing a Variable Ordering for Truth-Table Invariant
+ Cylindrical Algebraic Decomposition by Incremental
+ Triangular Decomposition / Matthew England, Russell
+ Bradford, James H. Davenport, David Wilson / 450--457
+ \\
+ Using the Regular Chains Library to Build Cylindrical
+ Algebraic Decompositions by Projecting and Lifting /
+ Matthew England, David Wilson, Russell Bradford, James
+ H. Davenport / 458--465 \\
+ An Improvement of Rosenfeld--Gr{\"o}bner Algorithm /
+ Amir Hashemi, Zahra Touraji / 466--471 \\
+ Doing Algebraic Geometry with the RegularChains Library
+ / Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc
+ Moreno Maza, {\'E}ric Schost, Paul Vrbik / 472--479 \\
+ On Multivariate Birkhoff Rational Interpolation / Peng
+ Xia, Bao-Xin Shang, Na Lei / 480--483 \\
+ Computing Moore--Penrose Inverses of Ore Polynomial
+ Matrices / Yang Zhang / 484--491 \\
+ Parametric Polynomial Systems \\
+ Software Using the Gr{\"o}bner Cover for Geometrical
+ Loci Computation and Classification / Miguel A.
+ Ab{\'a}nades, Francisco Botana, Antonio Montes,
+ Tom{\'a}s Recio / 492--499 \\
+ Using Maple's RegularChains Library to Automatically
+ Classify Plane Geometric Loci / Francisco Botana,
+ Tom{\'a}s Recio / 500--503 \\
+ Solving Parametric Polynomial Systems by
+ RealComprehensiveTriangularize / Changbo Chen, Marc
+ Moreno Maza / 504--511 \\
+ QE Software Based on Comprehensive Gr{\"o}bner Systems
+ / Ryoya Fukasaku / 512--517 \\
+ SyNRAC: A Toolbox for Solving Real Algebraic
+ Constraints / Hidenao Iwane, Hitoshi Yanami, Hirokazu
+ Anai / 518--522 \\
+ An Algorithm for Computing Tjurina Stratifications of
+ $\mu$-Constant Deformations by Using Local Cohomology
+ Classes with Parameters / Katsusuke Nabeshima, Shinichi
+ Tajima / 523--530 \\
+ An Implementation Method of Boolean Gr{\"o}bner Bases
+ and Comprehensive Boolean Gr{\"o}bner Bases on General
+ Computer Algebra Systems / Akira Nagai, Shutaro Inoue /
+ 531--536 \\
+ A Method to Determine if Two Parametric Polynomial
+ Systems Are Equal / Jie Zhou, Dingkang Wang / 537--544
+ \\
+ Mathematical Web/Mobile Interfaces and Visualization
+ \\
+ An Implementation Method of a CAS with a Handwriting
+ Interface on Tablet Devices / Mitsushi Fujimoto /
+ 545--548 \\
+ New Way of Explanation of the Stochastic Interpretation
+ of Wave Functions and Its Teaching Materials Using
+ KETpic / Kenji Fukazawa / 549--553 \\
+ {IFSGen4\LaTeX}: Interactive Graphical User Interface
+ for Generation and Visualization of Iterated Function
+ Systems in {\LaTeX} / Akemi G{\'a}lvez, Kiyoshi
+ Kitahara, Masataka Kaneko / 554--561 \\
+ GNU {\TeX}MACS: towards a Scientific Office Suite /
+ Massimiliano Gubinelli, Joris van der Hoeven,
+ Fran{\c{c}}ois Poulain, Denis Raux / 562--569 \\
+ Computer Software Program for Representation and
+ Visualization of Free-Form Curves through Bio-inspired
+ Optimization Techniques / Andr{\'e}s Iglesias, Akemi
+ G{\'a}lvez / 570--577 \\
+ On Some Attempts to Verify the Effect of Using
+ High-Quality Graphics in Mathematics Education /
+ Kiyoshi Kitahara, Tadashi Takahashi, Masataka Kaneko /
+ 578--585 \\
+ Math Web Search Interfaces and the Generation Gap of
+ Mathematicians / Andrea Kohlhase / 586--593 \\
+ Practice with Computer Algebra Systems in Mathematics
+ Education and Teacher Training Courses / Hideyo
+ Makishita / 594--600 \\
+ Development of Visual Aid Materials in Teaching the
+ Bivariate Normal Distributions / Toshifumi Nomachi,
+ Toshihiko Koshiba, Shunji Ouchi / 601--606 \\
+ Creating Interactive Graphics for Mathematics Education
+ Utilizing KETpic / Shunji Ouchi, Yoshifumi Maeda,
+ Kiyoshi Kitahara, Naoki Hamaguchi / 607--613 \\
+ A Tablet-Compatible Web-Interface for Mathematical
+ Collaboration / Marco Pollanen, Jeff Hooper, Bruce
+ Cater, Sohee Kang / 614--620 \\
+ Development and Evaluation of a Web-Based Drill System
+ to Master Basic Math Formulae Using a New Interactive
+ Math Input Method / Shizuka Shirai, Tetsuo Fukui /
+ 621--628 \\
+ Generating Data of Mathematical Figures for 3D Printers
+ with KETpic and Educational Impact of the Printed
+ Models / Setsuo Takato, Naoki Hamaguchi, Haiduke
+ Sarafian / 629--634 \\
+ A Touch-Based Mathematical Expression Editor / Wei Su,
+ Paul S. Wang, Lian Li / 635--640 \\
+ Establishment of KETpic Programming Styles for Drawing
+ / Satoshi Yamashita, Yoshifumi Maeda, Hisashi Usui,
+ Kiyoshi Kitahara, Hideyo Makishita, Kazushi Ahara /
+ 641--646 \\
+ General Session \\
+ Integration of Libnormaliz in CoCoALib and CoCoA 5 /
+ John Abbott, Anna Maria Bigatti, Christof S{\"o}ger /
+ 647--653 \\
+ Elements of Design for Containers and Solutions in the
+ LinBox Library / Brice Boyer, Jean-Guillaume Dumas,
+ Pascal Giorgi, Cl{\'e}ment Pernet, B. David Saunders /
+ 654--662 \\
+ Recent Developments in Normaliz / Winfried Bruns,
+ Christof S{\"o}ger / 663--668 \\
+ The Basic Polynomial Algebra Subprograms / Changbo
+ Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno
+ Maza, Ning Xie, Yuzhen Xie / 669--676 \\
+ Function Interval Arithmetic / Jan Duracz, Amin
+ Farjudian, Michal Kone{\v{c}}n{\'y}, Walid Taha /
+ 677--684 \\
+ Generating Optimized Sparse Matrix Vector Product over
+ Finite Fields / Pascal Giorgi, Bastien Vialla /
+ 685--690 \\
+ swMATH --- An Information Service for Mathematical
+ Software / Gert-Martin Greuel, Wolfram Sperber /
+ 691--701 \\
+ MathLibre: Modifiable Desktop Environment for
+ Mathematics / Tatsuyoshi Hamada / 702--705 \\
+ Software Packages for Holonomic Gradient Method / Tamio
+ Koyama, Hiromasa Nakayama, Katsuyoshi Ohara, Tomonari
+ Sei, Nobuki Takayama / 706--712 \\
+ Metalibm: A Mathematical Functions Code Generator /
+ Olga Kupriianova, Christoph Lauter / 713--717 \\
+ From Calculus to Algorithms without Errors / Norbert
+ M{\"u}ller, Martin Ziegler / 718--724 \\
+ Dense Arithmetic over Finite Fields with the CUMODP
+ Library / Sardar Anisul Haque, Xin Li, Farnam Mansouri,
+ Marc Moreno Maza, Wei Pan, Ning Xie / 725--732 \\
+ Back Matter / / 733--735",
+}
diff --git a/Master/tlpkg/installer/ctan-mirrors.pl b/Master/tlpkg/installer/ctan-mirrors.pl
index 1af186b36b4..95f29ff055e 100644
--- a/Master/tlpkg/installer/ctan-mirrors.pl
+++ b/Master/tlpkg/installer/ctan-mirrors.pl
@@ -35,6 +35,9 @@ $mirrors = {
'http://repo.ugm.ac.id/ctan/' => 1,
'https://mirror.unpad.ac.id/ctan/' => 1,
},
+ 'Iran' => {
+ 'https://ctan.yazd.ac.ir/' => 1,
+ },
'Japan' => {
'http://ring.airnet.ne.jp/archives/text/CTAN/' => 1,
'https://ftp.jaist.ac.jp/pub/CTAN/' => 1,
@@ -179,6 +182,7 @@ $mirrors = {
'https://mirrors.ucr.ac.cr/CTAN/' => 1,
},
'USA' => {
+ 'http://mirrors.ibiblio.org/pub/mirrors/CTAN/' => 1,
'https://ctan.math.illinois.edu/' => 1,
'https://ctan.math.utah.edu/ctan/tex-archive/' => 1,
'https://ctan.math.washington.edu/tex-archive/' => 1,