# bibtab

bibtype: proceedings
filename: elefunt.bib
label: Fukuda:2010:MSI
editor: Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama
volume: 6327
publisher: pub-SV
address: pub-SV:adr
pages: xvi + 368
year: 2010
DOI: https://doi.org/10.1007/978-3-642-15582-6
ISBN: 3-642-15581-2 (paperback), 3-642-15582-0 (e-book) OR 3642155812 (paperback), 3642155820 (ebook)
LCCN: QA76.95 .I5654 2010
bibdate: Sat Aug 9 14:06:27 MDT 2014
bibtimestamp: 2014.08.09 14:06:27 MDT
series: ser-LNCS
URL: http://link.springer.com/book/10.1007/978-3-642-15582-6
subject: Mathematics; Data processing; Congresses; Computer software
acknowledgement: ack-nhfb
raweditor: Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama
booktitle:
Mathematical software --- ICMS 2010: third International Congress on Mathematical Software, Kobe, Japan, September 13--17, 2010: proceedings

title:
Mathematical software --- ICMS 2010: third International Congress on Mathematical Software, Kobe, Japan, September 13--17, 2010: proceedings

ISBN13:
978-3-642-15581-9 (paperback), 978-3-642-15582-6 (e-book) OR 9783642155819 (paperback), 9783642155826 (ebook)

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/lncs.bib; https://www.math.utah.edu/pub/tex/bib/lncs2010a.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/matlab.bib; z3950.loc.gov:7090/Voyager

TOC:
Plenary Computational Discrete Geometry / Thomas C. Hales / 1--3 Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems / Masakazu Kojima / 4--9 Reliable and Efficient Geometric Computing / Kurt Mehlhorn / 10--11 The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB / Burcin Erocal, William Stein / 12--27 Computation of Special Functions (Invited) Sollya: An Environment for the Development of Numerical Codes / Sylvain Chevillard, Mioara Jolde , Christoph Lauter / 28--31 Validated Special Functions Software / Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Joris Van Deun / 32--34 The Dynamic Dictionary of Mathematical Functions (DDMF) / Alexandre Benoit, Frederic Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy / 35--41 Reliable Computing with GNU MPFR / Paul Zimmermann / 42--45 Computational Group Theory (Invited) Simplicial Cohomology of Smooth Orbifolds in GAP / Mohamed Barakat, Simon Gortzen / 46--49 Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases / Bettina Eick, Max Horn / 50--53 Constructive Membership Testing in Black-Box Classical Groups / Sophie Ambrose, Scott H. Murray, Cheryl E. Praeger, Csaba Schneider / 54--57 Computational Group Theory (Contributed) Towards High-Performance Computational Algebra with GAP / Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lubeck, Max Neunhoeffer / 58--61 An Improvement of a Function Computing Normalizers for Permutation Groups / Izumi Miyamoto / 62--68 A GAP Package for Computation with Coherent Configurations / Dmitrii V. Pasechnik, Keshav Kini / 69--72 Computer Algebra (Invited) CoCoALib: A C++ Library for Computations in Commutative Algebra ldots and Beyond / John Abbott, Anna M. Bigatti / 73--76 LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation / Jean-Guillaume Dumas, Thierry Gautier, Clement Pernet, B. David Saunders / 77--83 FGb: A Library for Computing Grobner Bases / Jean-Charles Faugere / 84--87 Fast Library for Number Theory: An Introduction / William B. Hart / 88--91 Exact Numeric Computation for Algebraic and Geometric Computation (Invited) Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic / Dan Halperin / 92--95 Exact Numeric Computation for Algebraic and Geometric Computation (Invited) Exact Geometric and Algebraic Computations in CGAL / Menelaos I. Karavelas / 96--99 On Solving Systems of Bivariate Polynomials / Fabrice Rouillier / 100--104 Accurate and Reliable Computing in Floating-Point Arithmetic / Siegfried M. Rump / 105--108 Exact Numeric Computation for Algebraic and Geometric Computation (Contributed) Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags / Marc Morig / 109--120 The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra / Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herve Bronnimann / 121--141 Formal Proof (Invited) Introducing HOL Zero / Mark Adams / 142--143 Euler s Polyhedron Formula in mizar / Jesse Alama / 144--147 Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? / R. D. Arthan / 148--148 Linear Programs for the Kepler Conjecture / Thomas C. Hales / 149--151 A Formal Proof of Pick s Theorem / John Harrison / 152--154 Formal Proof (Contributed) Evaluation of Automated Theorem Proving on the Mizar Mathematical Library / Josef Urban, Krystof Hoder, Andrei Voronkov / 155--166 Geometry and Visualization (Invited) On Local Deformations of Planar Quad-Meshes / Tim Hoffmann / 167--169 Construction of Harmonic Surfaces with Prescribed Geometry / Matthias Weber / 170--173 Geometry and Visualization (Contributed) A Library of OpenGL-Based Mathematical Image Filters / Martin von Gagern, Christian Mercat / 174--185 MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems / Antonio Mucherino, Leo Liberti, Carlile Lavor / 186--197 TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory / Jan Reininghaus, David Gunther, Ingrid Hotz, Steffen Prohaska, Hans-Christian Hege / 198--208 Groebner Bases and Applications (Invited) Introduction to Normaliz 2.5 / Winfried Bruns, Bogdan Ichim, Christof Soger / 209--212 Computer Algebra Methods in Tropical Geometry / Thomas Markwig / 213--216 Groebner Bases and Applications (Contributed) A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic / Rocio Blanco / 217--220 An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals / Hiromasa Nakayama, Kenta Nishiyama / 221--232 Groebner Bases and Applications (Contributed) New Algorithms for Computing Primary Decomposition of Polynomial Ideals / Masayuki Noro / 233--244 An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra / Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger / 245--248 Operadic Grobner Bases: An Implementation / Vladimir Dotsenko, Mikael Vejdemo-Johansson / 249--252 Number Theoretical Software (Invited) Magma - A Tool for Number Theory / John Cannon, Steve Donnelly, Claus Fieker, Mark Watkins / 253--255 Number Theoretical Software (Contributed) Enumerating Galois Representations in Sage / Craig Citro, Alexandru Ghitza / 256--259 NZMATH 1.0 / Satoru Tanaka, Naoki Ogura, Ken Nakamula, Tetsushi Matsui, Shigenori Uchiyama / 260--269 Software for Optimization and Polyhedral Computation (Invited) Removing Redundant Quadratic Constraints / David Adjiashvili, Michel Baes, Philipp Rostalski / 270--281 Traversing Symmetric Polyhedral Fans / Anders Nedergaard Jensen / 282--294 C++ Tools for Exploiting Polyhedral Symmetries / Thomas Rehn, Achill Schurmann / 295--298 isl: An Integer Set Library for the Polyhedral Model / Sven Verdoolaege / 299--302 Software for Optimization and Polyhedral Computation (Contributed) The Reformulation-Optimization Software Engine / Leo Liberti, Sonia Cafieri, David Savourey / 303--314 Generating Smooth Lattice Polytopes / Christian Haase, Benjamin Lorenz, Andreas Paffenholz / 315--328 Reliable Computation (Invited) Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations / Gregoire Lecerf / 329--332 Complex Inclusion Functions in the CoStLy C++ Class Library / Markus Neher / 333--336 Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries / Nathalie Revol / 337--341 Reliable Computation (Contributed) Efficient Evaluation of Large Polynomials / Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie / 342--353 Communicating Functional Expressions from Mathematica to C-XSC / Evgenija D. Popova, Walter Kramer / 354--365 Author Index / 367--368

rawbooktitle:
{Mathematical software --- ICMS 2010: third International Congress on Mathematical Software, K{\=o}be, Japan, September 13--17, 2010: proceedings}

rawtitle:
{Mathematical software --- ICMS 2010: third International Congress on Mathematical Software, K{\=o}be, Japan, September 13--17, 2010: proceedings}

rawTOC:
Plenary \\ Computational Discrete Geometry / Thomas C. Hales / 1--3 \\ Exploiting Structured Sparsity in Large Scale Semidefinite Programming Problems / Masakazu Kojima / 4--9 \\ Reliable and Efficient Geometric Computing / Kurt Mehlhorn / 10--11 \\ The Sage Project: Unifying Free Mathematical Software to Create a Viable Alternative to Magma, Maple, Mathematica and MATLAB / Bur{\c{c}}in Er{\"o}cal, William Stein / 12--27 \\ Computation of Special Functions (Invited) \\ Sollya: An Environment for the Development of Numerical Codes / Sylvain Chevillard, Mioara Jolde , Christoph Lauter / 28--31 \\ Validated Special Functions Software / Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Joris Van Deun / 32--34 \\ The Dynamic Dictionary of Mathematical Functions (DDMF) / Alexandre Benoit, Fr{\'e}d{\'e}ric Chyzak, Alexis Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy / 35--41 \\ Reliable Computing with GNU MPFR / Paul Zimmermann / 42--45 \\ Computational Group Theory (Invited) \\ Simplicial Cohomology of Smooth Orbifolds in GAP / Mohamed Barakat, Simon G{\"o}rtzen / 46--49 \\ Computing Polycyclic Quotients of Finitely (L-)Presented Groups via Groebner Bases / Bettina Eick, Max Horn / 50--53 \\ Constructive Membership Testing in Black-Box Classical Groups / Sophie Ambrose, Scott H. Murray, Cheryl E. Praeger, Csaba Schneider / 54--57 \\ Computational Group Theory (Contributed) \\ Towards High-Performance Computational Algebra with GAP / Reimer Behrends, Alexander Konovalov, Steve Linton, Frank L{\"u}beck, Max Neunh{\"o}effer / 58--61 \\ An Improvement of a Function Computing Normalizers for Permutation Groups / Izumi Miyamoto / 62--68 \\ A GAP Package for Computation with Coherent Configurations / Dmitrii V. Pasechnik, Keshav Kini / 69--72 \\ Computer Algebra (Invited) \\ CoCoALib: A C++ Library for Computations in Commutative Algebra \ldots{} and Beyond / John Abbott, Anna M. Bigatti / 73--76 \\ LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation / Jean-Guillaume Dumas, Thierry Gautier, Cl{\'e}ment Pernet, B. David Saunders / 77--83 \\ FGb: A Library for Computing Gr{\"o}bner Bases / Jean-Charles Faug{\`e}re / 84--87 \\ Fast Library for Number Theory: An Introduction / William B. Hart / 88--91 \\ Exact Numeric Computation for Algebraic and Geometric Computation (Invited) \\ Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic / Dan Halperin / 92--95 \\ Exact Numeric Computation for Algebraic and Geometric Computation (Invited) \\ Exact Geometric and Algebraic Computations in CGAL / Menelaos I. Karavelas / 96--99 \\ On Solving Systems of Bivariate Polynomials / Fabrice Rouillier / 100--104 \\ Accurate and Reliable Computing in Floating-Point Arithmetic / Siegfried M. Rump / 105--108 \\ Exact Numeric Computation for Algebraic and Geometric Computation (Contributed) \\ Deferring Dag Construction by Storing Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags / Marc M{\"o}rig / 109--120 \\ The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra / Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv{\'e} Br{\"o}nnimann / 121--141 \\ Formal Proof (Invited) \\ Introducing HOL Zero / Mark Adams / 142--143 \\ Euler s Polyhedron Formula in mizar / Jesse Alama / 144--147 \\ Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? / R. D. Arthan / 148--148 \\ Linear Programs for the Kepler Conjecture / Thomas C. Hales / 149--151 \\ A Formal Proof of Pick s Theorem / John Harrison / 152--154 \\ Formal Proof (Contributed) \\ Evaluation of Automated Theorem Proving on the Mizar Mathematical Library / Josef Urban, Krystof Hoder, Andrei Voronkov / 155--166 \\ Geometry and Visualization (Invited) \\ On Local Deformations of Planar Quad-Meshes / Tim Hoffmann / 167--169 \\ Construction of Harmonic Surfaces with Prescribed Geometry / Matthias Weber / 170--173 \\ Geometry and Visualization (Contributed) \\ A Library of OpenGL-Based Mathematical Image Filters / Martin von Gagern, Christian Mercat / 174--185 \\ MD-jeep: An Implementation of a Branch and Prune Algorithm for Distance Geometry Problems / Antonio Mucherino, Leo Liberti, Carlile Lavor / 186--197 \\ TADD: A Computational Framework for Data Analysis Using Discrete Morse Theory / Jan Reininghaus, David G{\"u}nther, Ingrid Hotz, Steffen Prohaska, Hans-Christian Hege / 198--208 \\ Groebner Bases and Applications (Invited) \\ Introduction to Normaliz 2.5 / Winfried Bruns, Bogdan Ichim, Christof S{\"o}ger / 209--212 \\ Computer Algebra Methods in Tropical Geometry / Thomas Markwig / 213--216 \\ Groebner Bases and Applications (Contributed) \\ A New Desingularization Algorithm for Binomial Varieties in Arbitrary Characteristic / Roc{\'\i}o Blanco / 217--220 \\ An Algorithm of Computing Inhomogeneous Differential Equations for Definite Integrals / Hiromasa Nakayama, Kenta Nishiyama / 221--232 \\ Groebner Bases and Applications (Contributed) \\ New Algorithms for Computing Primary Decomposition of Polynomial Ideals / Masayuki Noro / 233--244 \\ An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra / Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger / 245--248 \\ Operadic Gr{\"o}bner Bases: An Implementation / Vladimir Dotsenko, Mikael Vejdemo-Johansson / 249--252 \\ Number Theoretical Software (Invited) \\ Magma - A Tool for Number Theory / John Cannon, Steve Donnelly, Claus Fieker, Mark Watkins / 253--255 \\ Number Theoretical Software (Contributed) \\ Enumerating Galois Representations in Sage / Craig Citro, Alexandru Ghitza / 256--259 \\ NZMATH 1.0 / Satoru Tanaka, Naoki Ogura, Ken Nakamula, Tetsushi Matsui, Shigenori Uchiyama / 260--269 \\ Software for Optimization and Polyhedral Computation (Invited) \\ Removing Redundant Quadratic Constraints / David Adjiashvili, Michel Baes, Philipp Rostalski / 270--281 \\ Traversing Symmetric Polyhedral Fans / Anders Nedergaard Jensen / 282--294 \\ C++ Tools for Exploiting Polyhedral Symmetries / Thomas Rehn, Achill Sch{\"u}rmann / 295--298 \\ isl: An Integer Set Library for the Polyhedral Model / Sven Verdoolaege / 299--302 \\ Software for Optimization and Polyhedral Computation (Contributed) \\ The Reformulation-Optimization Software Engine / Leo Liberti, Sonia Cafieri, David Savourey / 303--314 \\ Generating Smooth Lattice Polytopes / Christian Haase, Benjamin Lorenz, Andreas Paffenholz / 315--328 \\ Reliable Computation (Invited) \\ Mathemagix: Towards Large Scale Programming for Symbolic and Certified Numeric Computations / Gr{\'e}goire Lecerf / 329--332 \\ Complex Inclusion Functions in the CoStLy C++ Class Library / Markus Neher / 333--336 \\ Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries / Nathalie Revol / 337--341 \\ Reliable Computation (Contributed) \\ Efficient Evaluation of Large Polynomials / Charles E. Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie / 342--353 \\ Communicating Functional Expressions from Mathematica to C-XSC / Evgenija D. Popova, Walter Kr{\"a}mer / 354--365 \\ Author Index / 367--368

entry:
@Proceedings{Fukuda:2010:MSI,
  editor =       "Komei Fukuda and Joris van der Hoeven and Michael
                 Joswig and Nobuki Takayama",
  booktitle =    "{Mathematical software --- ICMS 2010: third
                 International Congress on Mathematical Software,
                 K{\=o}be, Japan, September 13--17, 2010: proceedings}",
  title =        "{Mathematical software --- ICMS 2010: third
                 International Congress on Mathematical Software,
                 K{\=o}be, Japan, September 13--17, 2010: proceedings}",
  volume =       "6327",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xvi + 368",
  year =         "2010",
  DOI =          "https://doi.org/10.1007/978-3-642-15582-6",
  ISBN =         "3-642-15581-2 (paperback), 3-642-15582-0 (e-book)",
  ISBN-13 =      "978-3-642-15581-9 (paperback), 978-3-642-15582-6
                 (e-book)",
  LCCN =         "QA76.95 .I5654 2010",
  bibdate =      "Sat Aug 9 14:06:27 MDT 2014",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/lncs.bib;
                 https://www.math.utah.edu/pub/tex/bib/lncs2010a.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/matlab.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       ser-LNCS,
  URL =          "http://link.springer.com/book/10.1007/978-3-642-15582-6",
  acknowledgement = ack-nhfb,
  subject =      "Mathematics; Data processing; Congresses; Computer
                 software",
  tableofcontents = "Plenary \\
                 Computational Discrete Geometry / Thomas C. Hales /
                 1--3 \\
                 Exploiting Structured Sparsity in Large Scale
                 Semidefinite Programming Problems / Masakazu Kojima /
                 4--9 \\
                 Reliable and Efficient Geometric Computing / Kurt
                 Mehlhorn / 10--11 \\
                 The Sage Project: Unifying Free Mathematical Software
                 to Create a Viable Alternative to Magma, Maple,
                 Mathematica and MATLAB / Bur{\c{c}}in Er{\"o}cal,
                 William Stein / 12--27 \\
                 Computation of Special Functions (Invited) \\
                 Sollya: An Environment for the Development of Numerical
                 Codes / Sylvain Chevillard, Mioara Jolde , Christoph
                 Lauter / 28--31 \\
                 Validated Special Functions Software / Annie Cuyt,
                 Franky Backeljauw, Stefan Becuwe, Joris Van Deun /
                 32--34 \\
                 The Dynamic Dictionary of Mathematical Functions (DDMF)
                 / Alexandre Benoit, Fr{\'e}d{\'e}ric Chyzak, Alexis
                 Darrasse, Stefan Gerhold, Marc Mezzarobba, Bruno Salvy
                 / 35--41 \\
                 Reliable Computing with GNU MPFR / Paul Zimmermann /
                 42--45 \\
                 Computational Group Theory (Invited) \\
                 Simplicial Cohomology of Smooth Orbifolds in GAP /
                 Mohamed Barakat, Simon G{\"o}rtzen / 46--49 \\
                 Computing Polycyclic Quotients of Finitely
                 (L-)Presented Groups via Groebner Bases / Bettina Eick,
                 Max Horn / 50--53 \\
                 Constructive Membership Testing in Black-Box Classical
                 Groups / Sophie Ambrose, Scott H. Murray, Cheryl E.
                 Praeger, Csaba Schneider / 54--57 \\
                 Computational Group Theory (Contributed) \\
                 Towards High-Performance Computational Algebra with GAP
                 / Reimer Behrends, Alexander Konovalov, Steve Linton,
                 Frank L{\"u}beck, Max Neunh{\"o}effer / 58--61 \\
                 An Improvement of a Function Computing Normalizers for
                 Permutation Groups / Izumi Miyamoto / 62--68 \\
                 A GAP Package for Computation with Coherent
                 Configurations / Dmitrii V. Pasechnik, Keshav Kini /
                 69--72 \\
                 Computer Algebra (Invited) \\
                 CoCoALib: A C++ Library for Computations in Commutative
                 Algebra \ldots{} and Beyond / John Abbott, Anna M.
                 Bigatti / 73--76 \\
                 LinBox Founding Scope Allocation, Parallel Building
                 Blocks, and Separate Compilation / Jean-Guillaume
                 Dumas, Thierry Gautier, Cl{\'e}ment Pernet, B. David
                 Saunders / 77--83 \\
                 FGb: A Library for Computing Gr{\"o}bner Bases /
                 Jean-Charles Faug{\`e}re / 84--87 \\
                 Fast Library for Number Theory: An Introduction /
                 William B. Hart / 88--91 \\
                 Exact Numeric Computation for Algebraic and Geometric
                 Computation (Invited) \\
                 Controlled Perturbation for Certified Geometric
                 Computing with Fixed-Precision Arithmetic / Dan
                 Halperin / 92--95 \\
                 Exact Numeric Computation for Algebraic and Geometric
                 Computation (Invited) \\
                 Exact Geometric and Algebraic Computations in CGAL /
                 Menelaos I. Karavelas / 96--99 \\
                 On Solving Systems of Bivariate Polynomials / Fabrice
                 Rouillier / 100--104 \\
                 Accurate and Reliable Computing in Floating-Point
                 Arithmetic / Siegfried M. Rump / 105--108 \\
                 Exact Numeric Computation for Algebraic and Geometric
                 Computation (Contributed) \\
                 Deferring Dag Construction by Storing Sums of Floats
                 Speeds-Up Exact Decision Computations Based on
                 Expression Dags / Marc M{\"o}rig / 109--120 \\
                 The Design of Core 2: A Library for Exact Numeric
                 Computation in Geometry and Algebra / Jihun Yu, Chee
                 Yap, Zilin Du, Sylvain Pion, Herv{\'e} Br{\"o}nnimann /
                 121--141 \\
                 Formal Proof (Invited) \\
                 Introducing HOL Zero / Mark Adams / 142--143 \\
                 Euler s Polyhedron Formula in mizar / Jesse Alama /
                 144--147 \\
                 Building a Library of Mechanized Mathematical Proofs:
                 Why Do It? and What Is It Like to Do? / R. D. Arthan /
                 148--148 \\
                 Linear Programs for the Kepler Conjecture / Thomas C.
                 Hales / 149--151 \\
                 A Formal Proof of Pick s Theorem / John Harrison /
                 152--154 \\
                 Formal Proof (Contributed) \\
                 Evaluation of Automated Theorem Proving on the Mizar
                 Mathematical Library / Josef Urban, Krystof Hoder,
                 Andrei Voronkov / 155--166 \\
                 Geometry and Visualization (Invited) \\
                 On Local Deformations of Planar Quad-Meshes / Tim
                 Hoffmann / 167--169 \\
                 Construction of Harmonic Surfaces with Prescribed
                 Geometry / Matthias Weber / 170--173 \\
                 Geometry and Visualization (Contributed) \\
                 A Library of OpenGL-Based Mathematical Image Filters /
                 Martin von Gagern, Christian Mercat / 174--185 \\
                 MD-jeep: An Implementation of a Branch and Prune
                 Algorithm for Distance Geometry Problems / Antonio
                 Mucherino, Leo Liberti, Carlile Lavor / 186--197 \\
                 TADD: A Computational Framework for Data Analysis Using
                 Discrete Morse Theory / Jan Reininghaus, David
                 G{\"u}nther, Ingrid Hotz, Steffen Prohaska,
                 Hans-Christian Hege / 198--208 \\
                 Groebner Bases and Applications (Invited) \\
                 Introduction to Normaliz 2.5 / Winfried Bruns, Bogdan
                 Ichim, Christof S{\"o}ger / 209--212 \\
                 Computer Algebra Methods in Tropical Geometry / Thomas
                 Markwig / 213--216 \\
                 Groebner Bases and Applications (Contributed) \\
                 A New Desingularization Algorithm for Binomial
                 Varieties in Arbitrary Characteristic / Roc{\'\i}o
                 Blanco / 217--220 \\
                 An Algorithm of Computing Inhomogeneous Differential
                 Equations for Definite Integrals / Hiromasa Nakayama,
                 Kenta Nishiyama / 221--232 \\
                 Groebner Bases and Applications (Contributed) \\
                 New Algorithms for Computing Primary Decomposition of
                 Polynomial Ideals / Masayuki Noro / 233--244 \\
                 An Automated Confluence Proof for an Infinite Rewrite
                 System Parametrized over an Integro-Differential
                 Algebra / Loredana Tec, Georg Regensburger, Markus
                 Rosenkranz, Bruno Buchberger / 245--248 \\
                 Operadic Gr{\"o}bner Bases: An Implementation /
                 Vladimir Dotsenko, Mikael Vejdemo-Johansson / 249--252
                 \\
                 Number Theoretical Software (Invited) \\
                 Magma - A Tool for Number Theory / John Cannon, Steve
                 Donnelly, Claus Fieker, Mark Watkins / 253--255 \\
                 Number Theoretical Software (Contributed) \\
                 Enumerating Galois Representations in Sage / Craig
                 Citro, Alexandru Ghitza / 256--259 \\
                 NZMATH 1.0 / Satoru Tanaka, Naoki Ogura, Ken Nakamula,
                 Tetsushi Matsui, Shigenori Uchiyama / 260--269 \\
                 Software for Optimization and Polyhedral Computation
                 (Invited) \\
                 Removing Redundant Quadratic Constraints / David
                 Adjiashvili, Michel Baes, Philipp Rostalski / 270--281
                 \\
                 Traversing Symmetric Polyhedral Fans / Anders
                 Nedergaard Jensen / 282--294 \\
                 C++ Tools for Exploiting Polyhedral Symmetries / Thomas
                 Rehn, Achill Sch{\"u}rmann / 295--298 \\
                 isl: An Integer Set Library for the Polyhedral Model /
                 Sven Verdoolaege / 299--302 \\
                 Software for Optimization and Polyhedral Computation
                 (Contributed) \\
                 The Reformulation-Optimization Software Engine / Leo
                 Liberti, Sonia Cafieri, David Savourey / 303--314 \\
                 Generating Smooth Lattice Polytopes / Christian Haase,
                 Benjamin Lorenz, Andreas Paffenholz / 315--328 \\
                 Reliable Computation (Invited) \\
                 Mathemagix: Towards Large Scale Programming for
                 Symbolic and Certified Numeric Computations /
                 Gr{\'e}goire Lecerf / 329--332 \\
                 Complex Inclusion Functions in the CoStLy C++ Class
                 Library / Markus Neher / 333--336 \\
                 Standardized Interval Arithmetic and Interval
                 Arithmetic Used in Libraries / Nathalie Revol /
                 337--341 \\
                 Reliable Computation (Contributed) \\
                 Efficient Evaluation of Large Polynomials / Charles E.
                 Leiserson, Liyun Li, Marc Moreno Maza, Yuzhen Xie /
                 342--353 \\
                 Communicating Functional Expressions from Mathematica
                 to C-XSC / Evgenija D. Popova, Walter Kr{\"a}mer /
                 354--365 \\
                 Author Index / 367--368",
}


bibtype: book
filename: elefunt.bib
label: Olver:2010:NHM
editor: Frank W. J. Olver and Daniel W. Lozier and Ronald F. Boisvert and Charles W. Clark
booktitle: NIST Handbook of Mathematical Functions
title: NIST Handbook of Mathematical Functions
publisher: pub-CAMBRIDGE
address: pub-CAMBRIDGE:adr
pages: xv + 951
year: 2010
ISBN: 0-521-19225-0 OR 0521192250
ISBN13: 978-0-521-19225-5 OR 9780521192255
LCCN: QA331 .N57 2010
bibdate: Sat May 15 09:08:09 2010
bibtimestamp: 2010.05.15 09:08:09 ???
URL: http://dlmf.nist.gov/; http://www.cambridge.org/9780521140638
remark: Includes a DVD with a searchable PDF of each chapter.
acknowledgement: ack-nhfb
key: NIST
rawbooktitle: {NIST} Handbook of Mathematical Functions
raweditor: Frank W. J. Olver and Daniel W. Lozier and Ronald F. Boisvert and Charles W. Clark
rawtitle: {NIST} Handbook of Mathematical Functions
bibsource:
https://www.math.utah.edu/pub/bibnet/authors/l/lanczos-cornelius.bib; https://www.math.utah.edu/pub/bibnet/authors/w/wigner-eugene.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/master.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

TOC:
1. Algebraic and analytic methods [Ranjan Roy, Frank W. J. Olver, Richard A. Askey and Roderick S. C. Wong] 2. Asymptotic approximations [Frank W. J. Olver and Roderick S. C. Wong] 3. Numerical methods [Nico M. Temme] 4. Elementary functions [Ranjan Roy and Frank W. J. Olver] 5. Gamma function [Richard A. Askey and Ranjan Roy] 6. Exponential, logarithmic, sine and cosine integrals [Nico M. Temme] 7. Error functions, Dawson's and Fresnel integrals [Nico M. Temme] 8. Incomplete gamma and related functions [Richard B. Paris] 9. Airy and related functions [Frank W. J. Olver] 10. Bessel functions [Frank W. J. Olver and Leonard C. Maximon] 11. Struve and related functions [Richard B. Paris] 12. Parabolic cylinder functions [Nico M. Temme] 13. Confluent hypergeometric functions [Adri B. Olde Daalhuis] 14. Legendre and related functions [T. Mark Dunster] 15. Hypergeometric function [Adri B. Olde Daalhuis] 16. Generalized hypergeometric functions and Meijer G-function [Richard A. Askey and Adri B. Olde Daalhuis] 17. q-Hypergeometric and related functions [George E. Andrews] 18. Orthogonal polynomials [Tom H. Koornwinder, Roderick S. C. Wong, Roelof Koekoek and Rene F. Swarttouw] 19. Elliptic integrals [Bille C. Carlson] 20. Theta functions [William P. Reinhardt and Peter L. Walker] 21. Multidimensional theta functions [Bernard Deconinck] 22. Jacobian elliptic functions [William P. Reinhardt and Peter L. Walker] 23. Weierstrass elliptic and modular functions [William P. Reinhardt and Peter L. Walker] 24. Bernoulli and Euler polynomials [Karl Dilcher] 25. Zeta and related functions [Tom M. Apostol] 26. Combinatorial analysis [David M. Bressoud] 27. Functions of number theory [Tom M. Apostol] 28. Mathieu functions and Hill's equation [Gerhard Wolf] 29. Lame functions [Hans Volkmer] 30. Spheroidal wave functions [Hans Volkmer] 31. Heun functions [Brian D. Sleeman and Vadim Kuznetsov] 32. Painleve transcendents [Peter A. Clarkson] 33. Coulomb functions [Ian J. Thompson] 34. 3j, 6j, 9j symbols [Leonard C. Maximon] 35. Functions of matrix argument [Donald St. P. Richards] 36. Integrals with coalescing saddles [Michael V. Berry and Chris Howls]

rawTOC:
1. Algebraic and analytic methods [Ranjan Roy, Frank W. J. Olver, Richard A. Askey and Roderick S. C. Wong] \\ 2. Asymptotic approximations [Frank W. J. Olver and Roderick S. C. Wong] \\ 3. Numerical methods [Nico M. Temme] \\ 4. Elementary functions [Ranjan Roy and Frank W. J. Olver] \\ 5. Gamma function [Richard A. Askey and Ranjan Roy] \\ 6. Exponential, logarithmic, sine and cosine integrals [Nico M. Temme] \\ 7. Error functions, Dawson's and Fresnel integrals [Nico M. Temme] \\ 8. Incomplete gamma and related functions [Richard B. Paris] \\ 9. Airy and related functions [Frank W. J. Olver] \\ 10. Bessel functions [Frank W. J. Olver and Leonard C. Maximon] \\ 11. Struve and related functions [Richard B. Paris] \\ 12. Parabolic cylinder functions [Nico M. Temme] \\ 13. Confluent hypergeometric functions [Adri B. Olde Daalhuis] \\ 14. Legendre and related functions [T. Mark Dunster] \\ 15. Hypergeometric function [Adri B. Olde Daalhuis] \\ 16. Generalized hypergeometric functions and Meijer G-function [Richard A. Askey and Adri B. Olde Daalhuis] \\ 17. q-Hypergeometric and related functions [George E. Andrews] \\ 18. Orthogonal polynomials [Tom H. Koornwinder, Roderick S. C. Wong, Roelof Koekoek and Rene F. Swarttouw] \\ 19. Elliptic integrals [Bille C. Carlson] \\ 20. Theta functions [William P. Reinhardt and Peter L. Walker] \\ 21. Multidimensional theta functions [Bernard Deconinck] \\ 22. Jacobian elliptic functions [William P. Reinhardt and Peter L. Walker] \\ 23. Weierstrass elliptic and modular functions [William P. Reinhardt and Peter L. Walker] \\ 24. Bernoulli and Euler polynomials [Karl Dilcher] \\ 25. Zeta and related functions [Tom M. Apostol] \\ 26. Combinatorial analysis [David M. Bressoud] \\ 27. Functions of number theory [Tom M. Apostol] \\ 28. Mathieu functions and Hill's equation [Gerhard Wolf] \\ 29. Lam{\'e} functions [Hans Volkmer] \\ 30. Spheroidal wave functions [Hans Volkmer] \\ 31. Heun functions [Brian D. Sleeman and Vadim Kuznetsov] \\ 32. Painlev{\'e} transcendents [Peter A. Clarkson] \\ 33. Coulomb functions [Ian J. Thompson] \\ 34. 3j, 6j, 9j symbols [Leonard C. Maximon] \\ 35. Functions of matrix argument [Donald St. P. Richards] \\ 36. Integrals with coalescing saddles [Michael V. Berry and Chris Howls]

entry:
@Book{Olver:2010:NHM,
  editor =       "Frank W. J. Olver and Daniel W. Lozier and Ronald F.
                 Boisvert and Charles W. Clark",
  key =          "NIST",
  booktitle =    "{NIST} Handbook of Mathematical Functions",
  title =        "{NIST} Handbook of Mathematical Functions",
  publisher =    pub-CAMBRIDGE,
  address =      pub-CAMBRIDGE:adr,
  pages =        "xv + 951",
  year =         "2010",
  ISBN =         "0-521-19225-0",
  ISBN-13 =      "978-0-521-19225-5",
  LCCN =         "QA331 .N57 2010",
  bibdate =      "Sat May 15 09:08:09 2010",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/l/lanczos-cornelius.bib;
                 https://www.math.utah.edu/pub/bibnet/authors/w/wigner-eugene.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/master.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  price =        "US\$99.00",
  URL =          "http://dlmf.nist.gov/;
                 http://www.cambridge.org/9780521140638",
  acknowledgement = ack-nhfb,
  remark =       "Includes a DVD with a searchable PDF of each
                 chapter.",
  tableofcontents = "1. Algebraic and analytic methods [Ranjan Roy,
                 Frank W. J. Olver, Richard A. Askey and Roderick S. C.
                 Wong] \\
                 2. Asymptotic approximations [Frank W. J. Olver and
                 Roderick S. C. Wong] \\
                 3. Numerical methods [Nico M. Temme] \\
                 4. Elementary functions [Ranjan Roy and Frank W. J.
                 Olver] \\
                 5. Gamma function [Richard A. Askey and Ranjan Roy] \\
                 6. Exponential, logarithmic, sine and cosine integrals
                 [Nico M. Temme] \\
                 7. Error functions, Dawson's and Fresnel integrals
                 [Nico M. Temme] \\
                 8. Incomplete gamma and related functions [Richard B.
                 Paris] \\
                 9. Airy and related functions [Frank W. J. Olver] \\
                 10. Bessel functions [Frank W. J. Olver and Leonard C.
                 Maximon] \\
                 11. Struve and related functions [Richard B. Paris] \\
                 12. Parabolic cylinder functions [Nico M. Temme] \\
                 13. Confluent hypergeometric functions [Adri B. Olde
                 Daalhuis] \\
                 14. Legendre and related functions [T. Mark Dunster]
                 \\
                 15. Hypergeometric function [Adri B. Olde Daalhuis] \\
                 16. Generalized hypergeometric functions and Meijer
                 G-function [Richard A. Askey and Adri B. Olde Daalhuis]
                 \\
                 17. q-Hypergeometric and related functions [George E.
                 Andrews] \\
                 18. Orthogonal polynomials [Tom H. Koornwinder,
                 Roderick S. C. Wong, Roelof Koekoek and Rene F.
                 Swarttouw] \\
                 19. Elliptic integrals [Bille C. Carlson] \\
                 20. Theta functions [William P. Reinhardt and Peter L.
                 Walker] \\
                 21. Multidimensional theta functions [Bernard
                 Deconinck] \\
                 22. Jacobian elliptic functions [William P. Reinhardt
                 and Peter L. Walker] \\
                 23. Weierstrass elliptic and modular functions [William
                 P. Reinhardt and Peter L. Walker] \\
                 24. Bernoulli and Euler polynomials [Karl Dilcher] \\
                 25. Zeta and related functions [Tom M. Apostol] \\
                 26. Combinatorial analysis [David M. Bressoud] \\
                 27. Functions of number theory [Tom M. Apostol] \\
                 28. Mathieu functions and Hill's equation [Gerhard
                 Wolf] \\
                 29. Lam{\'e} functions [Hans Volkmer] \\
                 30. Spheroidal wave functions [Hans Volkmer] \\
                 31. Heun functions [Brian D. Sleeman and Vadim
                 Kuznetsov] \\
                 32. Painlev{\'e} transcendents [Peter A. Clarkson] \\
                 33. Coulomb functions [Ian J. Thompson] \\
                 34. 3j, 6j, 9j symbols [Leonard C. Maximon] \\
                 35. Functions of matrix argument [Donald St. P.
                 Richards] \\
                 36. Integrals with coalescing saddles [Michael V. Berry
                 and Chris Howls]",
}


bibtype: proceedings
filename: elefunt.bib
label: Schost:2011:IPI
editor: Eric Schost and Ioannis Z. Emiris
publisher: pub-ACM
address: pub-ACM:adr
pages: 362 (est.)
year: 2011
ISBN: 1-4503-0675-6 OR 1450306756
ISBN13: 978-1-4503-0675-1 OR 9781450306751
LCCN: QA76.95 .I59 2011
bibdate: Fri Mar 14 12:24:11 2014
bibtimestamp: 2014.03.14 12:24:11 ???
acknowledgement: ack-nhfb
raweditor: {\'E}ric Schost and Ioannis Z. Emiris
booktitle:
ISSAC 2011: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, June 7--11, 2011, San Jose, CA, USA

title:
ISSAC 2011: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, June 7--11, 2011, San Jose, CA, USA

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/issac.bib; https://www.math.utah.edu/pub/tex/bib/maple-extract.bib; https://www.math.utah.edu/pub/tex/bib/mathematica.bib

rawbooktitle:
{ISSAC 2011: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, June 7--11, 2011, San Jose, CA, USA}

rawtitle:
{ISSAC 2011: Proceedings of the 2011 International Symposium on Symbolic and Algebraic Computation, June 7--11, 2011, San Jose, CA, USA}

entry:
@Proceedings{Schost:2011:IPI,
  editor =       "{\'E}ric Schost and Ioannis Z. Emiris",
  booktitle =    "{ISSAC 2011: Proceedings of the 2011 International
                 Symposium on Symbolic and Algebraic Computation, June
                 7--11, 2011, San Jose, CA, USA}",
  title =        "{ISSAC 2011: Proceedings of the 2011 International
                 Symposium on Symbolic and Algebraic Computation, June
                 7--11, 2011, San Jose, CA, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "362 (est.)",
  year =         "2011",
  ISBN =         "1-4503-0675-6",
  ISBN-13 =      "978-1-4503-0675-1",
  LCCN =         "QA76.95 .I59 2011",
  bibdate =      "Fri Mar 14 12:24:11 2014",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/issac.bib;
                 https://www.math.utah.edu/pub/tex/bib/maple-extract.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathematica.bib",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: elefunt.bib
label: Schwarz:2011:PIS
editor: Eric Schwarz and Vojin G. Oklobdzija
booktitle: Proceedings of the 20th IEEE Symposium on Computer Arithmetic, July 25--27, 2011, Tubingen, Germany
title: Proceedings of the 20th IEEE Symposium on Computer Arithmetic, July 25--27, 2011, Tubingen, Germany
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xix + 253
year: 2011
ISBN: 0-7695-4318-9, 1-4244-9457-5 OR 0769543189, 1424494575
ISBN13: 978-0-7695-4318-5, 978-1-4244-9457-6 OR 9780769543185, 9781424494576
LCCN: QA76.6
bibdate: Sat Aug 20 09:19:17 2011
bibtimestamp: 2011.08.20 09:19:17 ???
keywords: ARITH-20
acknowledgement: ack-nhfb
raweditor: Eric Schwarz and Vojin G. Oklobdzija
bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/master.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

TOC:
Foreword / ix Dedication / x Steering Committee / xv Symposium Committee / xvi Program Committee / xvii Additional Reviewers / xviii Corporate Sponsors / xix Session 1: Keynote Talk: Chair: Eric Schwarz and Vojin G. Oklobdzija High Intelligence Computing: The New Era of High Performance Computing / Ralf Fischer / 3 Session 2: Multiple-Precision Algorithms: Chair: Marius Cornea Short Division of Long Integers / David Harvey and Paul Zimmermann / 7 High Degree Toom'n'Half for Balanced and Unbalanced Multiplication / Marco Bodrato / 15 Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt($x^2 + y^2$) / Nicolas Brisebarre, Mioara Joldes, Peter Kornerup, Erik Martin-Dorel, and Jean-Michel Muller / 23 Session 3: Transcendental Methods: Chair: Naofumi Takagi Towards a Quaternion Complex Logarithmic Number System / Mark G. Arnold, John Cowles, Vassilis Paliouras, and Ioannis Kouretas / 33 ROM-less LNS / R. Che Ismail and J. N. Coleman / 43 Composite Iterative Algorithm and Architecture for q-th Root Calculation / Alvaro Vazquez and Javier D. Bruguera / 52 On the Fixed-Point Accuracy Analysis and Optimization of FFT Units with CORDIC Multipliers / Omid Sarbishei and Katarzyna Radecka / 62 Session 4: Special Session on Industrial Practices: Chair: Mike Schulte Self Checking in Current Floating-Point Units / Daniel Lipetz and Eric Schwarz / 73 How to Square Floats Accurately and Efficiently on the ST231 Integer Processor/ Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, and Guillaume Revy / 77 A 1.5 Ghz VLIW DSP CPU with Integrated Floating Point and Fixed Point Instructions in 40 nm CMOS / Timothy Anderson, Due Bui, Shriram Moharil, Soujanya Narnur, Mujibur Rahman, Anthony Lell, Eric Biscondi, Ashish Shrivastava, Peter Dent, Mingjian Yan, and Hasan Mahmood / 82 The POWER7 Binary Floating-Point Unit / Maarten Boersma, Michael Kroner, Christophe Layer, Petra Leber, Silvia M. Muller, and Kerstin Schelm / 87 Session 5: Addition: Chair: Alberto Nannarelli Accelerating Computations on FPGA Carry Chains by Operand Compaction / Thomas B. Preusss er, Martin Zabel, and Rainer G. Spallek / 95 Fast Ripple-Carry Adders in Standard-Cell CMOS VLSI / Neil Burgess / 103 A Family of High Radix Signed Digit Adders / Saeid Gorgin and Ghassem Jaberipur / 112 Session 6: Floating-Point Units: Chair: Javier Bruguera Fused Multiply-Add Microarchitecture Comprising Separate Early-Normalizing Multiply and Add Pipelines / David R. Lutz / 123 Latency Sensitive FMA Design / Sameh Galal and Mark Horowitz / 129 The IBM zEnterprise-196 Decimal Floating-Point Accelerator / Steven Carlough, Adam Collura, Silvia Mueller, and Michael Kroener / 139 Session 7: Division, Square-Root and Reciprocal Square-Root: Chair: Peter Kornerup Radix-8 Digit-by-Rounding: Achieving High-Performance Reciprocals, Square Roots, and Reciprocal Square Roots / J. Adam Butts, Ping Tak Peter Tang, Ron O. Dror, and David E. Shaw / 149 Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design / Ping Tak Peter Tang, J. Adam Butts, Ron O. Dror, and David E. Shaw / 159 Radix-16 Combined Division and Square Root Unit / Alberto Nannarelli / 169 A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal / David W. Matula and Mihai T. Panu / 177 Session 8: Special Session on High Performance Arithmetic for FPGA's: Chair: Martin Langhammer Teraflop FPGA Design / Martin Langhammer / 187 The Arithmetic Operators You Will Never See in a Microprocessor / Florent de Dinechin / 189 Accelerating Large-Scale HPC Applications Using FPGAs / Rob Dimond, Sebastien Racaniere, and Oliver Pell / 191 Session 9: Arithmetic Algorithms for Cryptography: Chair: David Matula A General Approach for Improving RNS Montgomery Exponentiation Using Pre-processing / Filippo Gandino, Fabrizio Lamberti, Paolo Montuschi, and Jean-Claude Bajard / 195 Bit-Sliced Binary Normal Basis Multiplication / Billy Bob Brumley and Dan Page / 205 Efficient SIMD Arithmetic Modulo a Mersenne Number / Joppe W. Bos, Thorsten Kleinjung, Arjen K. Lenstra, and Peter L. Montgomery / 213 Session 10: Tools for Formal Certified Code: Chair: Martin Schmookler Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound / Sylvain Chevillard / 225 Automatic Generation of Fast and Certified Code for Polynomial Evaluation / Christophe Mouilleron and Guillaume Revy / 233 Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq / Sylvie Boldo and Guillaume Melquiond / 243 Author Index / 253

rawbooktitle:
{Proceedings of the 20th IEEE Symposium on Computer Arithmetic, July 25--27, 2011, T{\"u}bingen, Germany}

rawtitle:
{Proceedings of the 20th IEEE Symposium on Computer Arithmetic, July 25--27, 2011, T{\"u}bingen, Germany}

rawTOC:
Foreword / ix \\ Dedication / x \\ Steering Committee / xv \\ Symposium Committee / xvi \\ Program Committee / xvii \\ Additional Reviewers / xviii \\ Corporate Sponsors / xix \\ Session 1: Keynote Talk: Chair: Eric Schwarz and Vojin G. Oklobdzija \\ High Intelligence Computing: The New Era of High Performance Computing / Ralf Fischer / 3 \\ Session 2: Multiple-Precision Algorithms: Chair: Marius Cornea \\ Short Division of Long Integers / David Harvey and Paul Zimmermann / 7 \\ High Degree Toom'n'Half for Balanced and Unbalanced Multiplication / Marco Bodrato / 15 \\ Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt($x^2 + y^2$) / Nicolas Brisebarre, Mioara Jolde{\c{s}}, Peter Kornerup, Erik Martin-Dorel, and Jean-Michel Muller / 23 \\ Session 3: Transcendental Methods: Chair: Naofumi Takagi \\ Towards a Quaternion Complex Logarithmic Number System / Mark G. Arnold, John Cowles, Vassilis Paliouras, and Ioannis Kouretas / 33 \\ ROM-less LNS / R. Che Ismail and J. N. Coleman / 43 \\ Composite Iterative Algorithm and Architecture for q-th Root Calculation / Alvaro Vazquez and Javier D. Bruguera / 52 \\ On the Fixed-Point Accuracy Analysis and Optimization of FFT Units with CORDIC Multipliers / Omid Sarbishei and Katarzyna Radecka / 62 \\ Session 4: Special Session on Industrial Practices: Chair: Mike Schulte \\ Self Checking in Current Floating-Point Units / Daniel Lipetz and Eric Schwarz / 73 \\ How to Square Floats Accurately and Efficiently on the ST231 Integer Processor/ Claude-Pierre Jeannerod, Jingyan Jourdan-Lu, Christophe Monat, and Guillaume Revy / 77 \\ A 1.5 Ghz VLIW DSP CPU with Integrated Floating Point and Fixed Point Instructions in 40 nm CMOS / Timothy Anderson, Due Bui, Shriram Moharil, Soujanya Narnur, Mujibur Rahman, Anthony Lell, Eric Biscondi, Ashish Shrivastava, Peter Dent, Mingjian Yan, and Hasan Mahmood / 82 \\ The POWER7 Binary Floating-Point Unit / Maarten Boersma, Michael Kroner, Christophe Layer, Petra Leber, Silvia M. Muller, and Kerstin Schelm / 87 \\ Session 5: Addition: Chair: Alberto Nannarelli \\ Accelerating Computations on FPGA Carry Chains by Operand Compaction / Thomas B. Preus{\ss}er, Martin Zabel, and Rainer G. Spallek / 95 \\ Fast Ripple-Carry Adders in Standard-Cell CMOS VLSI / Neil Burgess / 103 \\ A Family of High Radix Signed Digit Adders / Saeid Gorgin and Ghassem Jaberipur / 112 \\ Session 6: Floating-Point Units: Chair: Javier Bruguera \\ Fused Multiply-Add Microarchitecture Comprising Separate Early-Normalizing Multiply and Add Pipelines / David R. Lutz / 123 \\ Latency Sensitive FMA Design / Sameh Galal and Mark Horowitz / 129 \\ The IBM zEnterprise-196 Decimal Floating-Point Accelerator / Steven Carlough, Adam Collura, Silvia Mueller, and Michael Kroener / 139 \\ Session 7: Division, Square-Root and Reciprocal Square-Root: Chair: Peter Kornerup \\ Radix-8 Digit-by-Rounding: Achieving High-Performance Reciprocals, Square Roots, and Reciprocal Square Roots / J. Adam Butts, Ping Tak Peter Tang, Ron O. Dror, and David E. Shaw / 149 \\ Tight Certification Techniques for Digit-by-Rounding Algorithms with Application to a New 1/sqrt(x) Design / Ping Tak Peter Tang, J. Adam Butts, Ron O. Dror, and David E. Shaw / 159 \\ Radix-16 Combined Division and Square Root Unit / Alberto Nannarelli / 169 \\ A Prescale-Lookup-Postscale Additive Procedure for Obtaining a Single Precision Ulp Accurate Reciprocal / David W. Matula and Mihai T. Panu / 177 \\ Session 8: Special Session on High Performance Arithmetic for FPGA's: Chair: Martin Langhammer \\ Teraflop FPGA Design / Martin Langhammer / 187 \\ The Arithmetic Operators You Will Never See in a Microprocessor / Florent de Dinechin / 189 \\ Accelerating Large-Scale HPC Applications Using FPGAs / Rob Dimond, Sebastien Racaniere, and Oliver Pell / 191 \\ Session 9: Arithmetic Algorithms for Cryptography: Chair: David Matula \\ A General Approach for Improving RNS Montgomery Exponentiation Using Pre-processing / Filippo Gandino, Fabrizio Lamberti, Paolo Montuschi, and Jean-Claude Bajard / 195 \\ Bit-Sliced Binary Normal Basis Multiplication / Billy Bob Brumley and Dan Page / 205 \\ Efficient SIMD Arithmetic Modulo a Mersenne Number / Joppe W. Bos, Thorsten Kleinjung, Arjen K. Lenstra, and Peter L. Montgomery / 213 \\ Session 10: Tools for Formal Certified Code: Chair: Martin Schmookler \\ Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound / Sylvain Chevillard / 225 \\ Automatic Generation of Fast and Certified Code for Polynomial Evaluation / Christophe Mouilleron and Guillaume Revy / 233 \\ Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq / Sylvie Boldo and Guillaume Melquiond / 243 \\ Author Index / 253

entry:
@Proceedings{Schwarz:2011:PIS,
  editor =       "Eric Schwarz and Vojin G. Oklobdzija",
  booktitle =    "{Proceedings of the 20th IEEE Symposium on Computer
                 Arithmetic, July 25--27, 2011, T{\"u}bingen, Germany}",
  title =        "{Proceedings of the 20th IEEE Symposium on Computer
                 Arithmetic, July 25--27, 2011, T{\"u}bingen, Germany}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xix + 253",
  year =         "2011",
  ISBN =         "0-7695-4318-9, 1-4244-9457-5",
  ISBN-13 =      "978-0-7695-4318-5, 978-1-4244-9457-6",
  LCCN =         "QA76.6",
  bibdate =      "Sat Aug 20 09:19:17 2011",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/master.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-20",
  tableofcontents = "Foreword / ix \\
                 Dedication / x \\
                 Steering Committee / xv \\
                 Symposium Committee / xvi \\
                 Program Committee / xvii \\
                 Additional Reviewers / xviii \\
                 Corporate Sponsors / xix \\
                 Session 1: Keynote Talk: Chair: Eric Schwarz and Vojin
                 G. Oklobdzija \\
                 High Intelligence Computing: The New Era of High
                 Performance Computing / Ralf Fischer / 3 \\
                 Session 2: Multiple-Precision Algorithms: Chair: Marius
                 Cornea \\
                 Short Division of Long Integers / David Harvey and Paul
                 Zimmermann / 7 \\
                 High Degree Toom'n'Half for Balanced and Unbalanced
                 Multiplication / Marco Bodrato / 15 \\
                 Augmented Precision Square Roots and 2-D Norms, and
                 Discussion on Correctly Rounding sqrt($x^2 + y^2$) /
                 Nicolas Brisebarre, Mioara Jolde{\c{s}}, Peter
                 Kornerup, Erik Martin-Dorel, and Jean-Michel Muller /
                 23 \\
                 Session 3: Transcendental Methods: Chair: Naofumi
                 Takagi \\
                 Towards a Quaternion Complex Logarithmic Number System
                 / Mark G. Arnold, John Cowles, Vassilis Paliouras, and
                 Ioannis Kouretas / 33 \\
                 ROM-less LNS / R. Che Ismail and J. N. Coleman / 43 \\
                 Composite Iterative Algorithm and Architecture for q-th
                 Root Calculation / Alvaro Vazquez and Javier D.
                 Bruguera / 52 \\
                 On the Fixed-Point Accuracy Analysis and Optimization
                 of FFT Units with CORDIC Multipliers / Omid Sarbishei
                 and Katarzyna Radecka / 62 \\
                 Session 4: Special Session on Industrial Practices:
                 Chair: Mike Schulte \\
                 Self Checking in Current Floating-Point Units / Daniel
                 Lipetz and Eric Schwarz / 73 \\
                 How to Square Floats Accurately and Efficiently on the
                 ST231 Integer Processor/ Claude-Pierre Jeannerod,
                 Jingyan Jourdan-Lu, Christophe Monat, and Guillaume
                 Revy / 77 \\
                 A 1.5 Ghz VLIW DSP CPU with Integrated Floating Point
                 and Fixed Point Instructions in 40 nm CMOS / Timothy
                 Anderson, Due Bui, Shriram Moharil, Soujanya Narnur,
                 Mujibur Rahman, Anthony Lell, Eric Biscondi, Ashish
                 Shrivastava, Peter Dent, Mingjian Yan, and Hasan
                 Mahmood / 82 \\
                 The POWER7 Binary Floating-Point Unit / Maarten
                 Boersma, Michael Kroner, Christophe Layer, Petra Leber,
                 Silvia M. Muller, and Kerstin Schelm / 87 \\
                 Session 5: Addition: Chair: Alberto Nannarelli \\
                 Accelerating Computations on FPGA Carry Chains by
                 Operand Compaction / Thomas B. Preus{\ss}er, Martin
                 Zabel, and Rainer G. Spallek / 95 \\
                 Fast Ripple-Carry Adders in Standard-Cell CMOS VLSI /
                 Neil Burgess / 103 \\
                 A Family of High Radix Signed Digit Adders / Saeid
                 Gorgin and Ghassem Jaberipur / 112 \\
                 Session 6: Floating-Point Units: Chair: Javier Bruguera
                 \\
                 Fused Multiply-Add Microarchitecture Comprising
                 Separate Early-Normalizing Multiply and Add Pipelines /
                 David R. Lutz / 123 \\
                 Latency Sensitive FMA Design / Sameh Galal and Mark
                 Horowitz / 129 \\
                 The IBM zEnterprise-196 Decimal Floating-Point
                 Accelerator / Steven Carlough, Adam Collura, Silvia
                 Mueller, and Michael Kroener / 139 \\
                 Session 7: Division, Square-Root and Reciprocal
                 Square-Root: Chair: Peter Kornerup \\
                 Radix-8 Digit-by-Rounding: Achieving High-Performance
                 Reciprocals, Square Roots, and Reciprocal Square Roots
                 / J. Adam Butts, Ping Tak Peter Tang, Ron O. Dror, and
                 David E. Shaw / 149 \\
                 Tight Certification Techniques for Digit-by-Rounding
                 Algorithms with Application to a New 1/sqrt(x) Design /
                 Ping Tak Peter Tang, J. Adam Butts, Ron O. Dror, and
                 David E. Shaw / 159 \\
                 Radix-16 Combined Division and Square Root Unit /
                 Alberto Nannarelli / 169 \\
                 A Prescale-Lookup-Postscale Additive Procedure for
                 Obtaining a Single Precision Ulp Accurate Reciprocal /
                 David W. Matula and Mihai T. Panu / 177 \\
                 Session 8: Special Session on High Performance
                 Arithmetic for FPGA's: Chair: Martin Langhammer \\
                 Teraflop FPGA Design / Martin Langhammer / 187 \\
                 The Arithmetic Operators You Will Never See in a
                 Microprocessor / Florent de Dinechin / 189 \\
                 Accelerating Large-Scale HPC Applications Using FPGAs /
                 Rob Dimond, Sebastien Racaniere, and Oliver Pell / 191
                 \\
                 Session 9: Arithmetic Algorithms for Cryptography:
                 Chair: David Matula \\
                 A General Approach for Improving RNS Montgomery
                 Exponentiation Using Pre-processing / Filippo Gandino,
                 Fabrizio Lamberti, Paolo Montuschi, and Jean-Claude
                 Bajard / 195 \\
                 Bit-Sliced Binary Normal Basis Multiplication / Billy
                 Bob Brumley and Dan Page / 205 \\
                 Efficient SIMD Arithmetic Modulo a Mersenne Number /
                 Joppe W. Bos, Thorsten Kleinjung, Arjen K. Lenstra, and
                 Peter L. Montgomery / 213 \\
                 Session 10: Tools for Formal Certified Code: Chair:
                 Martin Schmookler \\
                 Automatic Generation of Code for the Evaluation of
                 Constant Expressions at Any Precision with a Guaranteed
                 Error Bound / Sylvain Chevillard / 225 \\
                 Automatic Generation of Fast and Certified Code for
                 Polynomial Evaluation / Christophe Mouilleron and
                 Guillaume Revy / 233 \\
                 Flocq: A Unified Library for Proving Floating-Point
                 Algorithms in Coq / Sylvie Boldo and Guillaume
                 Melquiond / 243 \\
                 Author Index / 253",
}


bibtype: book
filename: elefunt.bib
label: Hwu:2012:GCG
editor: Wen-mei Hwu
booktitle: GPU computing gems
title: GPU computing gems
publisher: Morgan Kaufmann
address: Boston, MA
edition: Jade
pages: xvi + 541 + 16
year: 2012
ISBN: 0-12-385963-8 (hardback) OR 0123859638 (hardback)
ISBN13: 978-0-12-385963-1 (hardback) OR 9780123859631 (hardback)
LCCN: T385 .G6875 2012
bibdate: Sat Feb 8 18:16:05 MST 2014
bibtimestamp: 2014.02.08 18:16:05 MST
series: Applications of GPU computing series
acknowledgement: ack-nhfb
rawbooktitle: {GPU} computing gems
raweditor: Wen-mei Hwu
rawtitle: {GPU} computing gems
bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/matlab.bib; https://www.math.utah.edu/pub/tex/bib/prng.bib; z3950.loc.gov:7090/Voyager

abstract:
Since the introduction of CUDA in 2007, more than 100 million computers with CUDA capable GPUs have been shipped to end users. GPU computing application developers can now expect their application to have a mass market. With the introduction of OpenCL in 2010, researchers can now expect to develop GPU applications that can run on hardware from multiple vendors.

subject:
Graphics processing units; Programming; Imaging systems; Computer graphics; Image processing; Digital techniques

TOC:
Part 1: Parallel Algorithms and Data Structures --- Paulius Micikevicius, NVIDIA 1 Large-Scale GPU Search 2 Edge v. Node Parallelism for Graph Centrality Metrics 3 Optimizing parallel prefix operations for the Fermi architecture 4 Building an Efficient Hash Table on the GPU 5 An Efficient CUDA Algorithm for the Maximum Network Flow Problem 6 On Improved Memory Access Patterns for Cellular Automata Using CUDA 7 Fast Minimum Spanning Tree Computation on Large Graphs 8 Fast in-place sorting with CUDA based on bitonic sort Part 2: Numerical Algorithms --- Frank Jargstorff, NVIDIA 9 Interval Arithmetic in CUDA 10 Approximating the erfinv Function 11 A Hybrid Method for Solving Tridiagonal Systems on the GPU 12 LU Decomposition in CULA 13 GPU Accelerated Derivative-free Optimization Part 3: Engineering Simulation --- Peng Wang, NVIDIA 14 Large-scale gas turbine simulations on GPU clusters 15 GPU acceleration of rarefied gas dynamic simulations 16 Assembly of Finite Element Methods on Graphics Processors 17 CUDA implementation of Vertex-Centered, Finite Volume CFD methods on Unstructured Grids with Flow Control Applications 18 Solving Wave Equations on Unstructured Geometries 19 Fast electromagnetic integral equation solvers on graphics processing units (GPUs) Part 4: Interactive Physics for Games and Engineering Simulation --- Richard Tonge, NVIDIA 20 Solving Large Multi-Body Dynamics Problems on the GPU 21 Implicit FEM Solver in CUDA 22 Real-time Adaptive GPU multi-agent path planning Part 5: Computational Finance --- Thomas Bradley, NVIDIA 23 High performance finite difference PDE solvers on GPUs for financial option pricing 24 Identifying and Mitigating Credit Risk using Large-scale Economic Capital Simulations 25 Financial Market Value-at-Risk Estimation using the Monte Carlo Method Part 6: Programming Tools and Techniques --- Cliff Wooley, NVIDIA 26 Thrust: A Productivity-Oriented Library for CUDA 27 GPU Scripting and Code Generation with PyCUDA 28 Jacket: GPU Powered MATLAB Acceleration 29 Accelerating Development and Execution Speed with Just In Time GPU Code Generation 30 GPU Application Development, Debugging, and Performance Tuning with GPU Ocelot 31 Abstraction for AoS and SoA Layout in C++ 32 Processing Device Arrays with C++ Metaprogramming 33 GPU Metaprogramming: A Case Study in Biologically-Inspired Machine Vision 34 A Hybridization Methodology for High-Performance Linear Algebra Software for GPUs 35 Dynamic Load Balancing using Work-Stealing 36 Applying software-managed caching and CPU/GPU task scheduling for accelerating dynamic workloads

rawabstract:
Since the introduction of CUDA in 2007, more than 100 million computers with CUDA capable GPUs have been shipped to end users. GPU computing application developers can now expect their application to have a mass market. With the introduction of OpenCL in 2010, researchers can now expect to develop GPU applications that can run on hardware from multiple vendors.

rawTOC:
Part 1: Parallel Algorithms and Data Structures --- Paulius Micikevicius, NVIDIA \\ 1 Large-Scale GPU Search \\ 2 Edge v. Node Parallelism for Graph Centrality Metrics \\ 3 Optimizing parallel prefix operations for the Fermi architecture \\ 4 Building an Efficient Hash Table on the GPU \\ 5 An Efficient CUDA Algorithm for the Maximum Network Flow Problem \\ 6 On Improved Memory Access Patterns for Cellular Automata Using CUDA \\ 7 Fast Minimum Spanning Tree Computation on Large Graphs \\ 8 Fast in-place sorting with CUDA based on bitonic sort \\ Part 2: Numerical Algorithms --- Frank Jargstorff, NVIDIA \\ 9 Interval Arithmetic in CUDA \\ 10 Approximating the erfinv Function \\ 11 A Hybrid Method for Solving Tridiagonal Systems on the GPU \\ 12 LU Decomposition in CULA \\ 13 GPU Accelerated Derivative-free Optimization \\ Part 3: Engineering Simulation --- Peng Wang, NVIDIA \\ 14 Large-scale gas turbine simulations on GPU clusters \\ 15 GPU acceleration of rarefied gas dynamic simulations \\ 16 Assembly of Finite Element Methods on Graphics Processors \\ 17 CUDA implementation of Vertex-Centered, Finite Volume CFD methods on Unstructured Grids with Flow Control Applications \\ 18 Solving Wave Equations on Unstructured Geometries \\ 19 Fast electromagnetic integral equation solvers on graphics processing units (GPUs) \\ Part 4: Interactive Physics for Games and Engineering Simulation --- Richard Tonge, NVIDIA \\ 20 Solving Large Multi-Body Dynamics Problems on the GPU \\ 21 Implicit FEM Solver in CUDA \\ 22 Real-time Adaptive GPU multi-agent path planning \\ Part 5: Computational Finance --- Thomas Bradley, NVIDIA \\ 23 High performance finite difference PDE solvers on GPUs for financial option pricing \\ 24 Identifying and Mitigating Credit Risk using Large-scale Economic Capital Simulations \\ 25 Financial Market Value-at-Risk Estimation using the Monte Carlo Method \\ Part 6: Programming Tools and Techniques --- Cliff Wooley, NVIDIA \\ 26 Thrust: A Productivity-Oriented Library for CUDA \\ 27 GPU Scripting and Code Generation with PyCUDA \\ 28 Jacket: GPU Powered MATLAB Acceleration \\ 29 Accelerating Development and Execution Speed with Just In Time GPU Code Generation \\ 30 GPU Application Development, Debugging, and Performance Tuning with GPU Ocelot \\ 31 Abstraction for AoS and SoA Layout in C++ \\ 32 Processing Device Arrays with C++ Metaprogramming \\ 33 GPU Metaprogramming: A Case Study in Biologically-Inspired Machine Vision \\ 34 A Hybridization Methodology for High-Performance Linear Algebra Software for GPUs \\ 35 Dynamic Load Balancing using Work-Stealing \\ 36 Applying software-managed caching and CPU/GPU task scheduling for accelerating dynamic workloads

entry:
@Book{Hwu:2012:GCG,
  editor =       "Wen-mei Hwu",
  booktitle =    "{GPU} computing gems",
  title =        "{GPU} computing gems",
  publisher =    "Morgan Kaufmann",
  address =      "Boston, MA",
  edition =      "Jade",
  pages =        "xvi + 541 + 16",
  year =         "2012",
  ISBN =         "0-12-385963-8 (hardback)",
  ISBN-13 =      "978-0-12-385963-1 (hardback)",
  LCCN =         "T385 .G6875 2012",
  bibdate =      "Sat Feb 8 18:16:05 MST 2014",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/matlab.bib;
                 https://www.math.utah.edu/pub/tex/bib/prng.bib;
                 z3950.loc.gov:7090/Voyager",
  series =       "Applications of GPU computing series",
  abstract =     "Since the introduction of CUDA in 2007, more than 100
                 million computers with CUDA capable GPUs have been
                 shipped to end users. GPU computing application
                 developers can now expect their application to have a
                 mass market. With the introduction of OpenCL in 2010,
                 researchers can now expect to develop GPU applications
                 that can run on hardware from multiple vendors.",
  acknowledgement = ack-nhfb,
  subject =      "Graphics processing units; Programming; Imaging
                 systems; Computer graphics; Image processing; Digital
                 techniques",
  tableofcontents = "Part 1: Parallel Algorithms and Data Structures ---
                 Paulius Micikevicius, NVIDIA \\
                 1 Large-Scale GPU Search \\
                 2 Edge v. Node Parallelism for Graph Centrality Metrics
                 \\
                 3 Optimizing parallel prefix operations for the Fermi
                 architecture \\
                 4 Building an Efficient Hash Table on the GPU \\
                 5 An Efficient CUDA Algorithm for the Maximum Network
                 Flow Problem \\
                 6 On Improved Memory Access Patterns for Cellular
                 Automata Using CUDA \\
                 7 Fast Minimum Spanning Tree Computation on Large
                 Graphs \\
                 8 Fast in-place sorting with CUDA based on bitonic sort
                 \\
                 Part 2: Numerical Algorithms --- Frank Jargstorff,
                 NVIDIA \\
                 9 Interval Arithmetic in CUDA \\
                 10 Approximating the erfinv Function \\
                 11 A Hybrid Method for Solving Tridiagonal Systems on
                 the GPU \\
                 12 LU Decomposition in CULA \\
                 13 GPU Accelerated Derivative-free Optimization \\
                 Part 3: Engineering Simulation --- Peng Wang, NVIDIA
                 \\
                 14 Large-scale gas turbine simulations on GPU clusters
                 \\
                 15 GPU acceleration of rarefied gas dynamic simulations
                 \\
                 16 Assembly of Finite Element Methods on Graphics
                 Processors \\
                 17 CUDA implementation of Vertex-Centered, Finite
                 Volume CFD methods on Unstructured Grids with Flow
                 Control Applications \\
                 18 Solving Wave Equations on Unstructured Geometries
                 \\
                 19 Fast electromagnetic integral equation solvers on
                 graphics processing units (GPUs) \\
                 Part 4: Interactive Physics for Games and Engineering
                 Simulation --- Richard Tonge, NVIDIA \\
                 20 Solving Large Multi-Body Dynamics Problems on the
                 GPU \\
                 21 Implicit FEM Solver in CUDA \\
                 22 Real-time Adaptive GPU multi-agent path planning \\
                 Part 5: Computational Finance --- Thomas Bradley,
                 NVIDIA \\
                 23 High performance finite difference PDE solvers on
                 GPUs for financial option pricing \\
                 24 Identifying and Mitigating Credit Risk using
                 Large-scale Economic Capital Simulations \\
                 25 Financial Market Value-at-Risk Estimation using the
                 Monte Carlo Method \\
                 Part 6: Programming Tools and Techniques --- Cliff
                 Wooley, NVIDIA \\
                 26 Thrust: A Productivity-Oriented Library for CUDA \\
                 27 GPU Scripting and Code Generation with PyCUDA \\
                 28 Jacket: GPU Powered MATLAB Acceleration \\
                 29 Accelerating Development and Execution Speed with
                 Just In Time GPU Code Generation \\
                 30 GPU Application Development, Debugging, and
                 Performance Tuning with GPU Ocelot \\
                 31 Abstraction for AoS and SoA Layout in C++ \\
                 32 Processing Device Arrays with C++ Metaprogramming
                 \\
                 33 GPU Metaprogramming: A Case Study in
                 Biologically-Inspired Machine Vision \\
                 34 A Hybridization Methodology for High-Performance
                 Linear Algebra Software for GPUs \\
                 35 Dynamic Load Balancing using Work-Stealing \\
                 36 Applying software-managed caching and CPU/GPU task
                 scheduling for accelerating dynamic workloads",
}


bibtype: book
filename: elefunt.bib
label: Arfken:2013:MMP
author: George B. (George Brown) Arfken and Hans-Jurgen Weber and Frank E. Harris
booktitle: Mathematical Methods for Physicists: a Comprehensive Guide
title: Mathematical Methods for Physicists: a Comprehensive Guide
publisher: pub-ELSEVIER-ACADEMIC
address: pub-ELSEVIER-ACADEMIC:adr
edition: Seventh
pages: xiii + 1205
year: 2013
ISBN: 0-12-384654-4 (hardcover) OR 0123846544 (hardcover)
ISBN13: 978-0-12-384654-9 (hardcover) OR 9780123846549 (hardcover)
LCCN: QA37.3 .A74 2013
bibdate: Thu May 3 08:02:53 MDT 2012
bibtimestamp: 2012.05.03 08:02:53 MDT
subject: Mathematical analysis; Mathematical physics
acknowledgement: ack-nhfb
rawauthor: George B. (George Brown) Arfken and Hans-J{\"u}rgen Weber and Frank E. Harris
rawbooktitle: Mathematical Methods for Physicists: a Comprehensive Guide
rawtitle: Mathematical Methods for Physicists: a Comprehensive Guide
bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/harris-frank-e.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/master.bib; https://www.math.utah.edu/pub/tex/bib/numana2010.bib; jenson.stanford.edu:2210/unicorn

TOC:
Preface / xi--xiii 1: Mathematical Preliminaries / 1--82 2: Determinants and Matrices / 83--121 3: Vector Analysis / 123--203 4: Tensors and Differential Forms / 205--249 5: Vector Spaces / 251--297 6: Eigenvalue Problems / 299--328 7: Ordinary Differential Equations / 329--380 8: Sturm--Liouville Theory / 381--399 9: Partial Differential Equations / 401--445 10: Green's Functions / 447--467 11: Complex Variable Theory / 469--550 12: Further Topics in Analysis / 551--598 13: Gamma Function / 599--641 14: Bessel Functions / 643--713 15: Legendre Functions / 715--772 16: Angular Momentum / 773--814 17: Group Theory / 815--870 18: More Special Functions / 871--933 19: Fourier Series / 935--962 20: Integral Transforms / 963--1046 21: Integral Equations / 1047--1079 22: Calculus of Variations / 1081--1124 23: Probability and Statistics / 1125--1179 Index / 1181--1205

rawTOC:
Preface / xi--xiii \\ 1: Mathematical Preliminaries / 1--82 \\ 2: Determinants and Matrices / 83--121 \\ 3: Vector Analysis / 123--203 \\ 4: Tensors and Differential Forms / 205--249 \\ 5: Vector Spaces / 251--297 \\ 6: Eigenvalue Problems / 299--328 \\ 7: Ordinary Differential Equations / 329--380 \\ 8: Sturm--Liouville Theory / 381--399 \\ 9: Partial Differential Equations / 401--445 \\ 10: Green's Functions / 447--467 \\ 11: Complex Variable Theory / 469--550 \\ 12: Further Topics in Analysis / 551--598 \\ 13: Gamma Function / 599--641 \\ 14: Bessel Functions / 643--713 \\ 15: Legendre Functions / 715--772 \\ 16: Angular Momentum / 773--814 \\ 17: Group Theory / 815--870 \\ 18: More Special Functions / 871--933 \\ 19: Fourier Series / 935--962 \\ 20: Integral Transforms / 963--1046 \\ 21: Integral Equations / 1047--1079 \\ 22: Calculus of Variations / 1081--1124 \\ 23: Probability and Statistics / 1125--1179 \\ Index / 1181--1205

entry:
@Book{Arfken:2013:MMP,
  author =       "George B. (George Brown) Arfken and Hans-J{\"u}rgen
                 Weber and Frank E. Harris",
  booktitle =    "Mathematical Methods for Physicists: a Comprehensive
                 Guide",
  title =        "Mathematical Methods for Physicists: a Comprehensive
                 Guide",
  publisher =    pub-ELSEVIER-ACADEMIC,
  address =      pub-ELSEVIER-ACADEMIC:adr,
  edition =      "Seventh",
  pages =        "xiii + 1205",
  year =         "2013",
  ISBN =         "0-12-384654-4 (hardcover)",
  ISBN-13 =      "978-0-12-384654-9 (hardcover)",
  LCCN =         "QA37.3 .A74 2013",
  bibdate =      "Thu May 3 08:02:53 MDT 2012",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/harris-frank-e.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/master.bib;
                 https://www.math.utah.edu/pub/tex/bib/numana2010.bib;
                 jenson.stanford.edu:2210/unicorn",
  acknowledgement = ack-nhfb,
  subject =      "Mathematical analysis; Mathematical physics",
  tableofcontents = "Preface / xi--xiii \\
                 1: Mathematical Preliminaries / 1--82 \\
                 2: Determinants and Matrices / 83--121 \\
                 3: Vector Analysis / 123--203 \\
                 4: Tensors and Differential Forms / 205--249 \\
                 5: Vector Spaces / 251--297 \\
                 6: Eigenvalue Problems / 299--328 \\
                 7: Ordinary Differential Equations / 329--380 \\
                 8: Sturm--Liouville Theory / 381--399 \\
                 9: Partial Differential Equations / 401--445 \\
                 10: Green's Functions / 447--467 \\
                 11: Complex Variable Theory / 469--550 \\
                 12: Further Topics in Analysis / 551--598 \\
                 13: Gamma Function / 599--641 \\
                 14: Bessel Functions / 643--713 \\
                 15: Legendre Functions / 715--772 \\
                 16: Angular Momentum / 773--814 \\
                 17: Group Theory / 815--870 \\
                 18: More Special Functions / 871--933 \\
                 19: Fourier Series / 935--962 \\
                 20: Integral Transforms / 963--1046 \\
                 21: Integral Equations / 1047--1079 \\
                 22: Calculus of Variations / 1081--1124 \\
                 23: Probability and Statistics / 1125--1179 \\
                 Index / 1181--1205",
}


bibtype: proceedings
filename: elefunt.bib
label: IEEE:2013:PIS
editor: IEEE
booktitle: Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013
title: Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xvi + 229
year: 2013
ISBN: 0-7695-4957-8 OR 0769549578
ISBN13: 978-0-7695-4957-6 OR 9780769549576
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2013
bibdate: Sat Aug 01 08:03:11 2013
bibtimestamp: 2013.08.01 08:03:11 ???
acknowledgement: ack-nhfb
raweditor: {IEEE}
bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2010.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

keywords:
computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

rawbooktitle:
{Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013}

rawtitle:
{Proceedings of the 21st IEEE Symposium on Computer Arithmetic, Austin, Texas, USA, 8--10 April 2013}

entry:
@Proceedings{IEEE:2013:PIS,
  editor =       "{IEEE}",
  booktitle =    "{Proceedings of the 21st IEEE Symposium on Computer
                 Arithmetic, Austin, Texas, USA, 8--10 April 2013}",
  title =        "{Proceedings of the 21st IEEE Symposium on Computer
                 Arithmetic, Austin, Texas, USA, 8--10 April 2013}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xvi + 229",
  year =         "2013",
  ISBN =         "0-7695-4957-8",
  ISBN-13 =      "978-0-7695-4957-6",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2013",
  bibdate =      "Sat Aug 01 08:03:11 2013",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2010.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computer arithmetic units; correctness proofs;
                 cryptography; domain specific designs; error analysis;
                 exascale computing; floating point arithmetic;
                 floating-point error analysis; formal verification;
                 function approximation; modular arithmetic; theorem
                 proving; verification",
}


bibtype: article
filename: elefunt.bib
label: Dunster:2024:CPC
author: T. M. Dunster and A. Gil and J. Segura
title: Computation of parabolic cylinder functions having complex argument
journal: j-APPL-NUM-MATH
volume: 197
pages: 230--242
month: mar
monthnumber: 3
year: 2024
CODEN: ANMAEL
DOI: https://doi.org/10.1016/j.apnum.2023.11.017
ISSN: 0168-9274 (print), 1873-5460 (electronic) OR 01689274 (print), 18735460 (electronic)
ISSNL: 0168-9274 OR 01689274
bibdate: Mon Dec 18 15:47:31 MST 2023
bibtimestamp: 2023.12.18 15:47:31 MST
URL: http://www.sciencedirect.com/science/article/pii/S0168927423002969
fjournal: Applied Numerical Mathematics: Transactions of IMACS
acknowledgement: ack-nhfb
journalURL: http://www.sciencedirect.com/science/journal/01689274
rawauthor: T. M. Dunster and A. Gil and J. Segura
rawtitle: Computation of parabolic cylinder functions having complex argument
entry:
@Article{Dunster:2024:CPC,
  author =       "T. M. Dunster and A. Gil and J. Segura",
  title =        "Computation of parabolic cylinder functions having
                 complex argument",
  journal =      j-APPL-NUM-MATH,
  volume =       "197",
  number =       "??",
  pages =        "230--242",
  month =        mar,
  year =         "2024",
  CODEN =        "ANMAEL",
  DOI =          "https://doi.org/10.1016/j.apnum.2023.11.017",
  ISSN =         "0168-9274 (print), 1873-5460 (electronic)",
  ISSN-L =       "0168-9274",
  bibdate =      "Mon Dec 18 15:47:31 MST 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/applnummath.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib",
  URL =          "http://www.sciencedirect.com/science/article/pii/S0168927423002969",
  acknowledgement = ack-nhfb,
  fjournal =     "Applied Numerical Mathematics: Transactions of IMACS",
  journal-URL =  "http://www.sciencedirect.com/science/journal/01689274",
}


bibtype: proceedings
filename: elefunt.bib
label: Hong:2014:MSI
editor: Hoon Hong and Chee Yap
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) OR 3662441985 (paperback), 3662441993 (ebook)
LCCN: QA76.9.M35
bibdate: Sat Sep 23 09:59:48 2023
bibtimestamp: 2023.09.23 09:59:48 ???
acknowledgement: ack-nhfb
raweditor: 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

ISBN13:
978-3-662-44198-5 (paperback), 978-3-662-44199-2 (e-book) OR 9783662441985 (paperback), 9783662441992 (ebook)

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

TOC:
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, Sukru Yalcinkaya / 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 / Clement 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, Bela Palancz, Robert Lewis / 359--366 Groebner Basis in Geodesy and Geoinformatics / Joseph Awange, Bela Palancz, 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 Grobner 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 Grobner 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--Grobner Algorithm / Amir Hashemi, Zahra Touraji / 466--471 Doing Algebraic Geometry with the RegularChains Library / Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Eric 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 Grobner Cover for Geometrical Loci Computation and Classification / Miguel A. Abanades, Francisco Botana, Antonio Montes, Tomas Recio / 492--499 Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci / Francisco Botana, Tomas Recio / 500--503 Solving Parametric Polynomial Systems by RealComprehensiveTriangularize / Changbo Chen, Marc Moreno Maza / 504--511 QE Software Based on Comprehensive Grobner 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 Grobner Bases and Comprehensive Boolean Grobner 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 IFSGen4LaTeX : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems in LaTeX / Akemi Galvez, Kiyoshi Kitahara, Masataka Kaneko / 554--561 GNU TeX MACS: towards a Scientific Office Suite / Massimiliano Gubinelli, Joris van der Hoeven, Francois Poulain, Denis Raux / 562--569 Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques / Andres Iglesias, Akemi Galvez / 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 Soger / 647--653 Elements of Design for Containers and Solutions in the LinBox Library / Brice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clement Pernet, B. David Saunders / 654--662 Recent Developments in Normaliz / Winfried Bruns, Christof Soger / 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 Konecny, 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 Muller, 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

rawbooktitle:
Mathematical Software --- {ICMS 2014: 4th International Conference, Seoul, South Korea, August 5--9, 2014, Proceedings}

rawtitle:
Mathematical Software --- {ICMS 2014: 4th International Conference, Seoul, South Korea, August 5--9, 2014, Proceedings}

rawTOC:
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

entry:
@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",
}


bibtype: book
filename: elefunt.bib
label: Higham:2015:PCA
booktitle: The Princeton Companion to Applied Mathematics
title: The Princeton Companion to Applied Mathematics
publisher: pub-PRINCETON
address: pub-PRINCETON:adr
pages: 994 (est.)
year: 2015
ISBN: 0-691-15039-7 (hardcover) OR 0691150397 (hardcover)
ISBN13: 978-0-691-15039-0 (hardcover) OR 9780691150390 (hardcover)
LCCN: QA155 .P75 2015
bibdate: Wed Sep 9 05:32:49 MDT 2015
bibtimestamp: 2015.09.09 05:32:49 MDT
subject: Algebra; Mathematics; Mathematical models
acknowledgement: ack-nhfb
rawbooktitle: The {Princeton} Companion to Applied Mathematics
rawtitle: The {Princeton} Companion to Applied Mathematics
editor:
Nicholas J. Higham and Mark R. Dennis and Paul Glendinning and Paul A. Martin and Fadil Santosa and Jared Tanner

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/prng.bib; z3950.loc.gov:7090/Voyager

TOC:
Preface / ix Contributors / xiii Part I: Introduction to Applied Mathematics I.1 What Is Applied Mathematics? / 1 I.2 The Language of Applied Mathematics / 8 I.3 Methods of Solution / 27 I.4 Algorithms / 40 I.5 Goals of Applied Mathematical Research / 48 I.6 The History of Applied Mathematics / 55 Part II: Concepts II.1 Asymptotics / 81 II.2 Boundary Layer / 82 II.3 Chaos and Ergodicity / 82 II.4 Complex Systems / 83 II.5 Conformal Mapping / 84 II.6 Conservation Laws / 86 II.7 Control / 88 II.8 Convexity / 89 II.9 Dimensional Analysis and Scaling / 90 II.10 The Fast Fourier Transform / 94 II.11 Finite Differences / 95 II.12 The Finite-Element Method / 96 II.13 Floating-Point Arithmetic / 96 II.14 Functions of Matrices / 97 II.15 Function Spaces / 99 II.16 Graph Theory / 101 II.17 Homogenization / 103 II.18 Hybrid Systems / 103 II.19 Integral Transforms and Convolution / 104 II.20 Interval Analysis / 105 II.21 Invariants and Conservation Laws / 106 II.22 The Jordan Canonical Form / 112 II.23 Krylov Subspaces / 113 II.24 The Level Set Method / 114 II.25 Markov Chains / 116 II.26 Model Reduction / 117 II.27 Multiscale Modeling / 119 II.28 Nonlinear Equations and Newton's Method / 120 II.29 Orthogonal Polynomials / 122 II.30 Shocks / 122 II.31 Singularities / 124 II.32 The Singular Value Decomposition / 126 II.33 Tensors and Manifolds / 127 II.34 Uncertainty Quantification / 131 II.35 Variational Principle / 134 II.36 Wave Phenomena / 134 Part III: Equations, Laws, and Functions of Applied Mathematics III.1 Benford's Law / 135 III.2 Bessel Functions / 137 III.3 The Black--Scholes Equation / 137 III.4 The Burgers Equation / 138 III.5 The Cahn--Hilliard Equation / 138 III.6 The Cauchy--Riemann Equations / 139 III.7 The Delta Function and Generalized Functions / 139 III.8 The Diffusion Equation / 142 III.9 The Dirac Equation / 142 III.10 Einstein's Field Equations / 144 III.11 The Euler Equations / 146 III.12 The Euler--Lagrange Equations / 147 III.13 The Gamma Function / 148 III.14 The Ginzburg--Landau Equation / 148 III.15 Hooke's Law / 149 III.16 The Korteweg--de Vries Equation / 150 III.17 The Lambert $W$ Function / 151 III.18 Laplace's Equation / 155 III.19 The Logistic Equation / 156 III.20 The Lorenz Equations / 158 III.21 Mathieu Functions / 159 III.22 Maxwell's Equations / 160 III.23 The Navier--Stokes Equations / 162 III.24 The Painleve Equations / 163 III.25 The Riccati Equation / 165 III.26 Schrodinger's Equation / 167 III.27 The Shallow-Water Equations / 167 III.28 The Sylvester and Lyapunov Equations / 168 III.29 The Thin-Film Equation / 169 III.30 The Tricomi Equation / 170 III.31 The Wave Equation / 171 Part IV: Areas of Applied Mathematics IV.1 Complex Analysis / 173 IV.2 Ordinary Differential Equations / 181 IV.3 Partial Differential Equations / 190 IV.4 Integral Equations / 200 IV.5 Perturbation Theory and Asymptotics / 208 IV.6 Calculus of Variations / 218 IV.7 Special Functions / 227 IV.8 Spectral Theory / 236 IV.9 Approximation Theory / 248 IV.10 Numerical Linear Algebra and Matrix Analysis / 263 IV.11 Continuous Optimization (Nonlinear and Linear Programming) / 281 IV.12 Numerical Solution of Ordinary Differential Equations / 293 IV.13 Numerical Solution of Partial Differential Equations / 306 IV.14 Applications of Stochastic Analysis / 319 IV.15 Inverse Problems / 327 IV.16 Computational Science / 335 IV.17 Data Mining and Analysis / 350 IV.18 Network Analysis / 360 IV.19 Classical Mechanics / 374 IV.20 Dynamical Systems / 383 IV.21 Bifurcation Theory / 393 IV.22 Symmetry in Applied Mathematics / 402 IV.23 Quantum Mechanics / 411 IV.24 Random-Matrix Theory / 419 IV.25 Kinetic Theory / 428 IV.26 Continuum Mechanics / 446 IV.27 Pattern Formation / 458 IV.28 Fluid Dynamics / 467 IV.29 Magnetohydrodynamics / 476 IV.30 Earth System Dynamics / 485 IV.31 Effective Medium Theories / 500 IV.32 Mechanics of Solids / 505 IV.33 Soft Matter / 516 IV.34 Control Theory / 523 IV.35 Signal Processing / 533 IV.36 Information Theory / 545 IV.37 Applied Combinatorics and Graph Theory / 552 IV.38 Combinatorial Optimization / 564 IV.39 Algebraic Geometry / 570 IV.40 General Relativity and Cosmology / 579 Part V: Modeling V.1 The Mathematics of Adaptation (Or the Ten Avatars of Vishnu) / 591 V.2 Sport / 598 V.3 Inerters / 604 V.4 Mathematical Biomechanics / 609 V.5 Mathematical Physiology / 616 V.6 Cardiac Modeling / 623 V.7 Chemical Reactions / 627 V.8 Divergent Series: Taming the Tails / 634 V.9 Financial Mathematics / 640 V.10 Portfolio Theory / 648 V.11 Bayesian Inference in Applied Mathematics / 658 V.12 A Symmetric Framework with Many Applications / 661 V.13 Granular Flows / 665 V.14 Modern Optics / 673 V.15 Numerical Relativity / 680 V.16 The Spread of Infectious Diseases / 687 V.17 The Mathematics of Sea Ice / 694 V.18 Numerical Weather Prediction / 705 V.19 Tsunami Modeling / 712 V.20 Shock Waves / 720 V.21 Turbulence / 724 Part VI: Example Problems VI.1 Cloaking / 733 VI.2 Bubbles / 735 VI.3 Foams / 737 VI.4 Inverted Pendulums / 741 VI.5 Insect Flight / 743 VI.6 The Flight of a Golf Ball / 746 VI.7 Automatic Differentiation / 749 VI.8 Knotting and Linking of Macromolecules / 752 VI.9 Ranking Web Pages / 755 VI.10 Searching a Graph / 757 VI.11 Evaluating Elementary Functions / 759 VI.12 Random Number Generation / 761 VI.13 Optimal Sensor Location in the Control of Energy-Efficient Buildings / 763 VI.14 Robotics / 767 VI.15 Slipping, Sliding, Rattling, and Impact: Nonsmooth Dynamics and Its Applications / 769 VI.16 From the $N$-Body Problem to Astronomy and Dark Matter / 771 VI.17 The $N$-Body Problem and the Fast Multipole Method / 775 VI.18 The Traveling Salesman Problem / 778 Part VII: Application Areas VII.1 Aircraft Noise / 783 VII.2 A Hybrid Symbolic--Numeric Approach to Geometry Processing and Modeling / 787 VII.3 Computer-Aided Proofs via Interval Analysis / 790 VII.4 Applications of Max-Plus Algebra / 795 VII.5 Evolving Social Networks, Attitudes, and Beliefs --- and Counterterrorism / 800 VII.6 Chip Design / 804 VII.7 Color Spaces and Digital Imaging / 808 VII.8 Mathematical Image Processing / 813 VII.9 Medical Imaging / 816 VII.10 Compressed Sensing / 823 VII.11 Programming Languages: An Applied Mathematics View / 828 VII.12 High-Performance Computing / 839 VII.13 Visualization / 843 VII.14 Electronic Structure Calculations (Solid State Physics) / 847 VII.15 Flame Propagation / 852 VII.16 Imaging the Earth Using Green's Theorem / 857 VII.17 Radar Imaging / 860 VII.18 Modeling a Pregnancy Testing Kit / 864 VII.19 Airport Baggage Screening with X-Ray Tomography / 866 VII.20 Mathematical Economics / 868 VII.21 Mathematical Neuroscience / 873 VII.22 Systems Biology / 879 VII.23 Communication Networks / 883 VII.24 Text Mining / 887 VII.25 Voting Systems / 891 Part VIII: Final Perspectives VIII.1 Mathematical Writing / 897 VIII.2 How to Read and Understand a Paper / 903 VIII.3 How to Write a General Interest Mathematics Book / 906 VIII.4 Workflow / 912 VIII.5 Reproducible Research in the Mathematical Sciences / 916 VIII.6 Experimental Applied Mathematics / 925 VIII.7 Teaching Applied Mathematics / 933 VIII.8 Mediated Mathematics: Representations of Mathematics in Popular Culture and Why These Matter / 943 VIII.9 Mathematics and Policy / 953 Index / 963

raweditor:
Nicholas J. Higham and Mark R. Dennis and Paul Glendinning and Paul A. Martin and Fadil Santosa and Jared Tanner

rawTOC:
Preface / ix \\ Contributors / xiii \\ Part I: Introduction to Applied Mathematics \\ I.1 What Is Applied Mathematics? / 1 \\ I.2 The Language of Applied Mathematics / 8 \\ I.3 Methods of Solution / 27 \\ I.4 Algorithms / 40 \\ I.5 Goals of Applied Mathematical Research / 48 \\ I.6 The History of Applied Mathematics / 55 \\ Part II: Concepts \\ II.1 Asymptotics / 81 \\ II.2 Boundary Layer / 82 \\ II.3 Chaos and Ergodicity / 82 \\ II.4 Complex Systems / 83 \\ II.5 Conformal Mapping / 84 \\ II.6 Conservation Laws / 86 \\ II.7 Control / 88 \\ II.8 Convexity / 89 \\ II.9 Dimensional Analysis and Scaling / 90 \\ II.10 The Fast Fourier Transform / 94 \\ II.11 Finite Differences / 95 \\ II.12 The Finite-Element Method / 96 \\ II.13 Floating-Point Arithmetic / 96 \\ II.14 Functions of Matrices / 97 \\ II.15 Function Spaces / 99 \\ II.16 Graph Theory / 101 \\ II.17 Homogenization / 103 \\ II.18 Hybrid Systems / 103 \\ II.19 Integral Transforms and Convolution / 104 \\ II.20 Interval Analysis / 105 \\ II.21 Invariants and Conservation Laws / 106 \\ II.22 The Jordan Canonical Form / 112 \\ II.23 Krylov Subspaces / 113 \\ II.24 The Level Set Method / 114 \\ II.25 Markov Chains / 116 \\ II.26 Model Reduction / 117 \\ II.27 Multiscale Modeling / 119 \\ II.28 Nonlinear Equations and Newton's Method / 120 \\ II.29 Orthogonal Polynomials / 122 \\ II.30 Shocks / 122 \\ II.31 Singularities / 124 \\ II.32 The Singular Value Decomposition / 126 \\ II.33 Tensors and Manifolds / 127 \\ II.34 Uncertainty Quantification / 131 \\ II.35 Variational Principle / 134 \\ II.36 Wave Phenomena / 134 \\ Part III: Equations, Laws, and Functions of Applied Mathematics \\ III.1 Benford's Law / 135 \\ III.2 Bessel Functions / 137 \\ III.3 The Black--Scholes Equation / 137 \\ III.4 The Burgers Equation / 138 \\ III.5 The Cahn--Hilliard Equation / 138 \\ III.6 The Cauchy--Riemann Equations / 139 \\ III.7 The Delta Function and Generalized Functions / 139 \\ III.8 The Diffusion Equation / 142 \\ III.9 The Dirac Equation / 142 \\ III.10 Einstein's Field Equations / 144 \\ III.11 The Euler Equations / 146 \\ III.12 The Euler--Lagrange Equations / 147 \\ III.13 The Gamma Function / 148 \\ III.14 The Ginzburg--Landau Equation / 148 \\ III.15 Hooke's Law / 149 \\ III.16 The Korteweg--de Vries Equation / 150 \\ III.17 The Lambert $W$ Function / 151 \\ III.18 Laplace's Equation / 155 \\ III.19 The Logistic Equation / 156 \\ III.20 The Lorenz Equations / 158 \\ III.21 Mathieu Functions / 159 \\ III.22 Maxwell's Equations / 160 \\ III.23 The Navier--Stokes Equations / 162 \\ III.24 The Painlev{\'e} Equations / 163 \\ III.25 The Riccati Equation / 165 \\ III.26 Schr{\"o}dinger's Equation / 167 \\ III.27 The Shallow-Water Equations / 167 \\ III.28 The Sylvester and Lyapunov Equations / 168 \\ III.29 The Thin-Film Equation / 169 \\ III.30 The Tricomi Equation / 170 \\ III.31 The Wave Equation / 171 \\ Part IV: Areas of Applied Mathematics \\ IV.1 Complex Analysis / 173 \\ IV.2 Ordinary Differential Equations / 181 \\ IV.3 Partial Differential Equations / 190 \\ IV.4 Integral Equations / 200 \\ IV.5 Perturbation Theory and Asymptotics / 208 \\ IV.6 Calculus of Variations / 218 \\ IV.7 Special Functions / 227 \\ IV.8 Spectral Theory / 236 \\ IV.9 Approximation Theory / 248 \\ IV.10 Numerical Linear Algebra and Matrix Analysis / 263 \\ IV.11 Continuous Optimization (Nonlinear and Linear Programming) / 281 \\ IV.12 Numerical Solution of Ordinary Differential Equations / 293 \\ IV.13 Numerical Solution of Partial Differential Equations / 306 \\ IV.14 Applications of Stochastic Analysis / 319 \\ IV.15 Inverse Problems / 327 \\ IV.16 Computational Science / 335 \\ IV.17 Data Mining and Analysis / 350 \\ IV.18 Network Analysis / 360 \\ IV.19 Classical Mechanics / 374 \\ IV.20 Dynamical Systems / 383 \\ IV.21 Bifurcation Theory / 393 \\ IV.22 Symmetry in Applied Mathematics / 402 \\ IV.23 Quantum Mechanics / 411 \\ IV.24 Random-Matrix Theory / 419 \\ IV.25 Kinetic Theory / 428 \\ IV.26 Continuum Mechanics / 446 \\ IV.27 Pattern Formation / 458 \\ IV.28 Fluid Dynamics / 467 \\ IV.29 Magnetohydrodynamics / 476 \\ IV.30 Earth System Dynamics / 485 \\ IV.31 Effective Medium Theories / 500 \\ IV.32 Mechanics of Solids / 505 \\ IV.33 Soft Matter / 516 \\ IV.34 Control Theory / 523 \\ IV.35 Signal Processing / 533 \\ IV.36 Information Theory / 545 \\ IV.37 Applied Combinatorics and Graph Theory / 552 \\ IV.38 Combinatorial Optimization / 564 \\ IV.39 Algebraic Geometry / 570 \\ IV.40 General Relativity and Cosmology / 579 \\ Part V: Modeling \\ V.1 The Mathematics of Adaptation (Or the Ten Avatars of Vishnu) / 591 \\ V.2 Sport / 598 \\ V.3 Inerters / 604 \\ V.4 Mathematical Biomechanics / 609 \\ V.5 Mathematical Physiology / 616 \\ V.6 Cardiac Modeling / 623 \\ V.7 Chemical Reactions / 627 \\ V.8 Divergent Series: Taming the Tails / 634 \\ V.9 Financial Mathematics / 640 \\ V.10 Portfolio Theory / 648 \\ V.11 Bayesian Inference in Applied Mathematics / 658 \\ V.12 A Symmetric Framework with Many Applications / 661 \\ V.13 Granular Flows / 665 \\ V.14 Modern Optics / 673 \\ V.15 Numerical Relativity / 680 \\ V.16 The Spread of Infectious Diseases / 687 \\ V.17 The Mathematics of Sea Ice / 694 \\ V.18 Numerical Weather Prediction / 705 \\ V.19 Tsunami Modeling / 712 \\ V.20 Shock Waves / 720 \\ V.21 Turbulence / 724 \\ Part VI: Example Problems \\ VI.1 Cloaking / 733 \\ VI.2 Bubbles / 735 \\ VI.3 Foams / 737 \\ VI.4 Inverted Pendulums / 741 \\ VI.5 Insect Flight / 743 \\ VI.6 The Flight of a Golf Ball / 746 \\ VI.7 Automatic Differentiation / 749 \\ VI.8 Knotting and Linking of Macromolecules / 752 \\ VI.9 Ranking Web Pages / 755 \\ VI.10 Searching a Graph / 757 \\ VI.11 Evaluating Elementary Functions / 759 \\ VI.12 Random Number Generation / 761 \\ VI.13 Optimal Sensor Location in the Control of Energy-Efficient Buildings / 763 \\ VI.14 Robotics / 767 \\ VI.15 Slipping, Sliding, Rattling, and Impact: Nonsmooth Dynamics and Its Applications / 769 \\ VI.16 From the $N$-Body Problem to Astronomy and Dark Matter / 771 \\ VI.17 The $N$-Body Problem and the Fast Multipole Method / 775 \\ VI.18 The Traveling Salesman Problem / 778 \\ Part VII: Application Areas \\ VII.1 Aircraft Noise / 783 \\ VII.2 A Hybrid Symbolic--Numeric Approach to Geometry Processing and Modeling / 787 \\ VII.3 Computer-Aided Proofs via Interval Analysis / 790 \\ VII.4 Applications of Max-Plus Algebra / 795 \\ VII.5 Evolving Social Networks, Attitudes, and Beliefs --- and Counterterrorism / 800 \\ VII.6 Chip Design / 804 \\ VII.7 Color Spaces and Digital Imaging / 808 \\ VII.8 Mathematical Image Processing / 813 \\ VII.9 Medical Imaging / 816 \\ VII.10 Compressed Sensing / 823 \\ VII.11 Programming Languages: An Applied Mathematics View / 828 \\ VII.12 High-Performance Computing / 839 \\ VII.13 Visualization / 843 \\ VII.14 Electronic Structure Calculations (Solid State Physics) / 847 \\ VII.15 Flame Propagation / 852 \\ VII.16 Imaging the Earth Using Green's Theorem / 857 \\ VII.17 Radar Imaging / 860 \\ VII.18 Modeling a Pregnancy Testing Kit / 864 \\ VII.19 Airport Baggage Screening with X-Ray Tomography / 866 \\ VII.20 Mathematical Economics / 868 \\ VII.21 Mathematical Neuroscience / 873 \\ VII.22 Systems Biology / 879 \\ VII.23 Communication Networks / 883 \\ VII.24 Text Mining / 887 \\ VII.25 Voting Systems / 891 \\ Part VIII: Final Perspectives \\ VIII.1 Mathematical Writing / 897 \\ VIII.2 How to Read and Understand a Paper / 903 \\ VIII.3 How to Write a General Interest Mathematics Book / 906 \\ VIII.4 Workflow / 912 \\ VIII.5 Reproducible Research in the Mathematical Sciences / 916 \\ VIII.6 Experimental Applied Mathematics / 925 \\ VIII.7 Teaching Applied Mathematics / 933 \\ VIII.8 Mediated Mathematics: Representations of Mathematics in Popular Culture and Why These Matter / 943 \\ VIII.9 Mathematics and Policy / 953 \\ Index / 963

entry:
@Book{Higham:2015:PCA,
  editor =       "Nicholas J. Higham and Mark R. Dennis and Paul
                 Glendinning and Paul A. Martin and Fadil Santosa and
                 Jared Tanner",
  booktitle =    "The {Princeton} Companion to Applied Mathematics",
  title =        "The {Princeton} Companion to Applied Mathematics",
  publisher =    pub-PRINCETON,
  address =      pub-PRINCETON:adr,
  pages =        "994 (est.)",
  year =         "2015",
  ISBN =         "0-691-15039-7 (hardcover)",
  ISBN-13 =      "978-0-691-15039-0 (hardcover)",
  LCCN =         "QA155 .P75 2015",
  bibdate =      "Wed Sep 9 05:32:49 MDT 2015",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/prng.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  subject =      "Algebra; Mathematics; Mathematical models",
  tableofcontents = "Preface / ix \\
                 Contributors / xiii \\
                 Part I: Introduction to Applied Mathematics \\
                 I.1 What Is Applied Mathematics? / 1 \\
                 I.2 The Language of Applied Mathematics / 8 \\
                 I.3 Methods of Solution / 27 \\
                 I.4 Algorithms / 40 \\
                 I.5 Goals of Applied Mathematical Research / 48 \\
                 I.6 The History of Applied Mathematics / 55 \\
                 Part II: Concepts \\
                 II.1 Asymptotics / 81 \\
                 II.2 Boundary Layer / 82 \\
                 II.3 Chaos and Ergodicity / 82 \\
                 II.4 Complex Systems / 83 \\
                 II.5 Conformal Mapping / 84 \\
                 II.6 Conservation Laws / 86 \\
                 II.7 Control / 88 \\
                 II.8 Convexity / 89 \\
                 II.9 Dimensional Analysis and Scaling / 90 \\
                 II.10 The Fast Fourier Transform / 94 \\
                 II.11 Finite Differences / 95 \\
                 II.12 The Finite-Element Method / 96 \\
                 II.13 Floating-Point Arithmetic / 96 \\
                 II.14 Functions of Matrices / 97 \\
                 II.15 Function Spaces / 99 \\
                 II.16 Graph Theory / 101 \\
                 II.17 Homogenization / 103 \\
                 II.18 Hybrid Systems / 103 \\
                 II.19 Integral Transforms and Convolution / 104 \\
                 II.20 Interval Analysis / 105 \\
                 II.21 Invariants and Conservation Laws / 106 \\
                 II.22 The Jordan Canonical Form / 112 \\
                 II.23 Krylov Subspaces / 113 \\
                 II.24 The Level Set Method / 114 \\
                 II.25 Markov Chains / 116 \\
                 II.26 Model Reduction / 117 \\
                 II.27 Multiscale Modeling / 119 \\
                 II.28 Nonlinear Equations and Newton's Method / 120 \\
                 II.29 Orthogonal Polynomials / 122 \\
                 II.30 Shocks / 122 \\
                 II.31 Singularities / 124 \\
                 II.32 The Singular Value Decomposition / 126 \\
                 II.33 Tensors and Manifolds / 127 \\
                 II.34 Uncertainty Quantification / 131 \\
                 II.35 Variational Principle / 134 \\
                 II.36 Wave Phenomena / 134 \\
                 Part III: Equations, Laws, and Functions of Applied
                 Mathematics \\
                 III.1 Benford's Law / 135 \\
                 III.2 Bessel Functions / 137 \\
                 III.3 The Black--Scholes Equation / 137 \\
                 III.4 The Burgers Equation / 138 \\
                 III.5 The Cahn--Hilliard Equation / 138 \\
                 III.6 The Cauchy--Riemann Equations / 139 \\
                 III.7 The Delta Function and Generalized Functions /
                 139 \\
                 III.8 The Diffusion Equation / 142 \\
                 III.9 The Dirac Equation / 142 \\
                 III.10 Einstein's Field Equations / 144 \\
                 III.11 The Euler Equations / 146 \\
                 III.12 The Euler--Lagrange Equations / 147 \\
                 III.13 The Gamma Function / 148 \\
                 III.14 The Ginzburg--Landau Equation / 148 \\
                 III.15 Hooke's Law / 149 \\
                 III.16 The Korteweg--de Vries Equation / 150 \\
                 III.17 The Lambert $W$ Function / 151 \\
                 III.18 Laplace's Equation / 155 \\
                 III.19 The Logistic Equation / 156 \\
                 III.20 The Lorenz Equations / 158 \\
                 III.21 Mathieu Functions / 159 \\
                 III.22 Maxwell's Equations / 160 \\
                 III.23 The Navier--Stokes Equations / 162 \\
                 III.24 The Painlev{\'e} Equations / 163 \\
                 III.25 The Riccati Equation / 165 \\
                 III.26 Schr{\"o}dinger's Equation / 167 \\
                 III.27 The Shallow-Water Equations / 167 \\
                 III.28 The Sylvester and Lyapunov Equations / 168 \\
                 III.29 The Thin-Film Equation / 169 \\
                 III.30 The Tricomi Equation / 170 \\
                 III.31 The Wave Equation / 171 \\
                 Part IV: Areas of Applied Mathematics \\
                 IV.1 Complex Analysis / 173 \\
                 IV.2 Ordinary Differential Equations / 181 \\
                 IV.3 Partial Differential Equations / 190 \\
                 IV.4 Integral Equations / 200 \\
                 IV.5 Perturbation Theory and Asymptotics / 208 \\
                 IV.6 Calculus of Variations / 218 \\
                 IV.7 Special Functions / 227 \\
                 IV.8 Spectral Theory / 236 \\
                 IV.9 Approximation Theory / 248 \\
                 IV.10 Numerical Linear Algebra and Matrix Analysis /
                 263 \\
                 IV.11 Continuous Optimization (Nonlinear and Linear
                 Programming) / 281 \\
                 IV.12 Numerical Solution of Ordinary Differential
                 Equations / 293 \\
                 IV.13 Numerical Solution of Partial Differential
                 Equations / 306 \\
                 IV.14 Applications of Stochastic Analysis / 319 \\
                 IV.15 Inverse Problems / 327 \\
                 IV.16 Computational Science / 335 \\
                 IV.17 Data Mining and Analysis / 350 \\
                 IV.18 Network Analysis / 360 \\
                 IV.19 Classical Mechanics / 374 \\
                 IV.20 Dynamical Systems / 383 \\
                 IV.21 Bifurcation Theory / 393 \\
                 IV.22 Symmetry in Applied Mathematics / 402 \\
                 IV.23 Quantum Mechanics / 411 \\
                 IV.24 Random-Matrix Theory / 419 \\
                 IV.25 Kinetic Theory / 428 \\
                 IV.26 Continuum Mechanics / 446 \\
                 IV.27 Pattern Formation / 458 \\
                 IV.28 Fluid Dynamics / 467 \\
                 IV.29 Magnetohydrodynamics / 476 \\
                 IV.30 Earth System Dynamics / 485 \\
                 IV.31 Effective Medium Theories / 500 \\
                 IV.32 Mechanics of Solids / 505 \\
                 IV.33 Soft Matter / 516 \\
                 IV.34 Control Theory / 523 \\
                 IV.35 Signal Processing / 533 \\
                 IV.36 Information Theory / 545 \\
                 IV.37 Applied Combinatorics and Graph Theory / 552 \\
                 IV.38 Combinatorial Optimization / 564 \\
                 IV.39 Algebraic Geometry / 570 \\
                 IV.40 General Relativity and Cosmology / 579 \\
                 Part V: Modeling \\
                 V.1 The Mathematics of Adaptation (Or the Ten Avatars
                 of Vishnu) / 591 \\
                 V.2 Sport / 598 \\
                 V.3 Inerters / 604 \\
                 V.4 Mathematical Biomechanics / 609 \\
                 V.5 Mathematical Physiology / 616 \\
                 V.6 Cardiac Modeling / 623 \\
                 V.7 Chemical Reactions / 627 \\
                 V.8 Divergent Series: Taming the Tails / 634 \\
                 V.9 Financial Mathematics / 640 \\
                 V.10 Portfolio Theory / 648 \\
                 V.11 Bayesian Inference in Applied Mathematics / 658
                 \\
                 V.12 A Symmetric Framework with Many Applications / 661
                 \\
                 V.13 Granular Flows / 665 \\
                 V.14 Modern Optics / 673 \\
                 V.15 Numerical Relativity / 680 \\
                 V.16 The Spread of Infectious Diseases / 687 \\
                 V.17 The Mathematics of Sea Ice / 694 \\
                 V.18 Numerical Weather Prediction / 705 \\
                 V.19 Tsunami Modeling / 712 \\
                 V.20 Shock Waves / 720 \\
                 V.21 Turbulence / 724 \\
                 Part VI: Example Problems \\
                 VI.1 Cloaking / 733 \\
                 VI.2 Bubbles / 735 \\
                 VI.3 Foams / 737 \\
                 VI.4 Inverted Pendulums / 741 \\
                 VI.5 Insect Flight / 743 \\
                 VI.6 The Flight of a Golf Ball / 746 \\
                 VI.7 Automatic Differentiation / 749 \\
                 VI.8 Knotting and Linking of Macromolecules / 752 \\
                 VI.9 Ranking Web Pages / 755 \\
                 VI.10 Searching a Graph / 757 \\
                 VI.11 Evaluating Elementary Functions / 759 \\
                 VI.12 Random Number Generation / 761 \\
                 VI.13 Optimal Sensor Location in the Control of
                 Energy-Efficient Buildings / 763 \\
                 VI.14 Robotics / 767 \\
                 VI.15 Slipping, Sliding, Rattling, and Impact:
                 Nonsmooth Dynamics and Its Applications / 769 \\
                 VI.16 From the $N$-Body Problem to Astronomy and Dark
                 Matter / 771 \\
                 VI.17 The $N$-Body Problem and the Fast Multipole
                 Method / 775 \\
                 VI.18 The Traveling Salesman Problem / 778 \\
                 Part VII: Application Areas \\
                 VII.1 Aircraft Noise / 783 \\
                 VII.2 A Hybrid Symbolic--Numeric Approach to Geometry
                 Processing and Modeling / 787 \\
                 VII.3 Computer-Aided Proofs via Interval Analysis / 790
                 \\
                 VII.4 Applications of Max-Plus Algebra / 795 \\
                 VII.5 Evolving Social Networks, Attitudes, and Beliefs
                 --- and Counterterrorism / 800 \\
                 VII.6 Chip Design / 804 \\
                 VII.7 Color Spaces and Digital Imaging / 808 \\
                 VII.8 Mathematical Image Processing / 813 \\
                 VII.9 Medical Imaging / 816 \\
                 VII.10 Compressed Sensing / 823 \\
                 VII.11 Programming Languages: An Applied Mathematics
                 View / 828 \\
                 VII.12 High-Performance Computing / 839 \\
                 VII.13 Visualization / 843 \\
                 VII.14 Electronic Structure Calculations (Solid State
                 Physics) / 847 \\
                 VII.15 Flame Propagation / 852 \\
                 VII.16 Imaging the Earth Using Green's Theorem / 857
                 \\
                 VII.17 Radar Imaging / 860 \\
                 VII.18 Modeling a Pregnancy Testing Kit / 864 \\
                 VII.19 Airport Baggage Screening with X-Ray Tomography
                 / 866 \\
                 VII.20 Mathematical Economics / 868 \\
                 VII.21 Mathematical Neuroscience / 873 \\
                 VII.22 Systems Biology / 879 \\
                 VII.23 Communication Networks / 883 \\
                 VII.24 Text Mining / 887 \\
                 VII.25 Voting Systems / 891 \\
                 Part VIII: Final Perspectives \\
                 VIII.1 Mathematical Writing / 897 \\
                 VIII.2 How to Read and Understand a Paper / 903 \\
                 VIII.3 How to Write a General Interest Mathematics Book
                 / 906 \\
                 VIII.4 Workflow / 912 \\
                 VIII.5 Reproducible Research in the Mathematical
                 Sciences / 916 \\
                 VIII.6 Experimental Applied Mathematics / 925 \\
                 VIII.7 Teaching Applied Mathematics / 933 \\
                 VIII.8 Mediated Mathematics: Representations of
                 Mathematics in Popular Culture and Why These Matter /
                 943 \\
                 VIII.9 Mathematics and Policy / 953 \\
                 Index / 963",
}


bibtype: proceedings
filename: elefunt.bib
label: Muller:2015:ISC
editor: Jean-Michel Muller and Arnaud Tisserand and Julio Villalba
booktitle: 2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015
title: 2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xii + 176
year: 2015
ISBN: 1-4799-8665-8, 1-4799-8663-1 OR 1479986658, 1479986631
ISBN13: 978-1-4799-8665-1, 978-1-4799-8663-7 OR 9781479986651, 9781479986637
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2015
bibdate: Sat Aug 01 08:03:11 2015
bibtimestamp: 2015.08.01 08:03:11 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7193754
acknowledgement: ack-nhfb
rawbooktitle: {2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015}
raweditor: Jean-Michel Muller and Arnaud Tisserand and Julio Villalba
rawtitle: {2015 IEEE 22nd Symposium on Computer Arithmetic (ARITH 2015) Lyon, France, 22--24 June 2015}
bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

entry:
@Proceedings{Muller:2015:ISC,
  editor =       "Jean-Michel Muller and Arnaud Tisserand and Julio
                 Villalba",
  booktitle =    "{2015 IEEE 22nd Symposium on Computer Arithmetic
                 (ARITH 2015) Lyon, France, 22--24 June 2015}",
  title =        "{2015 IEEE 22nd Symposium on Computer Arithmetic
                 (ARITH 2015) Lyon, France, 22--24 June 2015}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 176",
  year =         "2015",
  ISBN =         "1-4799-8665-8, 1-4799-8663-1",
  ISBN-13 =      "978-1-4799-8665-1, 978-1-4799-8663-7",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2015",
  bibdate =      "Sat Aug 01 08:03:11 2015",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7193754",
  acknowledgement = ack-nhfb,
  keywords =     "computer arithmetic units; correctness proofs;
                 cryptography; domain specific designs; error analysis;
                 exascale computing; floating point arithmetic;
                 floating-point error analysis; formal verification;
                 function approximation; modular arithmetic; theorem
                 proving; verification",
}


bibtype: proceedings
filename: elefunt.bib
label: Greuel:2016:MSI
editor: Gert-Martin Greuel
volume: 9725
publisher: pub-SV
address: pub-SV:adr
pages: xxiv + 532
year: 2016
DOI: https://doi.org/10.1007/978-3-319-42432-3
ISBN: 3-319-42431-9 (print), 3-319-42432-7 (electronic) OR 3319424319 (print), 3319424327 (electronic)
ISSN: 0302-9743 (print), 1611-3349 (electronic) OR 03029743 (print), 16113349 (electronic)
ISSNL: 0302-9743 OR 03029743
LCCN: QA76.9.M35
bibdate: Mon Feb 5 08:28:37 MST 2018
bibtimestamp: 2018.02.05 08:28:37 MST
series: ser-LNCS
URL: http://zbmath.org/?q=an:1342.68017
acknowledgement: ack-nhfb
raweditor: Gert-Martin Greuel
booktitle:
Mathematical Software --- ICMS 2016: 5th International Conference, Berlin, Germany, July 11--14, 2016: proceedings

title:
Mathematical Software --- ICMS 2016: 5th International Conference, Berlin, Germany, July 11--14, 2016: proceedings

ISBN13:
978-3-319-42431-6 (print), 978-3-319-42432-3 (electronic) OR 9783319424316 (print), 9783319424323 (electronic)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/numana2010.bib

abstract:
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

rawabstract:
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective analysis, and special functions; mathematical optimization; interactive operation to scientific artwork and mathematical reasoning; information services for mathematics: software, services, models, and data; semDML: towards a semantic layer of a world digital mathematical library; miscellanea.

rawbooktitle:
{Mathematical Software --- ICMS 2016: 5th International Conference, Berlin, Germany, July 11--14, 2016: proceedings}

rawtitle:
{Mathematical Software --- ICMS 2016: 5th International Conference, Berlin, Germany, July 11--14, 2016: proceedings}

entry:
@Proceedings{Greuel:2016:MSI,
  editor =       "Gert-Martin Greuel",
  booktitle =    "{Mathematical Software --- ICMS 2016: 5th
                 International Conference, Berlin, Germany, July 11--14,
                 2016: proceedings}",
  title =        "{Mathematical Software --- ICMS 2016: 5th
                 International Conference, Berlin, Germany, July 11--14,
                 2016: proceedings}",
  volume =       "9725",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xxiv + 532",
  year =         "2016",
  DOI =          "https://doi.org/10.1007/978-3-319-42432-3",
  ISBN =         "3-319-42431-9 (print), 3-319-42432-7 (electronic)",
  ISBN-13 =      "978-3-319-42431-6 (print), 978-3-319-42432-3
                 (electronic)",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  LCCN =         "QA76.9.M35",
  bibdate =      "Mon Feb 5 08:28:37 MST 2018",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/numana2010.bib",
  series =       ser-LNCS # "\slash " # ser-LNAI,
  URL =          "http://zbmath.org/?q=an:1342.68017",
  abstract =     "This book constitutes the proceedings of the 5th
                 International Conference on Mathematical Software, ICMS
                 2015, held in Berlin, Germany, in July 2016. The 68
                 papers included in this volume were carefully reviewed
                 and selected from numerous submissions. The papers are
                 organized in topical sections named: univalent
                 foundations and proof assistants; software for
                 mathematical reasoning and applications; algebraic and
                 toric geometry; algebraic geometry in applications;
                 software of polynomial systems; software for
                 numerically solving polynomial systems; high-precision
                 arithmetic, effective analysis, and special functions;
                 mathematical optimization; interactive operation to
                 scientific artwork and mathematical reasoning;
                 information services for mathematics: software,
                 services, models, and data; semDML: towards a semantic
                 layer of a world digital mathematical library;
                 miscellanea.",
  acknowledgement = ack-nhfb,
}


bibtype: proceedings
filename: elefunt.bib
label: Montuschi:2016:ISC
editor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxi + 182
year: 2016
ISBN: 1-5090-1615-5 OR 1509016155
ISBN13: 978-1-5090-1615-0 OR 9781509016150
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2016
bibdate: Fri Dec 16 15:16:45 2016
bibtimestamp: 2016.12.16 15:16:45 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=7562813
acknowledgement: ack-nhfb
raweditor: Paolo Montuschi and Michael Schulte and Javier Hormigo and Stuart Oberman and Nathalie Revol
booktitle:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

title:
2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib

keywords:
computer arithmetic units; correctness proofs; cryptography; domain specific designs; error analysis; exascale computing; floating point arithmetic; floating-point error analysis; formal verification; function approximation; modular arithmetic; theorem proving; verification

rawbooktitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

rawtitle:
{2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH 2016), Santa Clara, California, USA, 10--13 July 2016}

entry:
@Proceedings{Montuschi:2016:ISC,
  editor =       "Paolo Montuschi and Michael Schulte and Javier Hormigo
                 and Stuart Oberman and Nathalie Revol",
  booktitle =    "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  title =        "{2016 IEEE 23nd Symposium on Computer Arithmetic
                 (ARITH 2016), Santa Clara, California, USA, 10--13 July
                 2016}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xxi + 182",
  year =         "2016",
  ISBN =         "1-5090-1615-5",
  ISBN-13 =      "978-1-5090-1615-0",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2016",
  bibdate =      "Fri Dec 16 15:16:45 2016",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7562813",
  acknowledgement = ack-nhfb,
  keywords =     "computer arithmetic units; correctness proofs;
                 cryptography; domain specific designs; error analysis;
                 exascale computing; floating point arithmetic;
                 floating-point error analysis; formal verification;
                 function approximation; modular arithmetic; theorem
                 proving; verification",
}


bibtype: proceedings
filename: elefunt.bib
label: Burgess:2017:ISC
editor: Neil Burgess and Javier Bruguera and Florent de Dinechin
booktitle: 24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
title: 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xii + 198
year: 2017
ISBN: 1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4 OR 1538619660 (print), 1538619652, 1538619644
ISSN: 1063-6889 OR 10636889
LCCN: QA76.9.C62 S95 2017
bibdate: Fri Nov 17 10:14:11 2017
bibtimestamp: 2017.11.17 10:14:11 ???
URL: http://ieeexplore.ieee.org/servlet/opac?punumber=8019911
acknowledgement: ack-nhfb
rawbooktitle: {24th IEEE Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
raweditor: Neil Burgess and Javier Bruguera and Florent de Dinechin
rawtitle: {2017 IEEE 24th Symposium on Computer Arithmetic (ARITH 24), London, UK, 24--26 July 2017}
ISBN13:
978-1-5386-1966-7 (print), 978-1-5386-1965-0, 978-1-5386-1964-3 OR 9781538619667 (print), 9781538619650, 9781538619643

bibsource:
https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/gnu.bib

entry:
@Proceedings{Burgess:2017:ISC,
  editor =       "Neil Burgess and Javier Bruguera and Florent de
                 Dinechin",
  booktitle =    "{24th IEEE Symposium on Computer Arithmetic (ARITH
                 24), London, UK, 24--26 July 2017}",
  title =        "{2017 IEEE 24th Symposium on Computer Arithmetic
                 (ARITH 24), London, UK, 24--26 July 2017}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "xii + 198",
  year =         "2017",
  ISBN =         "1-5386-1966-0 (print), 1-5386-1965-2, 1-5386-1964-4",
  ISBN-13 =      "978-1-5386-1966-7 (print), 978-1-5386-1965-0,
                 978-1-5386-1964-3",
  ISSN =         "1063-6889",
  LCCN =         "QA76.9.C62 S95 2017",
  bibdate =      "Fri Nov 17 10:14:11 2017",
  bibsource =    "https://www.math.utah.edu/pub/bibnet/authors/h/higham-nicholas-john.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/gnu.bib",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=8019911",
  acknowledgement = ack-nhfb,
  keywords =     "computer arithmetic units; correctness proofs;
                 cryptography; domain specific designs; error analysis;
                 exascale computing; floating point arithmetic;
                 floating-point error analysis; formal verification;
                 function approximation; modular arithmetic; theorem
                 proving; verification",
}


bibtype: proceedings
filename: elefunt.bib
label: Tenca:2018:PIS
editor: Alexandre Tenca and Naofumi Takagi
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 17 + 152
month: jun
monthnumber: 6
year: 2018
DOI: https://doi.org/10.1109/ARITH.2018.8464697
ISBN: 1-5386-2612-8 (USB), 1-5386-2665-9 OR 1538626128 (USB), 1538626659
ISSN: 2576-2265 OR 25762265
LCCN: QA76.9.C62
bibdate: Fri Jan 31 08:05:31 2020
bibtimestamp: 2020.01.31 08:05:31 ???
note: IEEE catalog number CFP18121-USB.
abstract: Presents the title page of the proceedings record.
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
raweditor: Alexandre Tenca and Naofumi Takagi
rawnote: IEEE catalog number CFP18121-USB.
booktitle:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

title:
Proceedings of the 25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA

ISBN13:
978-1-5386-2612-2 (USB), 978-1-5386-2613-9, 978-1-5386-2665-8 OR 9781538626122 (USB), 9781538626139, 9781538626658

bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

subject:
ARITH-25; Computer arithmetic; Congresses; Computer programming; Floating-point arithmetic; Computer arithmetic and logic units

rawbooktitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

rawtitle:
Proceedings of the {25th International Symposium on Computer Arithmetic, 25--27 June 2018 Amherst, MA, USA}

entry:
@Proceedings{Tenca:2018:PIS,
  editor =       "Alexandre Tenca and Naofumi Takagi",
  booktitle =    "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  title =        "Proceedings of the {25th International Symposium on
                 Computer Arithmetic, 25--27 June 2018 Amherst, MA,
                 USA}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "17 + 152",
  month =        jun,
  year =         "2018",
  DOI =          "https://doi.org/10.1109/ARITH.2018.8464697",
  ISBN =         "1-5386-2612-8 (USB), 1-5386-2665-9",
  ISBN-13 =      "978-1-5386-2612-2 (USB), 978-1-5386-2613-9,
                 978-1-5386-2665-8",
  ISSN =         "2576-2265",
  LCCN =         "QA76.9.C62",
  bibdate =      "Fri Jan 31 08:05:31 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  note =         "IEEE catalog number CFP18121-USB.",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  subject =      "ARITH-25; Computer arithmetic; Congresses; Computer
                 programming; Floating-point arithmetic; Computer
                 arithmetic and logic units",
}


bibtype: proceedings
filename: elefunt.bib
label: Takagi:2019:ISC
editor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
booktitle: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
title: 2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 15 + 220
month: jun
monthnumber: 6
year: 2019
DOI: https://doi.org/10.1109/ARITH.2019.00001
ISBN: 1-72813-366-1 OR 1728133661
ISBN13: 978-1-72813-366-9 OR 9781728133669
ISSN: 1063-6889 OR 10636889
ISSNL: 1063-6889 OR 10636889
bibdate: Fri Jan 31 08:18:07 2020
bibtimestamp: 2020.01.31 08:18:07 ???
abstract: Presents the title page of the proceedings record.
keywords: ARITH-26
acknowledgement: ack-nhfb
rawabstract: Presents the title page of the proceedings record.
rawbooktitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
raweditor: Naofumi Takagi and Sylvie Boldo and Martin Langhammer
rawtitle: {2019 IEEE 26th Symposium on Computer Arithmetic ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}
bibsource:
https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

entry:
@Proceedings{Takagi:2019:ISC,
  editor =       "Naofumi Takagi and Sylvie Boldo and Martin
                 Langhammer",
  booktitle =    "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  title =        "{2019 IEEE 26th Symposium on Computer Arithmetic
                 ARITH-26 (2019), Kyoto, Japan, 10--12 June 2019}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "15 + 220",
  month =        jun,
  year =         "2019",
  DOI =          "https://doi.org/10.1109/ARITH.2019.00001",
  ISBN =         "1-72813-366-1",
  ISBN-13 =      "978-1-72813-366-9",
  ISSN =         "1063-6889",
  ISSN-L =       "1063-6889",
  bibdate =      "Fri Jan 31 08:18:07 2020",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  abstract =     "Presents the title page of the proceedings record.",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-26",
}


bibtype: proceedings
filename: elefunt.bib
label: Bigatti:2020:MSI
editor: Anna Maria Bigatti and Jacques Carette and James H. Davenport and Michael Joswig and Timo de Wolff
publisher: pub-SV
address: pub-SV:adr
pages: xxiii + 494
year: 2020
DOI: https://doi.org/10.1007/978-3-030-52200-1
bibdate: Sat Sep 23 06:50:01 2023
bibtimestamp: 2023.09.23 06:50:01 ???
acknowledgement: ack-nhfb
raweditor: Anna Maria Bigatti and Jacques Carette and James H. Davenport and Michael Joswig and Timo de Wolff
booktitle:
Mathematical Software --- ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13--16, 2020, Proceedings

title:
Mathematical Software --- ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13--16, 2020, Proceedings

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/julia.bib; https://www.math.utah.edu/pub/tex/bib/macaulay2.bib; https://www.math.utah.edu/pub/tex/bib/matlab.bib; https://www.math.utah.edu/pub/tex/bib/python.bib; https://www.math.utah.edu/pub/tex/bib/texbook3.bib

TOC:
Front Matter / / i--xxiii Grobner Bases in Theory and Practice Front Matter / / 1--1 A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Grobner Bases / Noriyuki Horigome, Akira Terui, Masahiko Mikawa / 3--13 Real Algebraic Geometry Front Matter / / 15--15 Curtains in CAD: Why Are They a Problem and How Do We Fix Them? / Akshar Nair, James Davenport, Gregory Sankaran / 17--26 Chordality Preserving Incremental Triangular Decomposition and Its Implementation / Changbo Chen / 27--36 Algebraic Geometry via Numerical Computation Front Matter / / 37--37 $mathbb Q(sqrt -3)$-Integral Points on a Mordell Curve / Francesca Bianchi / 39--50 A Numerical Approach for Computing Euler Characteristics of Affine Varieties / Xiaxin Li, Jose Israel Rodriguez, Botong Wang / 51--60 Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set / Jonathan D. Hauenstein, Margaret H. Regan / 61--69 Computational Algebraic Analysis Front Matter / / 71--71 Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals / Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama / 73--84 Software for Number Theory and Arithmetic Geometry Front Matter / / 85--85 Computations with Algebraic Surfaces / Andreas-Stephan Elsenhans, Jorg Jahnel / 87--93 Evaluating Fractional Derivatives of the Riemann Zeta Function / Ricky E. Farr, Sebastian Pauli, Filip Saidak / 94--101 Groups and Group Actions Front Matter / / 103--103 Towards Efficient Normalizers of Primitive Groups / Sergio Siccha / 105--114 Homomorphic Encryption and Some Black Box Attacks / Alexandre Borovik, Sukru Yalcinkaya / 115--124 Nilpotent Quotients of Associative $mathbb Z$-Algebras and Augmentation Quotients of Baumslag--Solitar Groups / Tobias Moede / 125--130 The GAP Package LiePRing / Bettina Eick, Michael Vaughan-Lee / 131--140 The Classification Problem in Geometry Front Matter / / 141--141 Classifying Simplicial Dissections of Convex Polyhedra with Symmetry / Anton Betten, Tarun Mukthineni / 143--152 Classification Results for Hyperovals of Generalized Quadrangles / Bart De Bruyn / 153--161 Isomorphism and Invariants of Parallelisms of Projective Spaces / Svetlana Topalova, Stela Zhelezova / 162--172 Classification of Linear Codes by Extending Their Residuals / Stefka Bouyuklieva, Iliya Bouyukliev / 173--180 The Program Generation in the Software Package QextNewEdition / Iliya Bouyukliev / 181--189 Polyhedral Methods in Geometry and Optimization Front Matter / / 191--191 Algebraic Polytopes in Normaliz / Winfried Bruns / 193--201 Real Tropical Hyperfaces by Patchworking in polymake / Michael Joswig, Paul Vater / 202--211 Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies / Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos / 212--221 Slack Ideals in Macaulay2 / Antonio Macchia, Amy Wiebe / 222--231 Hyperplane Arrangements in polymake / Lars Kastner, Marta Panizzut / 232--240 A Convex Programming Approach to Solve Posynomial Systems / Marianne Akian, Xavier Allamigeon, Marin Boyet, Stephane Gaubert / 241--250 Univalent Mathematics: Theory and Implementation Front Matter / / 251--251 Equality Checking for General Type Theories in Andromeda 2 / Andrej Bauer, Philipp G. Haselwarter, Anja Petkovi / 253--259 Artificial Intelligence and Mathematical Software Front Matter / / 261--261 GeoLogic --- Graphical Interactive Theorem Prover for Euclidean Geometry / Miroslav Olsak / 263--271 A Formalization of Properties of Continuous Functions on Closed Intervals / Yaoshun Fu, Wensheng Yu / 272--280 Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks / Changbo Chen, Zhangpeng Zhu, Haoyu Chi / 281--291 Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving / Christopher W. Brown, Glenn Christopher Daves / 292--301 A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs / Dorian Florescu, Matthew England / 302--311 Databases in Mathematics Front Matter / / 313--313 FunGrim: A Symbolic Library for Special Functions / Fredrik Johansson / 315--323 Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data Front Matter / / 325--325 Operational Research Literature as a Use Case for the Open Research Knowledge Graph / Mila Runnwerth, Markus Stocker, Soren Auer / 327--334 Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems / Andre Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp / 335--341 Employing C++ Templates in the Design of a Computer Algebra Library / Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza / 342--352 Mathematical World Knowledge Contained in the Multilingual Wikipedia Project / Dennis Tobias Halbach / 353--361 Archiving and Referencing Source Code with Software Heritage / Roberto Di Cosmo / 362--373 The Jupyter Environment for Computational Mathematics Front Matter / / 375--375 Polymake.jl: A New Interface to polymake / Marek Kaluba, Benjamin Lorenz, Sascha Timme / 377--385 Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza / Miguel Angel Marco Buzunariz / 386--392 Phase Portraits of Bi-dimensional Zeta Values / Olivier Bouillot / 393--405 Prototyping Controlled Mathematical Languages in Jupyter Notebooks / Jan Frederik Schaefer, Kai Amann, Michael Kohlhase / 406--415 General Session Front Matter / / 417--417 Method to Create Multiple Choice Exercises for Computer Algebra System / Tatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura / 419--425 A Flow-Based Programming Environment for Geometrical Construction / Kento Nakamura, Kazushi Ahara / 426--431 MORLAB --- A Model Order Reduction Framework in MATLAB and Octave / Peter Benner, Steffen W. R. Werner / 432--441 FlexRiLoG --- A SageMath Package for Motions of Graphs / Georg Grasegger, Jan Legersky / 442--450 Markov Transition Matrix Analysis of Mathematical Expression Input Models / Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr / 451--461 Certifying Irreducibility in $mathbb Z[ ]$ / John Abbott / 462--472 A Content Dictionary for In-Object Comments / Lars Hellstrom / 473--481 Implementing the Tangent Graeffe Root Finding Method / Joris van der Hoeven, Michael Monagan / 482--492 Back Matter / / 493--494

rawbooktitle:
Mathematical Software --- {ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13--16, 2020, Proceedings}

rawtitle:
Mathematical Software --- {ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13--16, 2020, Proceedings}

rawTOC:
Front Matter / / i--xxiii \\ Gr{\"o}bner Bases in Theory and Practice \\ Front Matter / / 1--1 A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gr{\"o}bner Bases / Noriyuki Horigome, Akira Terui, Masahiko Mikawa / 3--13 \\ Real Algebraic Geometry \\ Front Matter / / 15--15 \\ Curtains in CAD: Why Are They a Problem and How Do We Fix Them? / Akshar Nair, James Davenport, Gregory Sankaran / 17--26 \\ Chordality Preserving Incremental Triangular Decomposition and Its Implementation / Changbo Chen / 27--36 \\ Algebraic Geometry via Numerical Computation \\ Front Matter / / 37--37 \\ $\mathbb{Q}(\sqrt{-3})$-Integral Points on a Mordell Curve / Francesca Bianchi / 39--50 \\ A Numerical Approach for Computing Euler Characteristics of Affine Varieties / Xiaxin Li, Jose Israel Rodriguez, Botong Wang / 51--60 \\ Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set / Jonathan D. Hauenstein, Margaret H. Regan / 61--69 \\ Computational Algebraic Analysis \\ Front Matter / / 71--71 \\ Algorithms for Pfaffian Systems and Cohomology Intersection Numbers of Hypergeometric Integrals / Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama / 73--84 \\ Software for Number Theory and Arithmetic Geometry \\ Front Matter / / 85--85 \\ Computations with Algebraic Surfaces / Andreas-Stephan Elsenhans, J{\"o}rg Jahnel / 87--93 \\ Evaluating Fractional Derivatives of the Riemann Zeta Function / Ricky E. Farr, Sebastian Pauli, Filip Saidak / 94--101 \\ Groups and Group Actions \\ Front Matter / / 103--103 \\ Towards Efficient Normalizers of Primitive Groups / Sergio Siccha / 105--114 \\ Homomorphic Encryption and Some Black Box Attacks / Alexandre Borovik, {\c{S}}{\"u}kr{\"u} Yal{\c{c}}{\i}nkaya / 115--124 \\ Nilpotent Quotients of Associative $\mathbb{Z}$-Algebras and Augmentation Quotients of Baumslag--Solitar Groups / Tobias Moede / 125--130 \\ The GAP Package LiePRing / Bettina Eick, Michael Vaughan-Lee / 131--140 \\ The Classification Problem in Geometry \\ Front Matter / / 141--141 \\ Classifying Simplicial Dissections of Convex Polyhedra with Symmetry / Anton Betten, Tarun Mukthineni / 143--152 \\ Classification Results for Hyperovals of Generalized Quadrangles / Bart De Bruyn / 153--161 \\ Isomorphism and Invariants of Parallelisms of Projective Spaces / Svetlana Topalova, Stela Zhelezova / 162--172 \\ Classification of Linear Codes by Extending Their Residuals / Stefka Bouyuklieva, Iliya Bouyukliev / 173--180 \\ The Program Generation in the Software Package QextNewEdition / Iliya Bouyukliev / 181--189 \\ Polyhedral Methods in Geometry and Optimization \\ Front Matter / / 191--191 \\ Algebraic Polytopes in Normaliz / Winfried Bruns / 193--201 \\ Real Tropical Hyperfaces by Patchworking in polymake / Michael Joswig, Paul Vater / 202--211 \\ Practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies / Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos / 212--221 \\ Slack Ideals in Macaulay2 / Antonio Macchia, Amy Wiebe / 222--231 \\ Hyperplane Arrangements in polymake / Lars Kastner, Marta Panizzut / 232--240 \\ A Convex Programming Approach to Solve Posynomial Systems / Marianne Akian, Xavier Allamigeon, Marin Boyet, St{\'e}phane Gaubert / 241--250 \\ Univalent Mathematics: Theory and Implementation \\ Front Matter / / 251--251 \\ Equality Checking for General Type Theories in Andromeda 2 / Andrej Bauer, Philipp G. Haselwarter, Anja Petkovi / 253--259 \\ Artificial Intelligence and Mathematical Software \\ Front Matter / / 261--261 \\ GeoLogic --- Graphical Interactive Theorem Prover for Euclidean Geometry / Miroslav Ol{\v{s}}{\'a}k / 263--271 \\ A Formalization of Properties of Continuous Functions on Closed Intervals / Yaoshun Fu, Wensheng Yu / 272--280 \\ Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks / Changbo Chen, Zhangpeng Zhu, Haoyu Chi / 281--291 \\ Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving / Christopher W. Brown, Glenn Christopher Daves / 292--301 \\ A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs / Dorian Florescu, Matthew England / 302--311 \\ Databases in Mathematics \\ Front Matter / / 313--313 \\ FunGrim: A Symbolic Library for Special Functions / Fredrik Johansson / 315--323 \\ Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data \\ Front Matter / / 325--325 \\ Operational Research Literature as a Use Case for the Open Research Knowledge Graph / Mila Runnwerth, Markus Stocker, S{\"o}ren Auer / 327--334 \\ Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating {\LaTeX} to Computer Algebra Systems / Andr{\'e} Greiner-Petter, Moritz Schubotz, Akiko Aizawa, Bela Gipp / 335--341 \\ Employing C++ Templates in the Design of a Computer Algebra Library / Alexander Brandt, Robert H. C. Moir, Marc Moreno Maza / 342--352 \\ Mathematical World Knowledge Contained in the Multilingual Wikipedia Project / Dennis Tobias Halbach / 353--361 \\ Archiving and Referencing Source Code with Software Heritage / Roberto Di Cosmo / 362--373 \\ The Jupyter Environment for Computational Mathematics \\ Front Matter / / 375--375 \\ Polymake.jl: A New Interface to polymake / Marek Kaluba, Benjamin Lorenz, Sascha Timme / 377--385 \\ Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza / Miguel Angel Marco Buzunariz / 386--392 \\ Phase Portraits of Bi-dimensional Zeta Values / Olivier Bouillot / 393--405 \\ Prototyping Controlled Mathematical Languages in Jupyter Notebooks / Jan Frederik Schaefer, Kai Amann, Michael Kohlhase / 406--415 \\ General Session \\ Front Matter / / 417--417 \\ Method to Create Multiple Choice Exercises for Computer Algebra System / Tatsuyoshi Hamada, Yoshiyuki Nakagawa, Makoto Tamura / 419--425 \\ A Flow-Based Programming Environment for Geometrical Construction / Kento Nakamura, Kazushi Ahara / 426--431 \\ MORLAB --- A Model Order Reduction Framework in MATLAB and Octave / Peter Benner, Steffen W. R. Werner / 432--441 \\ FlexRiLoG --- A SageMath Package for Motions of Graphs / Georg Grasegger, Jan Legersk{\'y} / 442--450 \\ Markov Transition Matrix Analysis of Mathematical Expression Input Models / Francis Quinby, Seyeon Kim, Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr / 451--461 \\ Certifying Irreducibility in $\mathbb{Z}[ ]$ / John Abbott / 462--472 \\ A Content Dictionary for In-Object Comments / Lars Hellstr{\"o}m / 473--481 \\ Implementing the Tangent Graeffe Root Finding Method / Joris van der Hoeven, Michael Monagan / 482--492 \\ Back Matter / / 493--494

entry:
@Proceedings{Bigatti:2020:MSI,
  editor =       "Anna Maria Bigatti and Jacques Carette and James H.
                 Davenport and Michael Joswig and Timo de Wolff",
  booktitle =    "Mathematical Software --- {ICMS 2020: 7th
                 International Conference, Braunschweig, Germany, July
                 13--16, 2020, Proceedings}",
  title =        "Mathematical Software --- {ICMS 2020: 7th
                 International Conference, Braunschweig, Germany, July
                 13--16, 2020, Proceedings}",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xxiii + 494",
  year =         "2020",
  DOI =          "https://doi.org/10.1007/978-3-030-52200-1",
  bibdate =      "Sat Sep 23 06:50:01 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/julia.bib;
                 https://www.math.utah.edu/pub/tex/bib/macaulay2.bib;
                 https://www.math.utah.edu/pub/tex/bib/matlab.bib;
                 https://www.math.utah.edu/pub/tex/bib/python.bib;
                 https://www.math.utah.edu/pub/tex/bib/texbook3.bib",
  acknowledgement = ack-nhfb,
  tableofcontents = "Front Matter / / i--xxiii \\
                 Gr{\"o}bner Bases in Theory and Practice \\
                 Front Matter / / 1--1 A Design and an Implementation of
                 an Inverse Kinematics Computation in Robotics Using
                 Gr{\"o}bner Bases / Noriyuki Horigome, Akira Terui,
                 Masahiko Mikawa / 3--13 \\
                 Real Algebraic Geometry \\
                 Front Matter / / 15--15 \\
                 Curtains in CAD: Why Are They a Problem and How Do We
                 Fix Them? / Akshar Nair, James Davenport, Gregory
                 Sankaran / 17--26 \\
                 Chordality Preserving Incremental Triangular
                 Decomposition and Its Implementation / Changbo Chen /
                 27--36 \\
                 Algebraic Geometry via Numerical Computation \\
                 Front Matter / / 37--37 \\
                 $\mathbb{Q}(\sqrt{-3})$-Integral Points on a Mordell
                 Curve / Francesca Bianchi / 39--50 \\
                 A Numerical Approach for Computing Euler
                 Characteristics of Affine Varieties / Xiaxin Li, Jose
                 Israel Rodriguez, Botong Wang / 51--60 \\
                 Evaluating and Differentiating a Polynomial Using a
                 Pseudo-witness Set / Jonathan D. Hauenstein, Margaret
                 H. Regan / 61--69 \\
                 Computational Algebraic Analysis \\
                 Front Matter / / 71--71 \\
                 Algorithms for Pfaffian Systems and Cohomology
                 Intersection Numbers of Hypergeometric Integrals /
                 Saiei-Jaeyeong Matsubara-Heo, Nobuki Takayama / 73--84
                 \\
                 Software for Number Theory and Arithmetic Geometry \\
                 Front Matter / / 85--85 \\
                 Computations with Algebraic Surfaces / Andreas-Stephan
                 Elsenhans, J{\"o}rg Jahnel / 87--93 \\
                 Evaluating Fractional Derivatives of the Riemann Zeta
                 Function / Ricky E. Farr, Sebastian Pauli, Filip Saidak
                 / 94--101 \\
                 Groups and Group Actions \\
                 Front Matter / / 103--103 \\
                 Towards Efficient Normalizers of Primitive Groups /
                 Sergio Siccha / 105--114 \\
                 Homomorphic Encryption and Some Black Box Attacks /
                 Alexandre Borovik, {\c{S}}{\"u}kr{\"u}
                 Yal{\c{c}}{\i}nkaya / 115--124 \\
                 Nilpotent Quotients of Associative
                 $\mathbb{Z}$-Algebras and Augmentation Quotients of
                 Baumslag--Solitar Groups / Tobias Moede / 125--130 \\
                 The GAP Package LiePRing / Bettina Eick, Michael
                 Vaughan-Lee / 131--140 \\
                 The Classification Problem in Geometry \\
                 Front Matter / / 141--141 \\
                 Classifying Simplicial Dissections of Convex Polyhedra
                 with Symmetry / Anton Betten, Tarun Mukthineni /
                 143--152 \\
                 Classification Results for Hyperovals of Generalized
                 Quadrangles / Bart De Bruyn / 153--161 \\
                 Isomorphism and Invariants of Parallelisms of
                 Projective Spaces / Svetlana Topalova, Stela Zhelezova
                 / 162--172 \\
                 Classification of Linear Codes by Extending Their
                 Residuals / Stefka Bouyuklieva, Iliya Bouyukliev /
                 173--180 \\
                 The Program Generation in the Software Package
                 QextNewEdition / Iliya Bouyukliev / 181--189 \\
                 Polyhedral Methods in Geometry and Optimization \\
                 Front Matter / / 191--191 \\
                 Algebraic Polytopes in Normaliz / Winfried Bruns /
                 193--201 \\
                 Real Tropical Hyperfaces by Patchworking in polymake /
                 Michael Joswig, Paul Vater / 202--211 \\
                 Practical Volume Estimation of Zonotopes by a New
                 Annealing Schedule for Cooling Convex Bodies /
                 Apostolos Chalkis, Ioannis Z. Emiris, Vissarion
                 Fisikopoulos / 212--221 \\
                 Slack Ideals in Macaulay2 / Antonio Macchia, Amy Wiebe
                 / 222--231 \\
                 Hyperplane Arrangements in polymake / Lars Kastner,
                 Marta Panizzut / 232--240 \\
                 A Convex Programming Approach to Solve Posynomial
                 Systems / Marianne Akian, Xavier Allamigeon, Marin
                 Boyet, St{\'e}phane Gaubert / 241--250 \\
                 Univalent Mathematics: Theory and Implementation \\
                 Front Matter / / 251--251 \\
                 Equality Checking for General Type Theories in
                 Andromeda 2 / Andrej Bauer, Philipp G. Haselwarter,
                 Anja Petkovi / 253--259 \\
                 Artificial Intelligence and Mathematical Software \\
                 Front Matter / / 261--261 \\
                 GeoLogic --- Graphical Interactive Theorem Prover for
                 Euclidean Geometry / Miroslav Ol{\v{s}}{\'a}k /
                 263--271 \\
                 A Formalization of Properties of Continuous Functions
                 on Closed Intervals / Yaoshun Fu, Wensheng Yu /
                 272--280 \\
                 Variable Ordering Selection for Cylindrical Algebraic
                 Decomposition with Artificial Neural Networks / Changbo
                 Chen, Zhangpeng Zhu, Haoyu Chi / 281--291 \\
                 Applying Machine Learning to Heuristics for Real
                 Polynomial Constraint Solving / Christopher W. Brown,
                 Glenn Christopher Daves / 292--301 \\
                 A Machine Learning Based Software Pipeline to Pick the
                 Variable Ordering for Algorithms with Polynomial Inputs
                 / Dorian Florescu, Matthew England / 302--311 \\
                 Databases in Mathematics \\
                 Front Matter / / 313--313 \\
                 FunGrim: A Symbolic Library for Special Functions /
                 Fredrik Johansson / 315--323 \\
                 Accelerating Innovation Speed in Mathematics by Trading
                 Mathematical Research Data \\
                 Front Matter / / 325--325 \\
                 Operational Research Literature as a Use Case for the
                 Open Research Knowledge Graph / Mila Runnwerth, Markus
                 Stocker, S{\"o}ren Auer / 327--334 \\
                 Making Presentation Math Computable: Proposing a
                 Context Sensitive Approach for Translating {\LaTeX} to
                 Computer Algebra Systems / Andr{\'e} Greiner-Petter,
                 Moritz Schubotz, Akiko Aizawa, Bela Gipp / 335--341 \\
                 Employing C++ Templates in the Design of a Computer
                 Algebra Library / Alexander Brandt, Robert H. C. Moir,
                 Marc Moreno Maza / 342--352 \\
                 Mathematical World Knowledge Contained in the
                 Multilingual Wikipedia Project / Dennis Tobias Halbach
                 / 353--361 \\
                 Archiving and Referencing Source Code with Software
                 Heritage / Roberto Di Cosmo / 362--373 \\
                 The Jupyter Environment for Computational Mathematics
                 \\
                 Front Matter / / 375--375 \\
                 Polymake.jl: A New Interface to polymake / Marek
                 Kaluba, Benjamin Lorenz, Sascha Timme / 377--385 \\
                 Web Based Notebooks for Teaching, an Experience at
                 Universidad de Zaragoza / Miguel Angel Marco Buzunariz
                 / 386--392 \\
                 Phase Portraits of Bi-dimensional Zeta Values / Olivier
                 Bouillot / 393--405 \\
                 Prototyping Controlled Mathematical Languages in
                 Jupyter Notebooks / Jan Frederik Schaefer, Kai Amann,
                 Michael Kohlhase / 406--415 \\
                 General Session \\
                 Front Matter / / 417--417 \\
                 Method to Create Multiple Choice Exercises for Computer
                 Algebra System / Tatsuyoshi Hamada, Yoshiyuki Nakagawa,
                 Makoto Tamura / 419--425 \\
                 A Flow-Based Programming Environment for Geometrical
                 Construction / Kento Nakamura, Kazushi Ahara / 426--431
                 \\
                 MORLAB --- A Model Order Reduction Framework in MATLAB
                 and Octave / Peter Benner, Steffen W. R. Werner /
                 432--441 \\
                 FlexRiLoG --- A SageMath Package for Motions of Graphs
                 / Georg Grasegger, Jan Legersk{\'y} / 442--450 \\
                 Markov Transition Matrix Analysis of Mathematical
                 Expression Input Models / Francis Quinby, Seyeon Kim,
                 Sohee Kang, Marco Pollanen, Michael G. Reynolds, Wesley
                 S. Burr / 451--461 \\
                 Certifying Irreducibility in $\mathbb{Z}[ ]$ / John
                 Abbott / 462--472 \\
                 A Content Dictionary for In-Object Comments / Lars
                 Hellstr{\"o}m / 473--481 \\
                 Implementing the Tangent Graeffe Root Finding Method /
                 Joris van der Hoeven, Michael Monagan / 482--492 \\
                 Back Matter / / 493--494",
}


bibtype: proceedings
filename: elefunt.bib
label: Cornea:2020:ISC
editor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
publisher: pub-IEEE
address: pub-IEEE:adr
pages: xxiii + 494
year: 2020
DOI: https://doi.org/10.1109/ARITH48897.2020
ISBN: 1-72817-120-2, 1-72817-121-0 OR 1728171202, 1728171210
ISBN13: 978-1-72817-120-3, 978-1-72817-121-0 OR 9781728171203, 9781728171210
bibdate: Wed Jul 7 06:23:45 MDT 2021
bibtimestamp: 2021.07.07 06:23:45 MDT
URL: https://ieeexplore.ieee.org/servlet/opac?punumber=9146973
acknowledgement: ack-nhfb
raweditor: Marius Cornea and Weiqiang Liu and Arnaud Tisserand
booktitle:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

title:
2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/benfords-law.bib; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib

rawbooktitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

rawtitle:
{2020 27th IEEE Symposium on Computer Arithmetic: ARITH 2020: proceedings: Portland, Oregon, USA, 7--10 June 2020}

entry:
@Proceedings{Cornea:2020:ISC,
  editor =       "Marius Cornea and Weiqiang Liu and Arnaud Tisserand",
  booktitle =    "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  title =        "{2020 27th IEEE Symposium on Computer Arithmetic:
                 ARITH 2020: proceedings: Portland, Oregon, USA, 7--10
                 June 2020}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  year =         "2020",
  DOI =          "https://doi.org/10.1109/ARITH48897.2020",
  ISBN =         "1-72817-120-2, 1-72817-121-0",
  ISBN-13 =      "978-1-72817-120-3, 978-1-72817-121-0",
  LCCN =         "????",
  bibdate =      "Wed Jul 7 06:23:45 MDT 2021",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/benfords-law.bib;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "https://ieeexplore.ieee.org/servlet/opac?punumber=9146973",
  acknowledgement = ack-nhfb,
}


bibtype: book
filename: elefunt.bib
label: Ismail:2020:ESF
editor: Mourad H. Ismail and Walter Van Assche
publisher: pub-CAMBRIDGE
address: pub-CAMBRIDGE:adr
pages: xiv + 388
year: 2020
DOI: https://doi.org/10.1017/9780511979156
LCCN: QA351 .E63 2020
bibdate: Fri Nov 10 17:02:40 MST 2023
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib
bibtimestamp: 2023.11.10 17:02:40 MST
subject: Functions, Special; Encyclopedias; Fonctions speciales; Encyclopedies; Functions, Special
acknowledgement: ack-nhfb
raweditor: Mourad H. Ismail and Walter Van Assche
booktitle:
Encyclopedia of Special Functions: the Askey--Bateman Project. Volume 1, Univariate Orthogonal Polynomials

title:
Encyclopedia of Special Functions: the Askey--Bateman Project. Volume 1, Univariate Orthogonal Polynomials

ISBN:
0-511-97915-0 (e-book), 0-521-19742-2 (hardcover), 1-108-76433-9 (e-book) OR 0511979150 (ebook), 0521197422 (hardcover), 1108764339 (ebook)

ISBN13:
978-0-511-97915-6 (e-book), 978-0-521-19742-7 (hardcover), 978-1-108-76433-9 (e-book) OR 9780511979156 (ebook), 9780521197427 (hardcover), 9781108764339 (ebook)

abstract:
This is the first of three volumes that form the Encyclopedia of Special Functions, an extensive update of the Bateman Manuscript Project. Volume 1 contains most of the material on orthogonal polynomials, from the classical orthogonal polynomials of Hermite, Laguerre and Jacobi to the Askey--Wilson polynomials, which are the most general basic hypergeometric orthogonal polynomials. Separate chapters cover orthogonal polynomials on the unit circle, zeros of orthogonal polynomials and matrix orthogonal polynomials, with detailed results about matrix-valued Jacobi polynomials. A chapter on moment problems provides many examples of indeterminate moment problems. A thorough bibliography rounds off what will be an essential reference.

TOC:
Frontmatter / i--iv Contents / v--viii Contributors / ix--x Preface / xi--xiv 1: Preliminaries / Mourad E. H. Ismail / 1--15 2: General Orthogonal Polynomials / Mourad E. H. Ismail / 16--50 3: Jacobi and Related Polynomials / Mourad E. H. Ismail / 51--99 4: Recursively Defined Polynomials / Mourad E. H. Ismail / 100--118 5: Wilson and Related Polynomials / Mourad E. H. Ismail / 119--128 6: Discrete Orthogonal Polynomials / Mourad E. H. Ismail / 129--156 7: Some $q$-Orthogonal Polynomials / Mourad E. H. Ismail / 157--177 8: The Askey--Wilson Family of Polynomials / Mourad E. H. Ismail / 178--198 9: Orthogonal Polynomials on the Unit Circle / Leonid Golinskii / 199--241 10: Zeros of Orthogonal Polynomials / Andrea Laforgia and Martin E. Muldoon / 242--268 11: The Moment Problem / Christian Berg and Jacob S. Christiansen / 269--306 12: Matrix--Valued Orthogonal Polynomials and Differential Equations / Antonio J. Duran and F. Alberto Grunbaum / 307--333 13: Some Families of Matrix--Valued Jacobi Orthogonal Polynomials / F. Alberto Grunbaum, I. Pacharoni and J. A. Tirao / 334--356 References / 357--384 Index / 385--388

rawabstract:
This is the first of three volumes that form the Encyclopedia of Special Functions, an extensive update of the Bateman Manuscript Project. Volume 1 contains most of the material on orthogonal polynomials, from the classical orthogonal polynomials of Hermite, Laguerre and Jacobi to the Askey--Wilson polynomials, which are the most general basic hypergeometric orthogonal polynomials. Separate chapters cover orthogonal polynomials on the unit circle, zeros of orthogonal polynomials and matrix orthogonal polynomials, with detailed results about matrix-valued Jacobi polynomials. A chapter on moment problems provides many examples of indeterminate moment problems. A thorough bibliography rounds off what will be an essential reference.

rawbooktitle:
Encyclopedia of Special Functions: the {Askey--Bateman Project}. Volume 1, Univariate Orthogonal Polynomials

rawtitle:
Encyclopedia of Special Functions: the {Askey--Bateman Project}. Volume 1, Univariate Orthogonal Polynomials

rawTOC:
Frontmatter / i--iv \\ Contents / v--viii \\ Contributors / ix--x \\ Preface / xi--xiv \\ 1: Preliminaries / Mourad E. H. Ismail / 1--15 \\ 2: General Orthogonal Polynomials / Mourad E. H. Ismail / 16--50 \\ 3: Jacobi and Related Polynomials / Mourad E. H. Ismail / 51--99 \\ 4: Recursively Defined Polynomials / Mourad E. H. Ismail / 100--118 \\ 5: Wilson and Related Polynomials / Mourad E. H. Ismail / 119--128 \\ 6: Discrete Orthogonal Polynomials / Mourad E. H. Ismail / 129--156 \\ 7: Some $q$-Orthogonal Polynomials / Mourad E. H. Ismail / 157--177 \\ 8: The Askey--Wilson Family of Polynomials / Mourad E. H. Ismail / 178--198 \\ 9: Orthogonal Polynomials on the Unit Circle / Leonid Golinskii / 199--241 \\ 10: Zeros of Orthogonal Polynomials / Andrea Laforgia and Martin E. Muldoon / 242--268 \\ 11: The Moment Problem / Christian Berg and Jacob S. Christiansen / 269--306 \\ 12: Matrix--Valued Orthogonal Polynomials and Differential Equations / Antonio J. Dur{\'a}n and F. Alberto Gr{\"u}nbaum / 307--333 \\ 13: Some Families of Matrix--Valued Jacobi Orthogonal Polynomials / F. Alberto Gr{\"u}nbaum, I. Pacharoni and J. A. Tirao / 334--356 \\ References / 357--384 \\ Index / 385--388

entry:
@Book{Ismail:2020:ESF,
  editor =       "Mourad H. Ismail and Walter Van Assche",
  booktitle =    "Encyclopedia of Special Functions: the {Askey--Bateman
                 Project}. Volume 1, Univariate Orthogonal Polynomials",
  title =        "Encyclopedia of Special Functions: the {Askey--Bateman
                 Project}. Volume 1, Univariate Orthogonal Polynomials",
  publisher =    pub-CAMBRIDGE,
  address =      pub-CAMBRIDGE:adr,
  pages =        "xiv + 388",
  year =         "2020",
  DOI =          "https://doi.org/10.1017/9780511979156",
  ISBN =         "0-511-97915-0 (e-book), 0-521-19742-2 (hardcover),
                 1-108-76433-9 (e-book)",
  ISBN-13 =      "978-0-511-97915-6 (e-book), 978-0-521-19742-7
                 (hardcover), 978-1-108-76433-9 (e-book)",
  LCCN =         "QA351 .E63 2020",
  bibdate =      "Fri Nov 10 17:02:40 MST 2023",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib",
  abstract =     "This is the first of three volumes that form the
                 Encyclopedia of Special Functions, an extensive update
                 of the Bateman Manuscript Project. Volume 1 contains
                 most of the material on orthogonal polynomials, from
                 the classical orthogonal polynomials of Hermite,
                 Laguerre and Jacobi to the Askey--Wilson polynomials,
                 which are the most general basic hypergeometric
                 orthogonal polynomials. Separate chapters cover
                 orthogonal polynomials on the unit circle, zeros of
                 orthogonal polynomials and matrix orthogonal
                 polynomials, with detailed results about matrix-valued
                 Jacobi polynomials. A chapter on moment problems
                 provides many examples of indeterminate moment
                 problems. A thorough bibliography rounds off what will
                 be an essential reference.",
  acknowledgement = ack-nhfb,
  subject =      "Functions, Special; Encyclopedias; Fonctions
                 sp{\'e}ciales; Encyclop{\'e}dies; Functions, Special",
  tableofcontents = "Frontmatter / i--iv \\
                 Contents / v--viii \\
                 Contributors / ix--x \\
                 Preface / xi--xiv \\
                 1: Preliminaries / Mourad E. H. Ismail / 1--15 \\
                 2: General Orthogonal Polynomials / Mourad E. H. Ismail
                 / 16--50 \\
                 3: Jacobi and Related Polynomials / Mourad E. H. Ismail
                 / 51--99 \\
                 4: Recursively Defined Polynomials / Mourad E. H.
                 Ismail / 100--118 \\
                 5: Wilson and Related Polynomials / Mourad E. H. Ismail
                 / 119--128 \\
                 6: Discrete Orthogonal Polynomials / Mourad E. H.
                 Ismail / 129--156 \\
                 7: Some $q$-Orthogonal Polynomials / Mourad E. H.
                 Ismail / 157--177 \\
                 8: The Askey--Wilson Family of Polynomials / Mourad E.
                 H. Ismail / 178--198 \\
                 9: Orthogonal Polynomials on the Unit Circle / Leonid
                 Golinskii / 199--241 \\
                 10: Zeros of Orthogonal Polynomials / Andrea Laforgia
                 and Martin E. Muldoon / 242--268 \\
                 11: The Moment Problem / Christian Berg and Jacob S.
                 Christiansen / 269--306 \\
                 12: Matrix--Valued Orthogonal Polynomials and
                 Differential Equations / Antonio J. Dur{\'a}n and F.
                 Alberto Gr{\"u}nbaum / 307--333 \\
                 13: Some Families of Matrix--Valued Jacobi Orthogonal
                 Polynomials / F. Alberto Gr{\"u}nbaum, I. Pacharoni and
                 J. A. Tirao / 334--356 \\
                 References / 357--384 \\
                 Index / 385--388",
}


bibtype: book
filename: elefunt.bib
label: Koornwinder:2020:ESF
editor: T. H. Koornwinder and Jasper V. Stokman
publisher: pub-CAMBRIDGE
address: pub-CAMBRIDGE:adr
pages: xii + 427
year: 2020
DOI: https://doi.org/10.1017/9780511777165
ISBN: 0-511-77716-7 (e-book), 1-107-00373-3 (hardcover) OR 0511777167 (ebook), 1107003733 (hardcover)
LCCN: QA351 .E63 2021
bibdate: Fri Nov 10 17:39:45 MST 2023
bibsource: fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib
bibtimestamp: 2023.11.10 17:39:45 MST
acknowledgement: ack-nhfb
raweditor: T. H. Koornwinder and Jasper V. Stokman
booktitle:
Encyclopedia of Special Functions: the Askey--Bateman Project. Volume 2. Multivariable Special Functions

title:
Encyclopedia of Special Functions: the Askey--Bateman Project. Volume 2. Multivariable Special Functions

ISBN13:
978-0-511-77716-5 (e-book), 978-1-107-00373-6 (hardcover) OR 9780511777165 (ebook), 9781107003736 (hardcover)

TOC:
Frontmatter / i--iv Contents / v--viii List of Contributors / ix--x Preface / xi--xii 1: General Overview of Multivariable Special Functions / T. H. Koornwinder, J. V. Stokman / 1--18 2: Orthogonal Polynomials of Several Variables / Yuan Xu / 19--78 3: Appell and Lauricella Hypergeometric Functions / K. Matsumoto / 79--100 4: A-Hypergeometric Functions / N. Takayama / 101--121 5: Hypergeometric and Basic Hypergeometric Series and Integrals Associated with Root Systems / M. J. Schlosser / 122--158 6: Elliptic Hypergeometric Functions Associated with Root Systems / H. Rosengren, S. O. Warnaar / 159--186 7: Dunkl Operators and Related Special Functions / C. F. Dunkl / 187--216 8: Jacobi Polynomials and Hypergeometric Functions Associated with Root Systems / G. J. Heckman, E. M. Opdam / 217--257 9: Macdonald--Koornwinder Polynomials / J. V. Stokman / 258--313 10: Combinatorial Aspects of Macdonald and Related Polynomials / J. Haglund / 314--367 11: Knizhnik--Zamolodchikov-Type Equations, Selberg Integrals and Related Special Functions / V. Tarasov, A. Varchenko / 368--401 12: $9 j$--Coefficients and Higher / J. Van der Jeugt / 402--419 Index / 420--428

rawbooktitle:
Encyclopedia of Special Functions: the {Askey--Bateman Project}. Volume 2. Multivariable Special Functions

rawtitle:
Encyclopedia of Special Functions: the {Askey--Bateman Project}. Volume 2. Multivariable Special Functions

rawTOC:
Frontmatter / i--iv \\ Contents / v--viii \\ List of Contributors / ix--x \\ Preface / xi--xii \\ 1: General Overview of Multivariable Special Functions / T. H. Koornwinder, J. V. Stokman / 1--18 \\ 2: Orthogonal Polynomials of Several Variables / Yuan Xu / 19--78 \\ 3: Appell and Lauricella Hypergeometric Functions / K. Matsumoto / 79--100 \\ 4: A-Hypergeometric Functions / N. Takayama / 101--121 \\ 5: Hypergeometric and Basic Hypergeometric Series and Integrals Associated with Root Systems / M. J. Schlosser / 122--158 \\ 6: Elliptic Hypergeometric Functions Associated with Root Systems / H. Rosengren, S. O. Warnaar / 159--186 \\ 7: Dunkl Operators and Related Special Functions / C. F. Dunkl / 187--216 \\ 8: Jacobi Polynomials and Hypergeometric Functions Associated with Root Systems / G. J. Heckman, E. M. Opdam / 217--257 \\ 9: Macdonald--Koornwinder Polynomials / J. V. Stokman / 258--313 \\ 10: Combinatorial Aspects of Macdonald and Related Polynomials / J. Haglund / 314--367 \\ 11: Knizhnik--Zamolodchikov-Type Equations, Selberg Integrals and Related Special Functions / V. Tarasov, A. Varchenko / 368--401 \\ 12: $9 j$--Coefficients and Higher / J. Van der Jeugt / 402--419 \\ Index / 420--428

entry:
@Book{Koornwinder:2020:ESF,
  editor =       "T. H. Koornwinder and Jasper V. Stokman",
  booktitle =    "Encyclopedia of Special Functions: the {Askey--Bateman
                 Project}. Volume 2. Multivariable Special Functions",
  title =        "Encyclopedia of Special Functions: the {Askey--Bateman
                 Project}. Volume 2. Multivariable Special Functions",
  publisher =    pub-CAMBRIDGE,
  address =      pub-CAMBRIDGE:adr,
  pages =        "xii + 427",
  year =         "2020",
  DOI =          "https://doi.org/10.1017/9780511777165",
  ISBN =         "0-511-77716-7 (e-book), 1-107-00373-3 (hardcover)",
  ISBN-13 =      "978-0-511-77716-5 (e-book), 978-1-107-00373-6
                 (hardcover)",
  LCCN =         "QA351 .E63 2021",
  bibdate =      "Fri Nov 10 17:39:45 MST 2023",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib",
  acknowledgement = ack-nhfb,
  tableofcontents = "Frontmatter / i--iv \\
                 Contents / v--viii \\
                 List of Contributors / ix--x \\
                 Preface / xi--xii \\
                 1: General Overview of Multivariable Special Functions
                 / T. H. Koornwinder, J. V. Stokman / 1--18 \\
                 2: Orthogonal Polynomials of Several Variables / Yuan
                 Xu / 19--78 \\
                 3: Appell and Lauricella Hypergeometric Functions / K.
                 Matsumoto / 79--100 \\
                 4: A-Hypergeometric Functions / N. Takayama / 101--121
                 \\
                 5: Hypergeometric and Basic Hypergeometric Series and
                 Integrals Associated with Root Systems / M. J.
                 Schlosser / 122--158 \\
                 6: Elliptic Hypergeometric Functions Associated with
                 Root Systems / H. Rosengren, S. O. Warnaar / 159--186
                 \\
                 7: Dunkl Operators and Related Special Functions / C.
                 F. Dunkl / 187--216 \\
                 8: Jacobi Polynomials and Hypergeometric Functions
                 Associated with Root Systems / G. J. Heckman, E. M.
                 Opdam / 217--257 \\
                 9: Macdonald--Koornwinder Polynomials / J. V. Stokman /
                 258--313 \\
                 10: Combinatorial Aspects of Macdonald and Related
                 Polynomials / J. Haglund / 314--367 \\
                 11: Knizhnik--Zamolodchikov-Type Equations, Selberg
                 Integrals and Related Special Functions / V. Tarasov,
                 A. Varchenko / 368--401 \\
                 12: $9 j$--Coefficients and Higher / J. Van der Jeugt /
                 402--419 \\
                 Index / 420--428",
}


bibtype: proceedings
filename: elefunt.bib
label: IEEE:2021:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2021
DOI: https://doi.org/10.1109/ARITH51176.2021
ISBN: 1-66542-293-9 (print), 1-66544-648-X (e-book) OR 1665422939 (print), 166544648X (ebook)
bibdate: Thu Sep 21 10:36:52 MDT 2023
bibtimestamp: 2023.09.21 10:36:52 MDT
keywords: ARITH-28
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

title:
2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings

ISBN13:
978-1-66542-293-2 (print), 978-1-66544-648-8 (e-book) OR 9781665422932 (print), 9781665446488 (ebook)

bibsource:
fsz3950.oclc.org:210/WorldCat; https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

remark:
The 28th IEEE Symposium on Computer Arithmetic --- ARITH 2021 --- originally scheduled in Turin, Italy, is held in June 2021 as a virtual conference due to the uncertainty of the world health and travel situation.

rawbooktitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

rawtitle:
{2021 IEEE 28th Symposium on Computer Arithmetic: ARITH 2021: virtual conference, 14--16 June 2021: proceedings}

entry:
@Proceedings{IEEE:2021:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  title =        "{2021 IEEE 28th Symposium on Computer Arithmetic:
                 ARITH 2021: virtual conference, 14--16 June 2021:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2021",
  DOI =          "https://doi.org/10.1109/ARITH51176.2021",
  ISBN =         "1-66542-293-9 (print), 1-66544-648-X (e-book)",
  ISBN-13 =      "978-1-66542-293-2 (print), 978-1-66544-648-8
                 (e-book)",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:36:52 MDT 2023",
  bibsource =    "fsz3950.oclc.org:210/WorldCat;
                 https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/ieeetransemergtopcomput.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-28",
  meetingname =  "IEEE International Symposium on Computer Arithmetic
                 28. 2021",
  remark =       "The 28th IEEE Symposium on Computer Arithmetic ---
                 ARITH 2021 --- originally scheduled in Turin, Italy, is
                 held in June 2021 as a virtual conference due to the
                 uncertainty of the world health and travel situation.",
}


bibtype: proceedings
filename: elefunt.bib
label: IEEE:2022:ISC
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
year: 2022
DOI: https://doi.org/10.1109/ARITH54963.2022
ISBN: 1-66547-827-6, 1-66547-828-4 OR 1665478276, 1665478284
ISBN13: 978-1-66547-827-4, 978-1-66547-828-1 OR 9781665478274, 9781665478281
bibdate: Thu Sep 21 10:14:25 2023
bibtimestamp: 2023.09.21 10:14:25 ???
keywords: ARITH-29
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

title:
2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings

bibsource:
https://www.math.utah.edu/pub/tex/bib/elefunt.bib; https://www.math.utah.edu/pub/tex/bib/fparith.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib

rawbooktitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

rawtitle:
{2022 IEEE 29th Symposium on Computer Arithmetic: ARITH 2022: virtual conference, 12--14 September 2022: proceedings}

entry:
@Proceedings{IEEE:2022:ISC,
  editor =       "{IEEE}",
  booktitle =    "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  title =        "{2022 IEEE 29th Symposium on Computer Arithmetic:
                 ARITH 2022: virtual conference, 12--14 September 2022:
                 proceedings}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "????",
  year =         "2022",
  DOI =          "https://doi.org/10.1109/ARITH54963.2022",
  ISBN =         "1-66547-827-6, 1-66547-828-4",
  ISBN-13 =      "978-1-66547-827-4, 978-1-66547-828-1",
  LCCN =         "????",
  bibdate =      "Thu Sep 21 10:14:25 2023",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-29",
  meetingname =  "IEEE Symposium on Computer Arithmetic 29. 2022",
}


bibtype: proceedings
filename: elefunt.bib
label: IEEE:2023:PIS
editor: IEEE
publisher: pub-IEEE
address: pub-IEEE:adr
pages: 167
year: 2023
bibdate: Wed May 08 09:18:10 2024
bibtimestamp: 2024.05.08 09:18:10 ???
keywords: ARITH-30
acknowledgement: ack-nhfb
raweditor: {IEEE}
booktitle:
Proceedings: 2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States

title:
Proceedings: 2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States

ISBN13:
979-83-503-1923-1 (print), 979-83-503-1922-4 (electronic) OR 9798350319231 (print), 9798350319224 (electronic)

rawbooktitle:
Proceedings: {2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States}

rawtitle:
Proceedings: {2023 IEEE 30th Symposium on Computer Arithmetic: ARITH 2023, 4--6 September 2023 Portland, United States}

entry:
@Proceedings{IEEE:2023:PIS,
  editor =       "{IEEE}",
  booktitle =    "Proceedings: {2023 IEEE 30th Symposium on Computer
                 Arithmetic: ARITH 2023, 4--6 September 2023 Portland,
                 United States}",
  title =        "Proceedings: {2023 IEEE 30th Symposium on Computer
                 Arithmetic: ARITH 2023, 4--6 September 2023 Portland,
                 United States}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "167",
  year =         "2023",
  ISBN-13 =      "979-83-503-1923-1 (print), 979-83-503-1922-4
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Wed May 08 09:18:10 2024",
  bibsource =    "https://www.math.utah.edu/pub/tex/bib/elefunt.bib;
                 https://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 https://www.math.utah.edu/pub/tex/bib/risc-v.bib",
  acknowledgement = ack-nhfb,
  keywords =     "ARITH-30",
}


