summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/bibtex/bib
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-09-26 23:43:32 +0000
committerKarl Berry <karl@freefriends.org>2023-09-26 23:43:32 +0000
commit4e19119c888357bffdde891a22b64738e4a3cee1 (patch)
treedd8d05985334e403f890e94ed56f822da1ab0fa6 /Master/texmf-dist/bibtex/bib
parentdbae7a56b520c1b7c4fed88bb1bc0ea09abedfe9 (diff)
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@68380 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/bibtex/bib')
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook3.bib399
1 files changed, 389 insertions, 10 deletions
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",
+}