# bibtab

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",
}


