diff options
-rw-r--r-- | Master/doc.html | 33 | ||||
-rw-r--r-- | Master/texmf-dist/bibtex/bib/beebe/texbook3.bib | 399 | ||||
-rw-r--r-- | Master/tlpkg/installer/ctan-mirrors.pl | 4 |
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. +<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. @@ -18666,7 +18673,7 @@ Support for the journal "North-Western European Journal of Mathematics". <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. <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. <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. <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. <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. <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. <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. <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. <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. <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. <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. <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. <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, |