From e58f86bcb313513c682616849ad6e4b787a760ef Mon Sep 17 00:00:00 2001 From: Tim Daly Date: Sat, 21 Jan 2017 06:53:36 -0500 Subject: [PATCH] readme add Jeremy Avigad to credit list Goal: Axiom Credits --- books/bookheader.tex | 188 ++++++++++++++++++------------------ books/bookvol10.4.pamphlet | 188 ++++++++++++++++++------------------ books/bookvol5.pamphlet | 189 ++++++++++++++++++------------------ changelog | 6 + patch | 62 +----------- readme | 189 ++++++++++++++++++------------------ src/axiom-website/patches.html | 2 + src/input/unittest1.input.pamphlet | 190 ++++++++++++++++++------------------ 8 files changed, 483 insertions(+), 531 deletions(-) diff --git a/books/bookheader.tex b/books/bookheader.tex index 7e9789c..54a6ad7 100644 --- a/books/bookheader.tex +++ b/books/bookheader.tex @@ -99,104 +99,104 @@ influence on Axiom development. \begin{tabular}{lll} Michael Albaugh & Cyril Alberga & Roy Adler\\ Christian Aistleitner & Richard Anderson & George Andrews\\ -S.J. Atkins & Henry Baker & Martin Baker\\ -Stephen Balzac & Yurij Baransky & David R. Barton\\ -Thomas Baruchel & Gerald Baumgartner & Gilbert Baumslag\\ -Michael Becker & Nelson H. F. Beebe & Jay Belanger\\ -David Bindel & Fred Blair & Vladimir Bondarenko\\ -Mark Botch & Raoul Bourquin & Alexandre Bouyer\\ -Karen Braman & Wolfgang Brehm & Peter A. Broadbery\\ -Martin Brock & Manuel Bronstein & Stephen Buchwald\\ -Florian Bundschuh & Luanne Burns & William Burge\\ -Ralph Byers & Quentin Carpent & Robert Caviness\\ -Bruce Char & Ondrej Certik & Tzu-Yi Chen\\ -Bobby Cheng & Cheekai Chin & David V. Chudnovsky\\ -Gregory V. Chudnovsky & Mark Clements & James Cloos\\ -Jia Zhao Cong & Josh Cohen & Christophe Conil\\ -Don Coppersmith & George Corliss & Robert Corless\\ -Gary Cornell & Meino Cramer & Jeremy Du Croz\\ -David Cyganski & Nathaniel Daly & Timothy Daly Sr.\\ -Timothy Daly Jr. & James H. Davenport & David Day\\ -James Demmel & Didier Deshommes & Michael Dewar\\ -Inderjit Dhillon & Jack Dongarra & Jean Della Dora\\ -Gabriel Dos Reis & Claire DiCrescendo & Sam Dooley\\ -Zlatko Drmac & Lionel Ducos & Iain Duff\\ -Lee Duhem & Martin Dunstan & Brian Dupee\\ -Dominique Duval & Robert Edwards & Heow Eide-Goodman\\ -Lars Erickson & Mark Fahey & Richard Fateman\\ -Bertfried Fauser & Stuart Feldman & John Fletcher\\ -Brian Ford & Albrecht Fortenbacher & George Frances\\ -Constantine Frangos & Timothy Freeman & Korrinn Fu\\ -Marc Gaetano & Rudiger Gebauer & Van de Geijn\\ -Kathy Gerber & Patricia Gianni & Gustavo Goertkin\\ -Samantha Goldrich & Holger Gollan & Teresa Gomez-Diaz\\ -Laureano Gonzalez-Vega & Stephen Gortler & Johannes Grabmeier\\ -Matt Grayson & Klaus Ebbe Grue & James Griesmer\\ -Vladimir Grinberg & Oswald Gschnitzer & Ming Gu\\ -Jocelyn Guidry & Gaetan Hache & Steve Hague\\ -Satoshi Hamaguchi & Sven Hammarling & Mike Hansen\\ -Richard Hanson & Richard Harke & Bill Hart\\ -Vilya Harvey & Martin Hassner & Arthur S. Hathaway\\ -Dan Hatton & Waldek Hebisch & Karl Hegbloom\\ -Ralf Hemmecke & Henderson & Antoine Hersen\\ -Nicholas J. Higham & Roger House & Gernot Hueber\\ -Pietro Iglio & Alejandro Jakubi & Richard Jenks\\ -Bo Kagstrom & William Kahan & Kyriakos Kalorkoti\\ -Kai Kaminski & Grant Keady & Wilfrid Kendall\\ -Tony Kennedy & David Kincaid & Ted Kosan\\ +S.J. Atkins & Jeremy Avigad & Henry Baker\\ +Martin Baker & Stephen Balzac & Yurij Baransky\\ +David R. Barton & Thomas Baruchel & Gerald Baumgartner\\ +Gilbert Baumslag & Michael Becker & Nelson H. F. Beebe\\ +Jay Belanger & David Bindel & Fred Blair\\ +Vladimir Bondarenko & Mark Botch & Raoul Bourquin\\ +Alexandre Bouyer & Karen Braman & Wolfgang Brehm\\ +Peter A. Broadbery & Martin Brock & Manuel Bronstein\\ +Stephen Buchwald & Florian Bundschuh & Luanne Burns\\ +William Burge & Ralph Byers & Quentin Carpent\\ +Robert Cavines & Bruce Char & Ondrej Certik\\ +Tzu-Yi Chen & Bobby Cheng & Cheekai Chin\\ +David V. Chudnovsky & Gregory V. Chudnovsky & Mark Clements\\ +James Cloos & Jia Zhao Cong & Josh Cohen\\ +Christophe Conil & Don Coppersmith & George Corliss\\ +Robert Corless & Gary Cornell & Meino Cramer\\ +Jeremy Du Croz & David Cyganski & Nathaniel Daly\\ +Timothy Daly Sr. & Timothy Daly Jr. & James H. Davenport\\ +David Day & James Demmel & Didier Deshommes\\ +Michael Dewar & Inderjit Dhillon & Jack Dongarra\\ +Jean Della Dora & Gabriel Dos Reis & Claire DiCrescendo\\ +Sam Dooley & Zlatko Drmac & Lionel Ducos\\ +Iain Duff & Lee Duhem & Martin Dunstan\\ +Brian Dupee & Dominique Duval & Robert Edwards\\ +Heow Eide-Goodman & Lars Erickson & Mark Fahey\\ +Richard Fateman & Bertfried Fauser & Stuart Feldman\\ +John Fletcher & Brian Ford & Albrecht Fortenbacher\\ +George Frances & Constantine Frangos & Timothy Freeman\\ +Korrinn Fu & Marc Gaetano & Rudiger Gebauer\\ +Van de Geijn & Kathy Gerber & Patricia Gianni\\ +Gustavo Goertkin & Samantha Goldrich & Holger Gollan\\ +Teresa Gomez-Diaz & Laureano Gonzalez-Vega & Stephen Gortler\\ +Johannes Grabmeier & Matt Grayson & Klaus Ebbe Grue\\ +James Griesmer & Vladimir Grinberg & Oswald Gschnitzer\\ +Ming Gu & Jocelyn Guidry & Gaetan Hache\\ +Steve Hague & Satoshi Hamaguchi & Sven Hammarling\\ +Mike Hansen & Richard Hanson & Richard Harke\\ +Bill Hart & Vilya Harvey & Martin Hassner\\ +Arthur S. Hathaway & Dan Hatton & Waldek Hebisch\\ +Karl Hegbloom & Ralf Hemmecke & Henderson\\ +Antoine Hersen & Nicholas J. Higham & Roger House\\ +Gernot Hueber & Pietro Iglio & Alejandro Jakubi\\ +Richard Jenks & Bo Kagstrom & William Kahan\\ +Kyriakos Kalorkoti & Kai Kaminski & Grant Keady\\ +Wilfrid Kendall & Tony Kennedy & David Kincaid \end{tabular} \vfill \newpage \begin{tabular}{lll} -Paul Kosinski & Igor Kozachenko & Fred Krogh\\ -Klaus Kusche & Bernhard Kutzler & Tim Lahey\\ -Larry Lambe & Kaj Laurson & Charles Lawson\\ -George L. Legendre & Franz Lehner & Frederic Lehobey\\ -Michel Levaud & Howard Levy & J. Lewis\\ -Ren-Cang Li & Rudiger Loos & Craig Lucas\\ -Michael Lucks & Richard Luczak & Camm Maguire\\ -Francois Maltey & Osni Marques & Alasdair McAndrew\\ -Bob McElrath & Michael McGettrick & Edi Meier\\ -Ian Meikle & David Mentre & Victor S. Miller\\ -Gerard Milmeister & Mohammed Mobarak & H. Michael Moeller\\ -Michael Monagan & Marc Moreno-Maza & Scott Morrison\\ -Joel Moses & Mark Murray & William Naylor\\ -Patrice Naudin & C. Andrew Neff & John Nelder\\ -Godfrey Nolan & Arthur Norman & Jinzhong Niu\\ -Michael O'Connor & Summat Oemrawsingh & Kostas Oikonomou\\ -Humberto Ortiz-Zuazaga & Julian A. Padget & Bill Page\\ -David Parnas & Susan Pelzel & Michel Petitot\\ -Didier Pinchon & Ayal Pinkus & Frederick H. Pitts\\ -Jose Alfredo Portes & E. Quintana-Orti & Gregorio Quintana-Orti\\ -Beresford Parlett & A. Petitet & Peter Poromaa\\ -Claude Quitte & Arthur C. Ralfs & Norman Ramsey\\ -Anatoly Raportirenko & Guilherme Reis & Huan Ren\\ -Albert D. Rich & Michael Richardson & Jason Riedy\\ -Renaud Rioboo & Jean Rivlin & Nicolas Robidoux\\ -Simon Robinson & Raymond Rogers & Michael Rothstein\\ -Martin Rubey & Jeff Rutter & Philip Santas\\ -Alfred Scheerhorn & William Schelter & Gerhard Schneider\\ -Martin Schoenert & Marshall Schor & Frithjof Schulze\\ -Fritz Schwarz & Steven Segletes & V. Sima\\ -Nick Simicich & William Sit & Elena Smirnova\\ -Ken Stanley & Jonathan Steinbach & Fabio Stumbo\\ -Christine Sundaresan & Robert Sutor & Moss E. Sweedler\\ -Eugene Surowitz & Max Tegmark & T. Doug Telford\\ -James Thatcher & Laurent Thery & Balbir Thomas\\ -Mike Thomas & Dylan Thurston & Francoise Tisseur\\ -Steve Toleque & Raymond Toy & Barry Trager\\ -Themos T. Tsikas & Gregory Vanuxem & Kresimir Veselic\\ -Christof Voemel & Bernhard Wall & Stephen Watt\\ -Jaap Weel & Juergen Weiss & M. Weller\\ -Mark Wegman & James Wen & Thorsten Werther\\ -Michael Wester & R. Clint Whaley & James T. Wheeler\\ -John M. Wiley & Berhard Will & Clifton J. Williamson\\ -Stephen Wilson & Shmuel Winograd & Robert Wisbauer\\ -Sandra Wityak & Waldemar Wiwianka & Knut Wolf\\ -Yanyang Xiao & Liu Xiaojun & Clifford Yapp\\ -David Yun & Qian Yun & Vadim Zhytnikov\\ -Richard Zippel & Evelyn Zoernack & Bruno Zuercher\\ -Dan Zwillinger +Ted Kosan & Paul Kosinski & Igor Kozachenko\\ +Fred Krogh & Klaus Kusche & Bernhard Kutzler\\ +Tim Lahey & Larry Lambe & Kaj Laurson\\ +Charles Lawson & George L. Legendre & Franz Lehner\\ +Frederic Lehobey & Michel Levaud & Howard Levy\\ +J. Lewis & Ren-Cang Li & Rudiger Loos\\ +Craig Lucas & Michael Lucks & Richard Luczak\\ +Camm Maguire & Francois Maltey & Osni Marques\\ +Alasdair McAndrew & Bob McElrath & Michael McGettrick\\ +Edi Meier & Ian Meikle & David Mentre\\ +Victor S. Miller & Gerard Milmeister & Mohammed Mobarak\\ +H. Michael Moeller & Michael Monagan & Marc Moreno-Maza\\ +Scott Morrison & Joel Moses & Mark Murray\\ +William Naylor & Patrice Naudin & C. Andrew Neff\\ +John Nelder & Godfrey Nolan & Arthur Norman\\ +Jinzhong Niu & Michael O'Connor & Summat Oemrawsingh\\ +Kostas Oikonomou & Humberto Ortiz-Zuazaga & Julian A. Padget\\ +Bill Page & David Parnas & Susan Pelzel\\ +Michel Petitot & Didier Pinchon & Ayal Pinkus\\ +Frederick H. Pitts & Jose Alfredo Portes & E. Quintana-Orti\\ +Gregorio Quintana-Orti & Beresford Parlett & A. Petitet\\ +Peter Poromaa & Claude Quitte & Arthur C. Ralfs\\ +Norman Ramsey & Anatoly Raportirenko & Guilherme Reis\\ +Huan Ren & Albert D. Rich & Michael Richardson\\ +Jason Riedy & Renaud Rioboo & Jean Rivlin\\ +Nicolas Robidoux & Simon Robinson & Raymond Rogers\\ +Michael Rothstein & Martin Rubey & Jeff Rutter\\ +Philip Santas & Alfred Scheerhorn & William Schelter\\ +Gerhard Schneider & Martin Schoenert & Marshall Schor\\ +Frithjof Schulze & Fritz Schwarz & Steven Segletes\\ +V. Sima & Nick Simicich & William Sit\\ +Elena Smirnova & Ken Stanley & Jonathan Steinbach\\ +Fabio Stumbo & Christine Sundaresan & Robert Sutor\\ +Moss E. Sweedler & Eugene Surowitz & Max Tegmark\\ +T. Doug Telford & James Thatcher & Laurent Thery\\ +Balbir Thomas & Mike Thomas & Dylan Thurston\\ +Francoise Tisseur & Steve Toleque & Raymond Toy\\ +Barry Trager & Themos T. Tsikas & Gregory Vanuxem\\ +Kresimir Veselic & Christof Voemel & Bernhard Wall\\ +Stephen Watt & Jaap Weel & Juergen Weiss\\ +M. Weller & Mark Wegman & James Wen\\ +Thorsten Werther & Michael Wester & R. Clint Whaley\\ +James T. Wheeler & John M. Wiley & Berhard Will\\ +Clifton J. Williamson & Stephen Wilson & Shmuel Winograd\\ +Robert Wisbauer & Sandra Wityak & Waldemar Wiwianka\\ +Knut Wolf & Yanyang Xiao & Liu Xiaojun\\ +Clifford Yapp & David Yun & Qian Yun\\ +Vadim Zhytnikov & Richard Zippel & Evelyn Zoernack\\ +Bruno Zuercher & Dan Zwillinger \end{tabular} \newpage diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 7a22813..e49cfbd 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -6847,100 +6847,100 @@ credits() --RAn alphabetical listing of contributors to AXIOM: --RMichael Albaugh Cyril Alberga Roy Adler --RChristian Aistleitner Richard Anderson George Andrews ---RS.J. Atkins Henry Baker Martin Baker ---RStephen Balzac Yurij Baransky David R. Barton ---RThomas Baruchel Gerald Baumgartner Gilbert Baumslag ---RMichael Becker Nelson H. F. Beebe Jay Belanger ---RDavid Bindel Fred Blair Vladimir Bondarenko ---RMark Botch Raoul Bourquin Alexandre Bouyer ---RKaren Braman Wolfgang Brehm Peter A. Broadbery ---RMartin Brock Manuel Bronstein Stephen Buchwald ---RFlorian Bundschuh Luanne Burns William Burge ---RRalph Byers Quentin Carpent Robert Cavines ---RBruce Char Ondrej Certik Tzu-Yi Chen ---RBobby Cheng Cheekai Chin David V. Chudnovsky ---RGregory V. Chudnovsky Mark Clements James Cloos ---RJia Zhao Cong Josh Cohen Christophe Conil ---RDon Coppersmith George Corliss Robert Corless ---RGary Cornell Meino Cramer Jeremy Du Croz ---RDavid Cyganski Nathaniel Daly Timothy Daly Sr. ---RTimothy Daly Jr. James H. Davenport David Day ---RJames Demmel Didier Deshommes Michael Dewar ---RInderjit Dhillon Jack Dongarra Jean Della Dora ---RGabriel Dos Reis Claire DiCrescendo Sam Dooley ---RZlatko Drmac Lionel Ducos Iain Duff ---RLee Duhem Martin Dunstan Brian Dupee ---RDominique Duval Robert Edwards Heow Eide-Goodman ---RLars Erickson Mark Fahey Richard Fateman ---RBertfried Fauser Stuart Feldman John Fletcher ---RBrian Ford Albrecht Fortenbacher George Frances ---RConstantine Frangos Timothy Freeman Korrinn Fu ---RMarc Gaetano Rudiger Gebauer Van de Geijn ---RKathy Gerber Patricia Gianni Gustavo Goertkin ---RSamantha Goldrich Holger Gollan Teresa Gomez-Diaz ---RLaureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier ---RMatt Grayson Klaus Ebbe Grue James Griesmer ---RVladimir Grinberg Oswald Gschnitzer Ming Gu ---RJocelyn Guidry Gaetan Hache Steve Hague ---RSatoshi Hamaguchi Sven Hammarling Mike Hansen ---RRichard Hanson Richard Harke Bill Hart ---RVilya Harvey Martin Hassner Arthur S. Hathaway ---RDan Hatton Waldek Hebisch Karl Hegbloom ---RRalf Hemmecke Henderson Antoine Hersen ---RNicholas J. Higham Roger House Gernot Hueber ---RPietro Iglio Alejandro Jakubi Richard Jenks ---RBo Kagstrom William Kahan Kyriakos Kalorkoti ---RKai Kaminski Grant Keady Wilfrid Kendall ---RTony Kennedy David Kincaid Ted Kosan ---RPaul Kosinski Igor Kozachenko Fred Krogh ---RKlaus Kusche Bernhard Kutzler Tim Lahey ---RLarry Lambe Kaj Laurson Charles Lawson ---RGeorge L. Legendre Franz Lehner Frederic Lehobey ---RMichel Levaud Howard Levy J. Lewis ---RRen-Cang Li Rudiger Loos Craig Lucas ---RMichael Lucks Richard Luczak Camm Maguire ---RFrancois Maltey Osni Marques Alasdair McAndrew ---RBob McElrath Michael McGettrick Edi Meier ---RIan Meikle David Mentre Victor S. Miller ---RGerard Milmeister Mohammed Mobarak H. Michael Moeller ---RMichael Monagan Marc Moreno-Maza Scott Morrison ---RJoel Moses Mark Murray William Naylor ---RPatrice Naudin C. Andrew Neff John Nelder ---RGodfrey Nolan Arthur Norman Jinzhong Niu ---RMichael O'Connor Summat Oemrawsingh Kostas Oikonomou ---RHumberto Ortiz-Zuazaga Julian A. Padget Bill Page ---RDavid Parnas Susan Pelzel Michel Petitot ---RDidier Pinchon Ayal Pinkus Frederick H. Pitts ---RJose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti ---RBeresford Parlett A. Petitet Peter Poromaa ---RClaude Quitte Arthur C. Ralfs Norman Ramsey ---RAnatoly Raportirenko Guilherme Reis Huan Ren ---RAlbert D. Rich Michael Richardson Jason Riedy ---RRenaud Rioboo Jean Rivlin Nicolas Robidoux ---RSimon Robinson Raymond Rogers Michael Rothstein ---RMartin Rubey Jeff Rutter Philip Santas ---RAlfred Scheerhorn William Schelter Gerhard Schneider ---RMartin Schoenert Marshall Schor Frithjof Schulze ---RFritz Schwarz Steven Segletes V. Sima ---RNick Simicich William Sit Elena Smirnova ---RKen Stanley Jonathan Steinbach Fabio Stumbo ---RChristine Sundaresan Robert Sutor Moss E. Sweedler ---REugene Surowitz Max Tegmark T. Doug Telford ---RJames Thatcher Laurent Thery Balbir Thomas ---RMike Thomas Dylan Thurston Francoise Tisseur ---RSteve Toleque Raymond Toy Barry Trager ---RThemos T. Tsikas Gregory Vanuxem Kresimir Veselic ---RChristof Voemel Bernhard Wall Stephen Watt ---RJaap Weel Juergen Weiss M. Weller ---RMark Wegman James Wen Thorsten Werther ---RMichael Wester R. Clint Whaley James T. Wheeler ---RJohn M. Wiley Berhard Will Clifton J. Williamson ---RStephen Wilson Shmuel Winograd Robert Wisbauer ---RSandra Wityak Waldemar Wiwianka Knut Wolf ---RYanyang Xiao Liu Xiaojun Clifford Yapp ---RDavid Yun Qian Yun Vadim Zhytnikov ---RRichard Zippel Evelyn Zoernack Bruno Zuercher ---RDan Zwillinger +--RS.J. Atkins Jeremy Avigad Henry Baker +--RMartin Baker Stephen Balzac Yurij Baransky +--RDavid R. Barton Thomas Baruchel Gerald Baumgartner +--RGilbert Baumslag Michael Becker Nelson H. F. Beebe +--RJay Belanger David Bindel Fred Blair +--RVladimir Bondarenko Mark Botch Raoul Bourquin +--RAlexandre Bouyer Karen Braman Wolfgang Brehm +--RPeter A. Broadbery Martin Brock Manuel Bronstein +--RStephen Buchwald Florian Bundschuh Luanne Burns +--RWilliam Burge Ralph Byers Quentin Carpent +--RRobert Cavines Bruce Char Ondrej Certik +--RTzu-Yi Chen Bobby Cheng Cheekai Chin +--RDavid V. Chudnovsky Gregory V. Chudnovsky Mark Clements +--RJames Cloos Jia Zhao Cong Josh Cohen +--RChristophe Conil Don Coppersmith George Corliss +--RRobert Corless Gary Cornell Meino Cramer +--RJeremy Du Croz David Cyganski Nathaniel Daly +--RTimothy Daly Sr. Timothy Daly Jr. James H. Davenport +--RDavid Day James Demmel Didier Deshommes +--RMichael Dewar Inderjit Dhillon Jack Dongarra +--RJean Della Dora Gabriel Dos Reis Claire DiCrescendo +--RSam Dooley Zlatko Drmac Lionel Ducos +--RIain Duff Lee Duhem Martin Dunstan +--RBrian Dupee Dominique Duval Robert Edwards +--RHeow Eide-Goodman Lars Erickson Mark Fahey +--RRichard Fateman Bertfried Fauser Stuart Feldman +--RJohn Fletcher Brian Ford Albrecht Fortenbacher +--RGeorge Frances Constantine Frangos Timothy Freeman +--RKorrinn Fu Marc Gaetano Rudiger Gebauer +--RVan de Geijn Kathy Gerber Patricia Gianni +--RGustavo Goertkin Samantha Goldrich Holger Gollan +--RTeresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler +--RJohannes Grabmeier Matt Grayson Klaus Ebbe Grue +--RJames Griesmer Vladimir Grinberg Oswald Gschnitzer +--RMing Gu Jocelyn Guidry Gaetan Hache +--RSteve Hague Satoshi Hamaguchi Sven Hammarling +--RMike Hansen Richard Hanson Richard Harke +--RBill Hart Vilya Harvey Martin Hassner +--RArthur S. Hathaway Dan Hatton Waldek Hebisch +--RKarl Hegbloom Ralf Hemmecke Henderson +--RAntoine Hersen Nicholas J. Higham Roger House +--RGernot Hueber Pietro Iglio Alejandro Jakubi +--RRichard Jenks Bo Kagstrom William Kahan +--RKyriakos Kalorkoti Kai Kaminski Grant Keady +--RWilfrid Kendall Tony Kennedy David Kincaid +--RTed Kosan Paul Kosinski Igor Kozachenko +--RFred Krogh Klaus Kusche Bernhard Kutzler +--RTim Lahey Larry Lambe Kaj Laurson +--RCharles Lawson George L. Legendre Franz Lehner +--RFrederic Lehobey Michel Levaud Howard Levy +--RJ. Lewis Ren-Cang Li Rudiger Loos +--RCraig Lucas Michael Lucks Richard Luczak +--RCamm Maguire Francois Maltey Osni Marques +--RAlasdair McAndrew Bob McElrath Michael McGettrick +--REdi Meier Ian Meikle David Mentre +--RVictor S. Miller Gerard Milmeister Mohammed Mobarak +--RH. Michael Moeller Michael Monagan Marc Moreno-Maza +--RScott Morrison Joel Moses Mark Murray +--RWilliam Naylor Patrice Naudin C. Andrew Neff +--RJohn Nelder Godfrey Nolan Arthur Norman +--RJinzhong Niu Michael O'Connor Summat Oemrawsingh +--RKostas Oikonomou Humberto Ortiz-Zuazaga Julian A. Padget +--RBill Page David Parnas Susan Pelzel +--RMichel Petitot Didier Pinchon Ayal Pinkus +--RFrederick H. Pitts Jose Alfredo Portes E. Quintana-Orti +--RGregorio Quintana-Orti Beresford Parlett A. Petitet +--RPeter Poromaa Claude Quitte Arthur C. Ralfs +--RNorman Ramsey Anatoly Raportirenko Guilherme Reis +--RHuan Ren Albert D. Rich Michael Richardson +--RJason Riedy Renaud Rioboo Jean Rivlin +--RNicolas Robidoux Simon Robinson Raymond Rogers +--RMichael Rothstein Martin Rubey Jeff Rutter +--RPhilip Santas Alfred Scheerhorn William Schelter +--RGerhard Schneider Martin Schoenert Marshall Schor +--RFrithjof Schulze Fritz Schwarz Steven Segletes +--RV. Sima Nick Simicich William Sit +--RElena Smirnova Ken Stanley Jonathan Steinbach +--RFabio Stumbo Christine Sundaresan Robert Sutor +--RMoss E. Sweedler Eugene Surowitz Max Tegmark +--RT. Doug Telford James Thatcher Laurent Thery +--RBalbir Thomas Mike Thomas Dylan Thurston +--RFrancoise Tisseur Steve Toleque Raymond Toy +--RBarry Trager Themos T. Tsikas Gregory Vanuxem +--RKresimir Veselic Christof Voemel Bernhard Wall +--RStephen Watt Jaap Weel Juergen Weiss +--RM. Weller Mark Wegman James Wen +--RThorsten Werther Michael Wester R. Clint Whaley +--RJames T. Wheeler John M. Wiley Berhard Will +--RClifton J. Williamson Stephen Wilson Shmuel Winograd +--RRobert Wisbauer Sandra Wityak Waldemar Wiwianka +--RKnut Wolf Yanyang Xiao Liu Xiaojun +--RClifford Yapp David Yun Qian Yun +--RVadim Zhytnikov Richard Zippel Evelyn Zoernack +--RBruno Zuercher Dan Zwillinger --R Type: Void --E 3 diff --git a/books/bookvol5.pamphlet b/books/bookvol5.pamphlet index 767b87e..0a5381f 100644 --- a/books/bookvol5.pamphlet +++ b/books/bookvol5.pamphlet @@ -8007,100 +8007,101 @@ of effort. We would like to acknowledge and thank the following people: "An alphabetical listing of contributors to AXIOM:" "Michael Albaugh Cyril Alberga Roy Adler" "Christian Aistleitner Richard Anderson George Andrews" -"S.J. Atkins Henry Baker Martin Baker" -"Stephen Balzac Yurij Baransky David R. Barton" -"Thomas Baruchel Gerald Baumgartner Gilbert Baumslag" -"Michael Becker Nelson H. F. Beebe Jay Belanger" -"David Bindel Fred Blair Vladimir Bondarenko" -"Mark Botch Raoul Bourquin Alexandre Bouyer" -"Karen Braman Wolfgang Brehm Peter A. Broadbery" -"Martin Brock Manuel Bronstein Stephen Buchwald" -"Florian Bundschuh Luanne Burns William Burge" -"Ralph Byers Quentin Carpent Robert Caviness" -"Bruce Char Ondrej Certik Tzu-Yi Chen" -"Bobby Cheng Cheekai Chin David V. Chudnovsky" -"Gregory V. Chudnovsky Mark Clements James Cloos" -"Jia Zhao Cong Josh Cohen Christophe Conil" -"Don Coppersmith George Corliss Robert Corless" -"Gary Cornell Meino Cramer Jeremy Du Croz" -"David Cyganski Nathaniel Daly Timothy Daly Sr." -"Timothy Daly Jr. James H. Davenport David Day" -"James Demmel Didier Deshommes Michael Dewar" -"Inderjit Dhillon Jack Dongarra Jean Della Dora" -"Gabriel Dos Reis Claire DiCrescendo Sam Dooley" -"Zlatko Drmac Lionel Ducos Iain Duff" -"Lee Duhem Martin Dunstan Brian Dupee" -"Dominique Duval Robert Edwards Heow Eide-Goodman" -"Lars Erickson Mark Fahey Richard Fateman" -"Bertfried Fauser Stuart Feldman John Fletcher" -"Brian Ford Albrecht Fortenbacher George Frances" -"Constantine Frangos Timothy Freeman Korrinn Fu" -"Marc Gaetano Rudiger Gebauer Van de Geijn" -"Kathy Gerber Patricia Gianni Gustavo Goertkin" -"Samantha Goldrich Holger Gollan Teresa Gomez-Diaz" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Klaus Ebbe Grue James Griesmer" -"Vladimir Grinberg Oswald Gschnitzer Ming Gu" -"Jocelyn Guidry Gaetan Hache Steve Hague" -"Satoshi Hamaguchi Sven Hammarling Mike Hansen" -"Richard Hanson Richard Harke Bill Hart" -"Vilya Harvey Martin Hassner Arthur S. Hathaway" -"Dan Hatton Waldek Hebisch Karl Hegbloom" -"Ralf Hemmecke Henderson Antoine Hersen" -"Nicholas J. Higham Roger House Gernot Hueber" -"Pietro Iglio Alejandro Jakubi Richard Jenks" -"Bo Kagstrom William Kahan Kyriakos Kalorkoti" -"Kai Kaminski Grant Keady Wilfrid Kendall" -"Tony Kennedy David Kincaid Ted Kosan" -"Paul Kosinski Igor Kozachenko Fred Krogh" -"Klaus Kusche Bernhard Kutzler Tim Lahey" -"Larry Lambe Kaj Laurson Charles Lawson" -"George L. Legendre Franz Lehner Frederic Lehobey" -"Michel Levaud Howard Levy J. Lewis" -"Ren-Cang Li Rudiger Loos Craig Lucas" -"Michael Lucks Richard Luczak Camm Maguire" -"Francois Maltey Osni Marques Alasdair McAndrew" -"Bob McElrath Michael McGettrick Edi Meier" -"Ian Meikle David Mentre Victor S. Miller" -"Gerard Milmeister Mohammed Mobarak H. Michael Moeller" -"Michael Monagan Marc Moreno-Maza Scott Morrison" -"Joel Moses Mark Murray William Naylor" -"Patrice Naudin C. Andrew Neff John Nelder" -"Godfrey Nolan Arthur Norman Jinzhong Niu" -"Michael O'Connor Summat Oemrawsingh Kostas Oikonomou" -"Humberto Ortiz-Zuazaga Julian A. Padget Bill Page" -"David Parnas Susan Pelzel Michel Petitot" -"Didier Pinchon Ayal Pinkus Frederick H. Pitts" -"Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti" -"Beresford Parlett A. Petitet Peter Poromaa" -"Claude Quitte Arthur C. Ralfs Norman Ramsey" -"Anatoly Raportirenko Guilherme Reis Huan Ren" -"Albert D. Rich Michael Richardson Jason Riedy" -"Renaud Rioboo Jean Rivlin Nicolas Robidoux" -"Simon Robinson Raymond Rogers Michael Rothstein" -"Martin Rubey Jeff Rutter Philip Santas" -"Alfred Scheerhorn William Schelter Gerhard Schneider" -"Martin Schoenert Marshall Schor Frithjof Schulze" -"Fritz Schwarz Steven Segletes V. Sima" -"Nick Simicich William Sit Elena Smirnova" -"Ken Stanley Jonathan Steinbach Fabio Stumbo" -"Christine Sundaresan Robert Sutor Moss E. Sweedler" -"Eugene Surowitz Max Tegmark T. Doug Telford" -"James Thatcher Laurent Thery Balbir Thomas" -"Mike Thomas Dylan Thurston Francoise Tisseur" -"Steve Toleque Raymond Toy Barry Trager" -"Themos T. Tsikas Gregory Vanuxem Kresimir Veselic" -"Christof Voemel Bernhard Wall Stephen Watt" -"Jaap Weel Juergen Weiss M. Weller" -"Mark Wegman James Wen Thorsten Werther" -"Michael Wester R. Clint Whaley James T. Wheeler" -"John M. Wiley Berhard Will Clifton J. Williamson" -"Stephen Wilson Shmuel Winograd Robert Wisbauer" -"Sandra Wityak Waldemar Wiwianka Knut Wolf" -"Yanyang Xiao Liu Xiaojun Clifford Yapp" -"David Yun Qian Yun Vadim Zhytnikov" -"Richard Zippel Evelyn Zoernack Bruno Zuercher" -"Dan Zwillinger")) +"S.J. Atkins Jeremy Avigad Henry Baker" +"Martin Baker Stephen Balzac Yurij Baransky" +"David R. Barton Thomas Baruchel Gerald Baumgartner" +"Gilbert Baumslag Michael Becker Nelson H. F. Beebe" +"Jay Belanger David Bindel Fred Blair" +"Vladimir Bondarenko Mark Botch Raoul Bourquin" +"Alexandre Bouyer Karen Braman Wolfgang Brehm" +"Peter A. Broadbery Martin Brock Manuel Bronstein" +"Stephen Buchwald Florian Bundschuh Luanne Burns" +"William Burge Ralph Byers Quentin Carpent" +"Robert Cavines Bruce Char Ondrej Certik" +"Tzu-Yi Chen Bobby Cheng Cheekai Chin" +"David V. Chudnovsky Gregory V. Chudnovsky Mark Clements" +"James Cloos Jia Zhao Cong Josh Cohen" +"Christophe Conil Don Coppersmith George Corliss" +"Robert Corless Gary Cornell Meino Cramer" +"Jeremy Du Croz David Cyganski Nathaniel Daly" +"Timothy Daly Sr. Timothy Daly Jr. James H. Davenport" +"David Day James Demmel Didier Deshommes" +"Michael Dewar Inderjit Dhillon Jack Dongarra" +"Jean Della Dora Gabriel Dos Reis Claire DiCrescendo" +"Sam Dooley Zlatko Drmac Lionel Ducos" +"Iain Duff Lee Duhem Martin Dunstan" +"Brian Dupee Dominique Duval Robert Edwards" +"Heow Eide-Goodman Lars Erickson Mark Fahey" +"Richard Fateman Bertfried Fauser Stuart Feldman" +"John Fletcher Brian Ford Albrecht Fortenbacher" +"George Frances Constantine Frangos Timothy Freeman" +"Korrinn Fu Marc Gaetano Rudiger Gebauer" +"Van de Geijn Kathy Gerber Patricia Gianni" +"Gustavo Goertkin Samantha Goldrich Holger Gollan" +"Teresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler" +"Johannes Grabmeier Matt Grayson Klaus Ebbe Grue" +"James Griesmer Vladimir Grinberg Oswald Gschnitzer" +"Ming Gu Jocelyn Guidry Gaetan Hache" +"Steve Hague Satoshi Hamaguchi Sven Hammarling" +"Mike Hansen Richard Hanson Richard Harke" +"Bill Hart Vilya Harvey Martin Hassner" +"Arthur S. Hathaway Dan Hatton Waldek Hebisch" +"Karl Hegbloom Ralf Hemmecke Henderson" +"Antoine Hersen Nicholas J. Higham Roger House" +"Gernot Hueber Pietro Iglio Alejandro Jakubi" +"Richard Jenks Bo Kagstrom William Kahan" +"Kyriakos Kalorkoti Kai Kaminski Grant Keady" +"Wilfrid Kendall Tony Kennedy David Kincaid" +"Ted Kosan Paul Kosinski Igor Kozachenko" +"Fred Krogh Klaus Kusche Bernhard Kutzler" +"Tim Lahey Larry Lambe Kaj Laurson" +"Charles Lawson George L. Legendre Franz Lehner" +"Frederic Lehobey Michel Levaud Howard Levy" +"J. Lewis Ren-Cang Li Rudiger Loos" +"Craig Lucas Michael Lucks Richard Luczak" +"Camm Maguire Francois Maltey Osni Marques" +"Alasdair McAndrew Bob McElrath Michael McGettrick" +"Edi Meier Ian Meikle David Mentre" +"Victor S. Miller Gerard Milmeister Mohammed Mobarak" +"H. Michael Moeller Michael Monagan Marc Moreno-Maza" +"Scott Morrison Joel Moses Mark Murray" +"William Naylor Patrice Naudin C. Andrew Neff" +"John Nelder Godfrey Nolan Arthur Norman" +"Jinzhong Niu Michael O'Connor Summat Oemrawsingh" +"Kostas Oikonomou Humberto Ortiz-Zuazaga Julian A. Padget" +"Bill Page David Parnas Susan Pelzel" +"Michel Petitot Didier Pinchon Ayal Pinkus" +"Frederick H. Pitts Jose Alfredo Portes E. Quintana-Orti" +"Gregorio Quintana-Orti Beresford Parlett A. Petitet" +"Peter Poromaa Claude Quitte Arthur C. Ralfs" +"Norman Ramsey Anatoly Raportirenko Guilherme Reis" +"Huan Ren Albert D. Rich Michael Richardson" +"Jason Riedy Renaud Rioboo Jean Rivlin" +"Nicolas Robidoux Simon Robinson Raymond Rogers" +"Michael Rothstein Martin Rubey Jeff Rutter" +"Philip Santas Alfred Scheerhorn William Schelter" +"Gerhard Schneider Martin Schoenert Marshall Schor" +"Frithjof Schulze Fritz Schwarz Steven Segletes" +"V. Sima Nick Simicich William Sit" +"Elena Smirnova Ken Stanley Jonathan Steinbach" +"Fabio Stumbo Christine Sundaresan Robert Sutor" +"Moss E. Sweedler Eugene Surowitz Max Tegmark" +"T. Doug Telford James Thatcher Laurent Thery" +"Balbir Thomas Mike Thomas Dylan Thurston" +"Francoise Tisseur Steve Toleque Raymond Toy" +"Barry Trager Themos T. Tsikas Gregory Vanuxem" +"Kresimir Veselic Christof Voemel Bernhard Wall" +"Stephen Watt Jaap Weel Juergen Weiss" +"M. Weller Mark Wegman James Wen" +"Thorsten Werther Michael Wester R. Clint Whaley" +"James T. Wheeler John M. Wiley Berhard Will" +"Clifton J. Williamson Stephen Wilson Shmuel Winograd" +"Robert Wisbauer Sandra Wityak Waldemar Wiwianka" +"Knut Wolf Yanyang Xiao Liu Xiaojun" +"Clifford Yapp David Yun Qian Yun" +"Vadim Zhytnikov Richard Zippel Evelyn Zoernack" +"Bruno Zuercher Dan Zwillinger" +)) \end{chunk} diff --git a/changelog b/changelog index 12fa8af..18a1181 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,9 @@ +20170121 tpd src/axiom-website/patches.html 20170121.01.tpd.patch +20170121 tpd books/bookheader.tex add Jeremy Avigad to credit list +20170121 tpd books/bookvol10.4 add Jeremy Avigad to credit list +20170121 tpd books/bookvol5 add Jeremy Avigad to credit list +20170121 tpd src/input/unittest1.input add Jeremy Avigad to credit list +20170121 tpd readme add Jeremy Avigad to credit list 20170120 tpd src/axiom-website/patches.html 20170120.01.tpd.patch 20170120 tpd books/bookvolbib References on Program Proofs 20170118 tpd src/axiom-website/patches.html 20170118.01.tpd.patch diff --git a/patch b/patch index f149418..867ed98 100644 --- a/patch +++ b/patch @@ -1,61 +1,3 @@ -books/bookvolbib References on Program Proofs +readme add Jeremy Avigad to credit list -Goal: Proving Axiom Correct - - -\index{Pfenning, Frank} -\index{Paulin-Mohring, Christine} -\begin{chunk}{axiom.bib} -@techreport{Pfen89, - author = "Pfenning, Frank and Paulin-Mohring, Christine", - title = "Inductively Defined Types in the Calculus of Constructions", - institution = "Carnegie-Mellon University", - year = "1989", - number = "CMU-CS-89-209", - link = "\url{http://repository.cmu.edu/cgi/viewcontent.cgi?article=2907&context=compsci", - abstract = - "We define the notion of an {\sl inductively defined type} in the - Calculus of Constructions and show how inductively defined types can - be represented by closed types. We show that all primitive recursive - functional over these inductively defined types are also - representable. This generalizes work by Bohm and Berarducci on - synthesis of functions on term algebras in the second-order - polymorphic $\lambda$-calculus ($F_2$). We give several applications - of this generalization, including a representation of $F_2$-programs - in $F_3$, along with a definition of functions {\bf reify}, {\bf - reflect}, and {\bf eval} for $F_2$ in $F_3$. We also show how to - define induction over inductively defined types and sketch some - results that show that the extension of the Calculus of Construction - by induction principles does not alter the set of functions in its - computational fragment, $F_\omega$. This is because a proof by - induction can be {\bf realized} by primitive recursion, which is - already definable in $F_\omega$.", - paper = "Pfen89.pdf" -} - -\end{chunk} - -\index{Simmons, Harold} -\begin{chunk}{axiom.bib} -@book{Simm00, - author = "Simmons, Harold", - title = "Derivation and Computation: Taking the Curry-Howard correspondence - seriously", - year = "2000", - publisher = "Cambridge University Press", - isbn = "0-521-77173-0" -} - -\end{chunk} - -\index{Yasuhara, Ann} -\begin{chunk}{axiom.bib} -@book{Yasu71, - author = "Yasuhara, Ann", - title = "Recursive Function Theory and Logic", - year = "1971", - publisher = "Academic Press", - isbn = "0-12-768950-8" -} - -\end{chunk} +Goal: Axiom Credits diff --git a/readme b/readme index 74743f7..d5e203e 100644 --- a/readme +++ b/readme @@ -218,100 +218,101 @@ at the axiom command prompt will prettyprint the list. "An alphabetical listing of contributors to AXIOM:" "Michael Albaugh Cyril Alberga Roy Adler" "Christian Aistleitner Richard Anderson George Andrews" -"S.J. Atkins Henry Baker Martin Baker" -"Stephen Balzac Yurij Baransky David R. Barton" -"Thomas Baruchel Gerald Baumgartner Gilbert Baumslag" -"Michael Becker Nelson H. F. Beebe Jay Belanger" -"David Bindel Fred Blair Vladimir Bondarenko" -"Mark Botch Raoul Bourquin Alexandre Bouyer" -"Karen Braman Wolfgang Brehm Peter A. Broadbery" -"Martin Brock Manuel Bronstein Stephen Buchwald" -"Florian Bundschuh Luanne Burns William Burge" -"Ralph Byers Quentin Carpent Robert Caviness -"Bruce Char Ondrej Certik Tzu-Yi Chen" -"Bobby Cheng Cheekai Chin David V. Chudnovsky" -"Gregory V. Chudnovsky Mark Clements James Cloos" -"Jia Zhao Cong Josh Cohen Christophe Conil" -"Don Coppersmith George Corliss Robert Corless" -"Gary Cornell Meino Cramer Jeremy Du Croz" -"David Cyganski Nathaniel Daly Timothy Daly Sr." -"Timothy Daly Jr. James H. Davenport David Day" -"James Demmel Didier Deshommes Michael Dewar" -"Inderjit Dhillon Jack Dongarra Jean Della Dora" -"Gabriel Dos Reis Claire DiCrescendo Sam Dooley" -"Zlatko Drmac Lionel Ducos Iain Duff" -"Lee Duhem Martin Dunstan Brian Dupee" -"Dominique Duval Robert Edwards Heow Eide-Goodman" -"Lars Erickson Mark Fahey Richard Fateman" -"Bertfried Fauser Stuart Feldman John Fletcher" -"Brian Ford Albrecht Fortenbacher George Frances" -"Constantine Frangos Timothy Freeman Korrinn Fu" -"Marc Gaetano Rudiger Gebauer Van de Geijn" -"Kathy Gerber Patricia Gianni Gustavo Goertkin" -"Samantha Goldrich Holger Gollan Teresa Gomez-Diaz" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Klaus Ebbe Grue James Griesmer" -"Vladimir Grinberg Oswald Gschnitzer Ming Gu" -"Jocelyn Guidry Gaetan Hache Steve Hague" -"Satoshi Hamaguchi Sven Hammarling Mike Hansen" -"Richard Hanson Richard Harke Bill Hart" -"Vilya Harvey Martin Hassner Arthur S. Hathaway" -"Dan Hatton Waldek Hebisch Karl Hegbloom" -"Ralf Hemmecke Henderson Antoine Hersen" -"Nicholas J. Higham Roger House Gernot Hueber" -"Pietro Iglio Alejandro Jakubi Richard Jenks" -"Bo Kagstrom William Kahan Kyriakos Kalorkoti" -"Kai Kaminski Grant Keady Wilfrid Kendall" -"Tony Kennedy David Kincaid Ted Kosan" -"Paul Kosinski Igor Kozachenko Fred Krogh" -"Klaus Kusche Bernhard Kutzler Tim Lahey" -"Larry Lambe Kaj Laurson Charles Lawson" -"George L. Legendre Franz Lehner Frederic Lehobey" -"Michel Levaud Howard Levy J. Lewis" -"Ren-Cang Li Rudiger Loos Craig Lucas" -"Michael Lucks Richard Luczak Camm Maguire" -"Francois Maltey Osni Marques Alasdair McAndrew" -"Bob McElrath Michael McGettrick Edi Meier" -"Ian Meikle David Mentre Victor S. Miller" -"Gerard Milmeister Mohammed Mobarak H. Michael Moeller" -"Michael Monagan Marc Moreno-Maza Scott Morrison" -"Joel Moses Mark Murray William Naylor" -"Patrice Naudin C. Andrew Neff John Nelder" -"Godfrey Nolan Arthur Norman Jinzhong Niu" -"Michael O'Connor Summat Oemrawsingh Kostas Oikonomou" -"Humberto Ortiz-Zuazaga Julian A. Padget Bill Page" -"David Parnas Susan Pelzel Michel Petitot" -"Didier Pinchon Ayal Pinkus Frederick H. Pitts" -"Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti" -"Beresford Parlett A. Petitet Peter Poromaa" -"Claude Quitte Arthur C. Ralfs Norman Ramsey" -"Anatoly Raportirenko Guilherme Reis Huan Ren" -"Albert D. Rich Michael Richardson Jason Riedy" -"Renaud Rioboo Jean Rivlin Nicolas Robidoux" -"Simon Robinson Raymond Rogers Michael Rothstein" -"Martin Rubey Jeff Rutter Philip Santas" -"Alfred Scheerhorn William Schelter Gerhard Schneider" -"Martin Schoenert Marshall Schor Frithjof Schulze" -"Fritz Schwarz Steven Segletes V. Sima" -"Nick Simicich William Sit Elena Smirnova" -"Ken Stanley Jonathan Steinbach Fabio Stumbo" -"Christine Sundaresan Robert Sutor Moss E. Sweedler" -"Eugene Surowitz Max Tegmark T. Doug Telford" -"James Thatcher Laurent Thery Balbir Thomas" -"Mike Thomas Dylan Thurston Francoise Tisseur" -"Steve Toleque Raymond Toy Barry Trager" -"Themos T. Tsikas Gregory Vanuxem Kresimir Veselic" -"Christof Voemel Bernhard Wall Stephen Watt" -"Jaap Weel Juergen Weiss M. Weller" -"Mark Wegman James Wen Thorsten Werther" -"Michael Wester R. Clint Whaley James T. Wheeler" -"John M. Wiley Berhard Will Clifton J. Williamson" -"Stephen Wilson Shmuel Winograd Robert Wisbauer" -"Sandra Wityak Waldemar Wiwianka Knut Wolf" -"Yanyang Xiao Liu Xiaojun Clifford Yapp" -"David Yun Qian Yun Vadim Zhytnikov" -"Richard Zippel Evelyn Zoernack Bruno Zuercher" -"Dan Zwillinger" +"S.J. Atkins Jeremy Avigad Henry Baker" +"Martin Baker Stephen Balzac Yurij Baransky" +"David R. Barton Thomas Baruchel Gerald Baumgartner" +"Gilbert Baumslag Michael Becker Nelson H. F. Beebe" +"Jay Belanger David Bindel Fred Blair" +"Vladimir Bondarenko Mark Botch Raoul Bourquin" +"Alexandre Bouyer Karen Braman Wolfgang Brehm" +"Peter A. Broadbery Martin Brock Manuel Bronstein" +"Stephen Buchwald Florian Bundschuh Luanne Burns" +"William Burge Ralph Byers Quentin Carpent" +"Robert Cavines Bruce Char Ondrej Certik" +"Tzu-Yi Chen Bobby Cheng Cheekai Chin" +"David V. Chudnovsky Gregory V. Chudnovsky Mark Clements" +"James Cloos Jia Zhao Cong Josh Cohen" +"Christophe Conil Don Coppersmith George Corliss" +"Robert Corless Gary Cornell Meino Cramer" +"Jeremy Du Croz David Cyganski Nathaniel Daly" +"Timothy Daly Sr. Timothy Daly Jr. James H. Davenport" +"David Day James Demmel Didier Deshommes" +"Michael Dewar Inderjit Dhillon Jack Dongarra" +"Jean Della Dora Gabriel Dos Reis Claire DiCrescendo" +"Sam Dooley Zlatko Drmac Lionel Ducos" +"Iain Duff Lee Duhem Martin Dunstan" +"Brian Dupee Dominique Duval Robert Edwards" +"Heow Eide-Goodman Lars Erickson Mark Fahey" +"Richard Fateman Bertfried Fauser Stuart Feldman" +"John Fletcher Brian Ford Albrecht Fortenbacher" +"George Frances Constantine Frangos Timothy Freeman" +"Korrinn Fu Marc Gaetano Rudiger Gebauer" +"Van de Geijn Kathy Gerber Patricia Gianni" +"Gustavo Goertkin Samantha Goldrich Holger Gollan" +"Teresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler" +"Johannes Grabmeier Matt Grayson Klaus Ebbe Grue" +"James Griesmer Vladimir Grinberg Oswald Gschnitzer" +"Ming Gu Jocelyn Guidry Gaetan Hache" +"Steve Hague Satoshi Hamaguchi Sven Hammarling" +"Mike Hansen Richard Hanson Richard Harke" +"Bill Hart Vilya Harvey Martin Hassner" +"Arthur S. Hathaway Dan Hatton Waldek Hebisch" +"Karl Hegbloom Ralf Hemmecke Henderson" +"Antoine Hersen Nicholas J. Higham Roger House" +"Gernot Hueber Pietro Iglio Alejandro Jakubi" +"Richard Jenks Bo Kagstrom William Kahan" +"Kyriakos Kalorkoti Kai Kaminski Grant Keady" +"Wilfrid Kendall Tony Kennedy David Kincaid" +"Ted Kosan Paul Kosinski Igor Kozachenko" +"Fred Krogh Klaus Kusche Bernhard Kutzler" +"Tim Lahey Larry Lambe Kaj Laurson" +"Charles Lawson George L. Legendre Franz Lehner" +"Frederic Lehobey Michel Levaud Howard Levy" +"J. Lewis Ren-Cang Li Rudiger Loos" +"Craig Lucas Michael Lucks Richard Luczak" +"Camm Maguire Francois Maltey Osni Marques" +"Alasdair McAndrew Bob McElrath Michael McGettrick" +"Edi Meier Ian Meikle David Mentre" +"Victor S. Miller Gerard Milmeister Mohammed Mobarak" +"H. Michael Moeller Michael Monagan Marc Moreno-Maza" +"Scott Morrison Joel Moses Mark Murray" +"William Naylor Patrice Naudin C. Andrew Neff" +"John Nelder Godfrey Nolan Arthur Norman" +"Jinzhong Niu Michael O'Connor Summat Oemrawsingh" +"Kostas Oikonomou Humberto Ortiz-Zuazaga Julian A. Padget" +"Bill Page David Parnas Susan Pelzel" +"Michel Petitot Didier Pinchon Ayal Pinkus" +"Frederick H. Pitts Jose Alfredo Portes E. Quintana-Orti" +"Gregorio Quintana-Orti Beresford Parlett A. Petitet" +"Peter Poromaa Claude Quitte Arthur C. Ralfs" +"Norman Ramsey Anatoly Raportirenko Guilherme Reis" +"Huan Ren Albert D. Rich Michael Richardson" +"Jason Riedy Renaud Rioboo Jean Rivlin" +"Nicolas Robidoux Simon Robinson Raymond Rogers" +"Michael Rothstein Martin Rubey Jeff Rutter" +"Philip Santas Alfred Scheerhorn William Schelter" +"Gerhard Schneider Martin Schoenert Marshall Schor" +"Frithjof Schulze Fritz Schwarz Steven Segletes" +"V. Sima Nick Simicich William Sit" +"Elena Smirnova Ken Stanley Jonathan Steinbach" +"Fabio Stumbo Christine Sundaresan Robert Sutor" +"Moss E. Sweedler Eugene Surowitz Max Tegmark" +"T. Doug Telford James Thatcher Laurent Thery" +"Balbir Thomas Mike Thomas Dylan Thurston" +"Francoise Tisseur Steve Toleque Raymond Toy" +"Barry Trager Themos T. Tsikas Gregory Vanuxem" +"Kresimir Veselic Christof Voemel Bernhard Wall" +"Stephen Watt Jaap Weel Juergen Weiss" +"M. Weller Mark Wegman James Wen" +"Thorsten Werther Michael Wester R. Clint Whaley" +"James T. Wheeler John M. Wiley Berhard Will" +"Clifton J. Williamson Stephen Wilson Shmuel Winograd" +"Robert Wisbauer Sandra Wityak Waldemar Wiwianka" +"Knut Wolf Yanyang Xiao Liu Xiaojun" +"Clifford Yapp David Yun Qian Yun" +"Vadim Zhytnikov Richard Zippel Evelyn Zoernack" +"Bruno Zuercher Dan Zwillinger" + Pervasive Literate Programming diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 08a94ba..8bc1240 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -5638,6 +5638,8 @@ books/bookvol13 pre/post conditions and Coq nat vs Axiom NNI
books/bookvolbib References on Program Proofs
20170120.01.tpd.patch books/bookvolbib References on Program Proofs
+20170121.01.tpd.patch +readme add Jeremy Avigad to credit list diff --git a/src/input/unittest1.input.pamphlet b/src/input/unittest1.input.pamphlet index 06499d5..1d43f44 100644 --- a/src/input/unittest1.input.pamphlet +++ b/src/input/unittest1.input.pamphlet @@ -190,104 +190,104 @@ Unit test the user level commands --E 27 --S 28 of 97 ---R)credits +)credits --RAn alphabetical listing of contributors to AXIOM: --RMichael Albaugh Cyril Alberga Roy Adler --RChristian Aistleitner Richard Anderson George Andrews ---RS.J. Atkins Henry Baker Martin Baker ---RStephen Balzac Yurij Baransky David R. Barton ---RThomas Baruchel Gerald Baumgartner Gilbert Baumslag ---RMichael Becker Nelson H. F. Beebe Jay Belanger ---RDavid Bindel Fred Blair Vladimir Bondarenko ---RMark Botch Raoul Bourquin Alexandre Bouyer ---RKaren Braman Wolfgang Brehm Peter A. Broadbery ---RMartin Brock Manuel Bronstein Stephen Buchwald ---RFlorian Bundschuh Luanne Burns William Burge ---RRalph Byers Quentin Carpent Robert Cavines ---RBruce Char Ondrej Certik Tzu-Yi Chen ---RBobby Cheng Cheekai Chin David V. Chudnovsky ---RGregory V. Chudnovsky Mark Clements James Cloos ---RJia Zhao Cong Josh Cohen Christophe Conil ---RDon Coppersmith George Corliss Robert Corless ---RGary Cornell Meino Cramer Jeremy Du Croz ---RDavid Cyganski Nathaniel Daly Timothy Daly Sr. ---RTimothy Daly Jr. James H. Davenport David Day ---RJames Demmel Didier Deshommes Michael Dewar ---RInderjit Dhillon Jack Dongarra Jean Della Dora ---RGabriel Dos Reis Claire DiCrescendo Sam Dooley ---RZlatko Drmac Lionel Ducos Iain Duff ---RLee Duhem Martin Dunstan Brian Dupee ---RDominique Duval Robert Edwards Heow Eide-Goodman ---RLars Erickson Mark Fahey Richard Fateman ---RBertfried Fauser Stuart Feldman John Fletcher ---RBrian Ford Albrecht Fortenbacher George Frances ---RConstantine Frangos Timothy Freeman Korrinn Fu ---RMarc Gaetano Rudiger Gebauer Van de Geijn ---RKathy Gerber Patricia Gianni Gustavo Goertkin ---RSamantha Goldrich Holger Gollan Teresa Gomez-Diaz ---RLaureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier ---RMatt Grayson Klaus Ebbe Grue James Griesmer ---RVladimir Grinberg Oswald Gschnitzer Ming Gu ---RJocelyn Guidry Gaetan Hache Steve Hague ---RSatoshi Hamaguchi Sven Hammarling Mike Hansen ---RRichard Hanson Richard Harke Bill Hart ---RVilya Harvey Martin Hassner Arthur S. Hathaway ---RDan Hatton Waldek Hebisch Karl Hegbloom ---RRalf Hemmecke Henderson Antoine Hersen ---RNicholas J. Higham Roger House Gernot Hueber ---RPietro Iglio Alejandro Jakubi Richard Jenks ---RBo Kagstrom William Kahan Kyriakos Kalorkoti ---RKai Kaminski Grant Keady Wilfrid Kendall ---RTony Kennedy David Kincaid Ted Kosan ---RPaul Kosinski Igor Kozachenko Fred Krogh ---RKlaus Kusche Bernhard Kutzler Tim Lahey ---RLarry Lambe Kaj Laurson Charles Lawson ---RGeorge L. Legendre Franz Lehner Frederic Lehobey ---RMichel Levaud Howard Levy J. Lewis ---RRen-Cang Li Rudiger Loos Craig Lucas ---RMichael Lucks Richard Luczak Camm Maguire ---RFrancois Maltey Osni Marques Alasdair McAndrew ---RBob McElrath Michael McGettrick Edi Meier ---RIan Meikle David Mentre Victor S. Miller ---RGerard Milmeister Mohammed Mobarak H. Michael Moeller ---RMichael Monagan Marc Moreno-Maza Scott Morrison ---RJoel Moses Mark Murray William Naylor ---RPatrice Naudin C. Andrew Neff John Nelder ---RGodfrey Nolan Arthur Norman Jinzhong Niu ---RMichael O'Connor Summat Oemrawsingh Kostas Oikonomou ---RHumberto Ortiz-Zuazaga Julian A. Padget Bill Page ---RDavid Parnas Susan Pelzel Michel Petitot ---RDidier Pinchon Ayal Pinkus Frederick H. Pitts ---RJose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti ---RBeresford Parlett A. Petitet Peter Poromaa ---RClaude Quitte Arthur C. Ralfs Norman Ramsey ---RAnatoly Raportirenko Guilherme Reis Huan Ren ---RAlbert D. Rich Michael Richardson Jason Riedy ---RRenaud Rioboo Jean Rivlin Nicolas Robidoux ---RSimon Robinson Raymond Rogers Michael Rothstein ---RMartin Rubey Jeff Rutter Philip Santas ---RAlfred Scheerhorn William Schelter Gerhard Schneider ---RMartin Schoenert Marshall Schor Frithjof Schulze ---RFritz Schwarz Steven Segletes V. Sima ---RNick Simicich William Sit Elena Smirnova ---RKen Stanley Jonathan Steinbach Fabio Stumbo ---RChristine Sundaresan Robert Sutor Moss E. Sweedler ---REugene Surowitz Max Tegmark T. Doug Telford ---RJames Thatcher Laurent Thery Balbir Thomas ---RMike Thomas Dylan Thurston Francoise Tisseur ---RSteve Toleque Raymond Toy Barry Trager ---RThemos T. Tsikas Gregory Vanuxem Kresimir Veselic ---RChristof Voemel Bernhard Wall Stephen Watt ---RJaap Weel Juergen Weiss M. Weller ---RMark Wegman James Wen Thorsten Werther ---RMichael Wester R. Clint Whaley James T. Wheeler ---RJohn M. Wiley Berhard Will Clifton J. Williamson ---RStephen Wilson Shmuel Winograd Robert Wisbauer ---RSandra Wityak Waldemar Wiwianka Knut Wolf ---RYanyang Xiao Liu Xiaojun Clifford Yapp ---RDavid Yun Qian Yun Vadim Zhytnikov ---RRichard Zippel Evelyn Zoernack Bruno Zuercher ---RDan Zwillinger +--RS.J. Atkins Jeremy Avigad Henry Baker +--RMartin Baker Stephen Balzac Yurij Baransky +--RDavid R. Barton Thomas Baruchel Gerald Baumgartner +--RGilbert Baumslag Michael Becker Nelson H. F. Beebe +--RJay Belanger David Bindel Fred Blair +--RVladimir Bondarenko Mark Botch Raoul Bourquin +--RAlexandre Bouyer Karen Braman Wolfgang Brehm +--RPeter A. Broadbery Martin Brock Manuel Bronstein +--RStephen Buchwald Florian Bundschuh Luanne Burns +--RWilliam Burge Ralph Byers Quentin Carpent +--RRobert Cavines Bruce Char Ondrej Certik +--RTzu-Yi Chen Bobby Cheng Cheekai Chin +--RDavid V. Chudnovsky Gregory V. Chudnovsky Mark Clements +--RJames Cloos Jia Zhao Cong Josh Cohen +--RChristophe Conil Don Coppersmith George Corliss +--RRobert Corless Gary Cornell Meino Cramer +--RJeremy Du Croz David Cyganski Nathaniel Daly +--RTimothy Daly Sr. Timothy Daly Jr. James H. Davenport +--RDavid Day James Demmel Didier Deshommes +--RMichael Dewar Inderjit Dhillon Jack Dongarra +--RJean Della Dora Gabriel Dos Reis Claire DiCrescendo +--RSam Dooley Zlatko Drmac Lionel Ducos +--RIain Duff Lee Duhem Martin Dunstan +--RBrian Dupee Dominique Duval Robert Edwards +--RHeow Eide-Goodman Lars Erickson Mark Fahey +--RRichard Fateman Bertfried Fauser Stuart Feldman +--RJohn Fletcher Brian Ford Albrecht Fortenbacher +--RGeorge Frances Constantine Frangos Timothy Freeman +--RKorrinn Fu Marc Gaetano Rudiger Gebauer +--RVan de Geijn Kathy Gerber Patricia Gianni +--RGustavo Goertkin Samantha Goldrich Holger Gollan +--RTeresa Gomez-Diaz Laureano Gonzalez-Vega Stephen Gortler +--RJohannes Grabmeier Matt Grayson Klaus Ebbe Grue +--RJames Griesmer Vladimir Grinberg Oswald Gschnitzer +--RMing Gu Jocelyn Guidry Gaetan Hache +--RSteve Hague Satoshi Hamaguchi Sven Hammarling +--RMike Hansen Richard Hanson Richard Harke +--RBill Hart Vilya Harvey Martin Hassner +--RArthur S. Hathaway Dan Hatton Waldek Hebisch +--RKarl Hegbloom Ralf Hemmecke Henderson +--RAntoine Hersen Nicholas J. Higham Roger House +--RGernot Hueber Pietro Iglio Alejandro Jakubi +--RRichard Jenks Bo Kagstrom William Kahan +--RKyriakos Kalorkoti Kai Kaminski Grant Keady +--RWilfrid Kendall Tony Kennedy David Kincaid +--RTed Kosan Paul Kosinski Igor Kozachenko +--RFred Krogh Klaus Kusche Bernhard Kutzler +--RTim Lahey Larry Lambe Kaj Laurson +--RCharles Lawson George L. Legendre Franz Lehner +--RFrederic Lehobey Michel Levaud Howard Levy +--RJ. Lewis Ren-Cang Li Rudiger Loos +--RCraig Lucas Michael Lucks Richard Luczak +--RCamm Maguire Francois Maltey Osni Marques +--RAlasdair McAndrew Bob McElrath Michael McGettrick +--REdi Meier Ian Meikle David Mentre +--RVictor S. Miller Gerard Milmeister Mohammed Mobarak +--RH. Michael Moeller Michael Monagan Marc Moreno-Maza +--RScott Morrison Joel Moses Mark Murray +--RWilliam Naylor Patrice Naudin C. Andrew Neff +--RJohn Nelder Godfrey Nolan Arthur Norman +--RJinzhong Niu Michael O'Connor Summat Oemrawsingh +--RKostas Oikonomou Humberto Ortiz-Zuazaga Julian A. Padget +--RBill Page David Parnas Susan Pelzel +--RMichel Petitot Didier Pinchon Ayal Pinkus +--RFrederick H. Pitts Jose Alfredo Portes E. Quintana-Orti +--RGregorio Quintana-Orti Beresford Parlett A. Petitet +--RPeter Poromaa Claude Quitte Arthur C. Ralfs +--RNorman Ramsey Anatoly Raportirenko Guilherme Reis +--RHuan Ren Albert D. Rich Michael Richardson +--RJason Riedy Renaud Rioboo Jean Rivlin +--RNicolas Robidoux Simon Robinson Raymond Rogers +--RMichael Rothstein Martin Rubey Jeff Rutter +--RPhilip Santas Alfred Scheerhorn William Schelter +--RGerhard Schneider Martin Schoenert Marshall Schor +--RFrithjof Schulze Fritz Schwarz Steven Segletes +--RV. Sima Nick Simicich William Sit +--RElena Smirnova Ken Stanley Jonathan Steinbach +--RFabio Stumbo Christine Sundaresan Robert Sutor +--RMoss E. Sweedler Eugene Surowitz Max Tegmark +--RT. Doug Telford James Thatcher Laurent Thery +--RBalbir Thomas Mike Thomas Dylan Thurston +--RFrancoise Tisseur Steve Toleque Raymond Toy +--RBarry Trager Themos T. Tsikas Gregory Vanuxem +--RKresimir Veselic Christof Voemel Bernhard Wall +--RStephen Watt Jaap Weel Juergen Weiss +--RM. Weller Mark Wegman James Wen +--RThorsten Werther Michael Wester R. Clint Whaley +--RJames T. Wheeler John M. Wiley Berhard Will +--RClifton J. Williamson Stephen Wilson Shmuel Winograd +--RRobert Wisbauer Sandra Wityak Waldemar Wiwianka +--RKnut Wolf Yanyang Xiao Liu Xiaojun +--RClifford Yapp David Yun Qian Yun +--RVadim Zhytnikov Richard Zippel Evelyn Zoernack +--RBruno Zuercher Dan Zwillinger --E 28 --S 29 of 97 -- 1.7.5.4