From 040e9dc1f58a35383543eaa71f186039d710acb2 Mon Sep 17 00:00:00 2001 From: Tim Daly Date: Sun, 10 Nov 2019 02:16:35 -0500 Subject: [PATCH] Michael Albaugh Cyril Alberga Roy Adler Christian Aistleitner Richard Anderson George Andrews Jerry Archibald S.J. Atkins Jeremy Avigad Knut Bahr 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 Siddharth Bhat David Bindel Fred Blair Vladimir Bondarenko Mark Botch Raoul Bourquin Alexandre Bouyer Karen Braman Wolfgang Brehm Peter A. Broadbery Martin Brock Manuel Bronstein Christopher Brown Stephen Buchwald Florian Bundschuh Luanne Burns William Burge Ralph Byers Quentin Carpent Jacques Carette Pierre Casteran Robert Cavines Pablo Cayuela Bruce Char Ondrej Certik Tzu-Yi Chen Bobby Cheng Cheekai Chin David V. Chudnovsky Gregory V. Chudnovsky Mark Clements Roland Coeurjoly Emil Cohen Hirsh Cohen Josh Cohen James Cloos Jia Zhao Cong Christophe Conil Don Coppersmith George Corliss Robert Corless Gary Cornell Frank Costa Meino Cramer Karl Crary 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 Nicolas James Doye Zlatko Drmac Lionel Ducos Iain Duff Lee Duhem Martin Dunstan Brian Dupee Dominique Duval Robert Edwards Hans-Dieter Ehrich Heow Eide-Goodman Carl Engelman Lars Erickson Mark Fahey William Farmer 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 Max Goldstein Holger Gollan Teresa Gomez-Diaz Ralph Gomory Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier Matt Grayson Martin Griss Klaus Ebbe Grue James Griesmer Vladimir Grinberg Oswald Gschnitzer Ming Gu Fred Gustavson Jocelyn Guidry Gaetan Hache Steve Hague Satoshi Hamaguchi Sven Hammarling Mike Hansen Richard Hanson Richard Harke Joseph Harry Bill Hart Vilya Harvey Martin Hassner Arthur S. Hathaway Dan Hatton Waldek Hebisch Karl Hegbloom Ralf Hemmecke Tony Hearn Henderson Antoine Hersen Nicholas J. Higham Lou Hodes Alan Hoffman Hoon Hong Roger House Gernot Hueber Pietro Iglio Joan Jaffe Alejandro Jakubi Richard Jenks Bo Kagstrom William Kahan Kyriakos Kalorkoti Kai Kaminski Grant Keady Tom Kelsey Wilfrid Kendall Tony Kennedy David Kincaid Keshav Kini Knut Korsvold 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 John Lipson Rudiger Loos Craig Lucas Michael Lucks Richard Luczak Camm Maguire Dave Mainey Francois Maltey William Martin Ursula Martin Osni Marques Alasdair McAndrew Bob McElrath Michael McGettrick Bob McNeill Edi Meier Ian Meikle David Mentre Jonathan Millen Victor S. Miller Gerard Milmeister William Miranker 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 Norm Pass Susan Pelzel Michel Petitot Didier Pinchon Ayal Pinkus Frederick H. Pitts Frank Pfenning Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett A. Petitet Andre Platzer Peter Poromaas Greg Puhak Claude Quitte Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko Guilherme Reis Huan Ren Albert D. Rich Michael Richardson Jason Riedy Renaud Rioboo Robert Risch Jean Rivlin Nicolas Robidoux Simon Robinson Raymond Rogers Michael Rothstein Martin Rubey Jeff Rutter R.W Ryniker II Philip Santas David Saunders Alfred Scheerhorn William Schelter Gerhard Schneider Martin Schoenert Marshall Schor Frithjof Schulze Fritz Schwartz Steven Segletes V. Sima Nick Simicich William Sit Elena Smirnova Jacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan Ken Stanley Jonathan Steinbach Fabio Stumbo Christine Sundaresan Klaus Sutner Robert Sutor Moss E. Sweedler Eugene Surowitz Yong Kiam Tan Max Tegmark T. Doug Telford James Thatcher Laurent Thery Balbir Thomas Mike Thomas Carol Thompson Dylan Thurston Francoise Tisseur Steve Toleque Dick Toupin Raymond Toy Barry Trager Hale Trotter Themos T. Tsikas Gregory Vanuxem Kresimir Veselic Christof Voemel E.G. Wagner Bernhard Wall Paul Wang Stephen Watt Andreas Weber Jaap Weel Al Weis 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 --- books/bookheader.tex | 191 +++++++++++++++---------------- books/bookvol10.4.pamphlet | 191 +++++++++++++++---------------- books/bookvol5.pamphlet | 191 +++++++++++++++---------------- changelog | 7 ++ readme | 228 ++++++++++++++++++------------------- src/axiom-website/community.html | 191 +++++++++++++++---------------- src/axiom-website/patches.html | 2 + src/input/unittest1.input.pamphlet | 191 +++++++++++++++---------------- 8 files changed, 603 insertions(+), 589 deletions(-) diff --git a/books/bookheader.tex b/books/bookheader.tex index f7b31cc..48306af 100644 --- a/books/bookheader.tex +++ b/books/bookheader.tex @@ -141,105 +141,106 @@ Knut Bahr & 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 & Christopher Brown\\ -Stephen Buchwald & Florian Bundschuh & Luanne Burns\\ -William Burge & Ralph Byers & Quentin Carpent\\ -Jacques Carette & Pierre Casteran & Robert Cavines\\ -Pablo Cayuela & Bruce Char & Ondrej Certik\\ -Tzu-Yi Chen & Bobby Cheng & Cheekai Chin\\ -David V. Chudnovsky & Gregory V. Chudnovsky & Mark Clements\\ -Roland Coeurjoly & Emil Cohen & Hirsh Cohen\\ -Josh Cohen & James Cloos & Jia Zhao Cong\\ -Christophe Conil & Don Coppersmith & George Corliss\\ -Robert Corless & Gary Cornell & Frank Costa\\ -Meino Cramer & Karl Crary & 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\\ -Nicolas James Doye & Zlatko Drmac & Lionel Ducos\\ -Iain Duff & Lee Duhem & Martin Dunstan\\ -Brian Dupee & Dominique Duval & Robert Edwards\\ -Hans-Dieter Ehrich & Heow Eide-Goodman & Carl Engelman\\ -Lars Erickson & Mark Fahey & William Farmer\\ -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 & Max Goldstein\\ -Holger Gollan & Teresa Gomez-Diaz & Ralph Gomory\\ -Laureano Gonzalez-Vega & Stephen Gortler & Johannes Grabmeier\\ -Matt Grayson & Martin Griss & Klaus Ebbe Grue\\ -James Griesmer & Vladimir Grinberg & Oswald Gschnitzer\\ -Ming Gu & Fred Gustavson & Jocelyn Guidry\\ -Gaetan Hache & Steve Hague & Satoshi Hamaguchi\\ -Sven Hammarling & Mike Hansen & Richard Hanson\\ -Richard Harke & Joseph Harry & Bill Hart\\ -Vilya Harvey & Martin Hassner & Arthur S. Hathaway\\ -Dan Hatton & Waldek Hebisch & Karl Hegbloom\\ -Ralf Hemmecke & Tony Hearn & Henderson\\ -Antoine Hersen & Nicholas J. Higham & Lou Hodes\\ -Alan Hoffman & Hoon Hong & Roger House\\ -Gernot Hueber & Pietro Iglio & Joan Jaffe\\ -Alejandro Jakubi & Richard Jenks & Bo Kagstrom\\ -William Kahan & Kyriakos Kalorkoti & Kai Kaminski\\ -Grant Keady & Tom Kelsey & Wilfrid Kendall\\ -Tony Kennedy & David Kincaid & Keshav Kini\\ +Siddharth Bhat & David Bindel & Fred Blair\\ +Vladimir Bondarenko & Mark Botch & Raoul Bourquin\\ +Alexandre Bouyer & Karen Braman & Wolfgang Brehm\\ +Peter A. Broadbery & Martin Brock & Manuel Bronstein\\ +Christopher Brown & Stephen Buchwald & Florian Bundschuh\\ +Luanne Burns & William Burge & Ralph Byers\\ +Quentin Carpent & Jacques Carette & Pierre Casteran\\ +Robert Cavines & Pablo Cayuela & Bruce Char\\ +Ondrej Certik & Tzu-Yi Chen & Bobby Cheng\\ +Cheekai Chin & David V. Chudnovsky & Gregory V. Chudnovsky\\ +Mark Clements & Roland Coeurjoly & Emil Cohen\\ +Hirsh Cohen & Josh Cohen & James Cloos\\ +Jia Zhao Cong & Christophe Conil & Don Coppersmith\\ +George Corliss & Robert Corless & Gary Cornell\\ +Frank Costa & Meino Cramer & Karl Crary\\ +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 & Nicolas James Doye & Zlatko Drmac\\ +Lionel Ducos & Iain Duff & Lee Duhem\\ +Martin Dunstan & Brian Dupee & Dominique Duval\\ +Robert Edwards & Hans-Dieter Ehrich & Heow Eide-Goodman\\ +Carl Engelman & Lars Erickson & Mark Fahey\\ +William Farmer & 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\\ +Max Goldstein & Holger Gollan & Teresa Gomez-Diaz\\ +Ralph Gomory & Laureano Gonzalez-Vega & Stephen Gortler\\ +Johannes Grabmeier & Matt Grayson & Martin Griss\\ +Klaus Ebbe Grue & James Griesmer & Vladimir Grinberg\\ +Oswald Gschnitzer & Ming Gu & Fred Gustavson\\ +Jocelyn Guidry & Gaetan Hache & Steve Hague\\ +Satoshi Hamaguchi & Sven Hammarling & Mike Hansen\\ +Richard Hanson & Richard Harke & Joseph Harry\\ +Bill Hart & Vilya Harvey & Martin Hassner\\ +Arthur S. Hathaway & Dan Hatton & Waldek Hebisch\\ +Karl Hegbloom & Ralf Hemmecke & Tony Hearn\\ +Henderson & Antoine Hersen & Nicholas J. Higham\\ +Lou Hodes & Alan Hoffman & Hoon Hong\\ +Roger House & Gernot Hueber & Pietro Iglio\\ +Joan Jaffe & Alejandro Jakubi & Richard Jenks\\ +Bo Kagstrom & William Kahan & Kyriakos Kalorkoti\\ +Kai Kaminski & Grant Keady & Tom Kelsey\\ +Wilfrid Kendall & Tony Kennedy & David Kincaid\\ +Keshav Kini & Knut Korsvold & Ted Kosan\\ \end{tabular} \vfill \newpage \begin{tabular}{lll} -Knut Korsvold & 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\\ -John Lipson & Rudiger Loos & Craig Lucas\\ -Michael Lucks & Richard Luczak & Camm Maguire\\ -Dave Mainey & Francois Maltey & William Martin\\ -Ursula Martin & Osni Marques & Alasdair McAndrew\\ -Bob McElrath & Michael McGettrick & Bob McNeill\\ -Edi Meier & Ian Meikle & David Mentre\\ -Jonathan Millen & Victor S. Miller & Gerard Milmeister\\ -William Miranker & 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 & Norm Pass & Susan Pelzel\\ -Michel Petitot & Didier Pinchon & Ayal Pinkus\\ -Frederick H. Pitts & Frank Pfenning & Jose Alfredo Portes\\ -E. Quintana-Orti & Gregorio Quintana-Orti & Beresford Parlett\\ -A. Petitet & Andre Platzer & Peter Poromaas\\ -Greg Puhak & Claude Quitte & Arthur C. Ralfs\\ -Norman Ramsey & Anatoly Raportirenko & Guilherme Reis\\ -Huan Ren & Albert D. Rich & Michael Richardson\\ -Jason Riedy & Renaud Rioboo & Robert Risch\\ -Jean Rivlin & Nicolas Robidoux & Simon Robinson\\ -Raymond Rogers & Michael Rothstein & Martin Rubey\\ -Jeff Rutter & Philip Santas & David Saunders\\ -Alfred Scheerhorn & William Schelter & Gerhard Schneider\\ -Martin Schoenert & Marshall Schor & Frithjof Schulze\\ -Fritz Schwartz & Steven Segletes & V. Sima\\ -Nick Simicich & William Sit & Elena Smirnova\\ -Jacob Nyffeler Smith & Matthieu Sozeau & Srinivasan Seshan\\ -Ken Stanley & Jonathan Steinbach & Fabio Stumbo\\ -Christine Sundaresan & Klaus Sutner & Robert Sutor\\ -Moss E. Sweedler & Eugene Surowitz & Yong Kiam Tan\\ -Max Tegmark & T. Doug Telford & James Thatcher\\ -Laurent Thery & Balbir Thomas & Mike Thomas\\ -Carol Thompson & Dylan Thurston & Francoise Tisseur\\ -Steve Toleque & Dick Toupin & Raymond Toy\\ -Barry Trager & Hale Trotter & Themos T. Tsikas\\ -Gregory Vanuxem & Kresimir Veselic & Christof Voemel\\ +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 & John Lipson & Rudiger Loos\\ +Craig Lucas & Michael Lucks & Richard Luczak\\ +Camm Maguire & Dave Mainey & Francois Maltey\\ +William Martin & Ursula Martin & Osni Marques\\ +Alasdair McAndrew & Bob McElrath & Michael McGettrick\\ +Bob McNeill & Edi Meier & Ian Meikle\\ +David Mentre & Jonathan Millen & Victor S. Miller\\ +Gerard Milmeister & William Miranker & 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 & Norm Pass\\ +Susan Pelzel & Michel Petitot & Didier Pinchon\\ +Ayal Pinkus & Frederick H. Pitts & Frank Pfenning\\ +Jose Alfredo Portes & E. Quintana-Orti & Gregorio Quintana-Orti\\ +Beresford Parlett & A. Petitet & Andre Platzer\\ +Peter Poromaas & Greg Puhak & Claude Quitte\\ +Arthur C. Ralfs & Norman Ramsey & Anatoly Raportirenko\\ +Guilherme Reis & Huan Ren & Albert D. Rich\\ +Michael Richardson & Jason Riedy & Renaud Rioboo\\ +Robert Risch & Jean Rivlin & Nicolas Robidoux\\ +Simon Robinson & Raymond Rogers & Michael Rothstein\\ +Martin Rubey & Jeff Rutter & R.W Ryniker II\\ +Philip Santas & David Saunders & Alfred Scheerhorn\\ +William Schelter & Gerhard Schneider & Martin Schoenert\\ +Marshall Schor & Frithjof Schulze & Fritz Schwartz\\ +Steven Segletes & V. Sima & Nick Simicich\\ +William Sit & Elena Smirnova & Jacob Nyffeler Smith\\ +Matthieu Sozeau & Srinivasan Seshan & Ken Stanley\\ +Jonathan Steinbach & Fabio Stumbo & Christine Sundaresan\\ +Klaus Sutner & Robert Sutor & Moss E. Sweedler\\ +Eugene Surowitz & Yong Kiam Tan & Max Tegmark\\ +T. Doug Telford & James Thatcher & Laurent Thery\\ +Balbir Thomas & Mike Thomas & Carol Thompson\\ +Dylan Thurston & Francoise Tisseur & Steve Toleque\\ +Dick Toupin & Raymond Toy & Barry Trager\\ +Hale Trotter & Themos T. Tsikas & Gregory Vanuxem\\ +Kresimir Veselic & Christof Voemel & E.G. Wagner\\ Bernhard Wall & Paul Wang & Stephen Watt\\ Andreas Weber & Jaap Weel & Al Weis\\ Juergen Weiss & M. Weller & Mark Wegman\\ diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 51ce72d..2c2e321 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -6852,101 +6852,102 @@ credits() --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 Christopher Brown ---RStephen Buchwald Florian Bundschuh Luanne Burns ---RWilliam Burge Ralph Byers Quentin Carpent ---RJacques Carette Pierre Casteran Robert Cavines ---RPablo Cayuela Bruce Char Ondrej Certik ---RTzu-Yi Chen Bobby Cheng Cheekai Chin ---RDavid V. Chudnovsky Gregory V. Chudnovsky Mark Clements ---RRoland Coeurjoly Emil Cohen Hirsh Cohen ---RJosh Cohen James Cloos Jia Zhao Cong ---RChristophe Conil Don Coppersmith George Corliss ---RRobert Corless Gary Cornell Frank Costa ---RMeino Cramer Karl Crary 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 ---RNicolas James Doye Zlatko Drmac Lionel Ducos ---RIain Duff Lee Duhem Martin Dunstan ---RBrian Dupee Dominique Duval Robert Edwards ---RHans-Dieter Ehrich Heow Eide-Goodman Carl Engelman ---RLars Erickson Mark Fahey William Farmer ---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 Max Goldstein ---RHolger Gollan Teresa Gomez-Diaz Ralph Gomory ---RLaureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier ---RMatt Grayson Martin Griss Klaus Ebbe Grue ---RJames Griesmer Vladimir Grinberg Oswald Gschnitzer ---RMing Gu Fred Gustavson Jocelyn Guidry ---RGaetan Hache Steve Hague Satoshi Hamaguchi ---RSven Hammarling Mike Hansen Richard Hanson ---RRichard Harke Joseph Harry Bill Hart ---RVilya Harvey Martin Hassner Arthur S. Hathaway ---RDan Hatton Waldek Hebisch Karl Hegbloom ---RRalf Hemmecke Tony Hearn Henderson ---RAntoine Hersen Nicholas J. Higham Lou Hodes ---RAlan Hoffman Hoon Hong Roger House ---RGernot Hueber Pietro Iglio Joan Jaffe ---RAlejandro Jakubi Richard Jenks Bo Kagstrom ---RWilliam Kahan Kyriakos Kalorkoti Kai Kaminski ---RGrant Keady Tom Kelsey Wilfrid Kendall ---RTony Kennedy David Kincaid Keshav Kini ---RKnut Korsvold Ted Kosan Paul Kosinski ---RIgor Kozachenko Fred Krogh Klaus Kusche ---RBernhard Kutzler Tim Lahey Larry Lambe ---RKaj Laurson Charles Lawson George L. Legendre ---RFranz Lehner Frederic Lehobey Michel Levaud ---RHoward Levy J. Lewis Ren-Cang Li ---RJohn Lipson Rudiger Loos Craig Lucas ---RMichael Lucks Richard Luczak Camm Maguire ---RDave Mainey Francois Maltey William Martin ---RUrsula Martin Osni Marques Alasdair McAndrew ---RBob McElrath Michael McGettrick Bob McNeill ---REdi Meier Ian Meikle David Mentre ---RJonathan Millen Victor S. Miller Gerard Milmeister ---RWilliam Miranker 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 Norm Pass Susan Pelzel ---RMichel Petitot Didier Pinchon Ayal Pinkus ---RFrederick H. Pitts Frank Pfenning Jose Alfredo Portes ---RE. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett ---RA. Petitet Andre Platzer Peter Poromaas ---RGreg Puhak Claude Quitte Arthur C. Ralfs ---RNorman Ramsey Anatoly Raportirenko Guilherme Reis ---RHuan Ren Albert D. Rich Michael Richardson ---RJason Riedy Renaud Rioboo Robert Risch ---RJean Rivlin Nicolas Robidoux Simon Robinson ---RRaymond Rogers Michael Rothstein Martin Rubey ---RJeff Rutter Philip Santas David Saunders ---RAlfred Scheerhorn William Schelter Gerhard Schneider ---RMartin Schoenert Marshall Schor Frithjof Schulze ---RFritz Schwartz Steven Segletes V. Sima ---RNick Simicich William Sit Elena Smirnova ---RJacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan ---RKen Stanley Jonathan Steinbach Fabio Stumbo ---RChristine Sundaresan Klaus Sutner Robert Sutor ---RMoss E. Sweedler Eugene Surowitz Yong Kiam Tan ---RMax Tegmark T. Doug Telford James Thatcher ---RLaurent Thery Balbir Thomas Mike Thomas ---RCarol Thompson Dylan Thurston Francoise Tisseur ---RSteve Toleque Dick Toupin Raymond Toy ---RBarry Trager Hale Trotter Themos T. Tsikas ---RGregory Vanuxem Kresimir Veselic Christof Voemel +--RSiddharth Bhat David Bindel Fred Blair +--RVladimir Bondarenko Mark Botch Raoul Bourquin +--RAlexandre Bouyer Karen Braman Wolfgang Brehm +--RPeter A. Broadbery Martin Brock Manuel Bronstein +--RChristopher Brown Stephen Buchwald Florian Bundschuh +--RLuanne Burns William Burge Ralph Byers +--RQuentin Carpent Jacques Carette Pierre Casteran +--RRobert Cavines Pablo Cayuela Bruce Char +--ROndrej Certik Tzu-Yi Chen Bobby Cheng +--RCheekai Chin David V. Chudnovsky Gregory V. Chudnovsky +--RMark Clements Roland Coeurjoly Emil Cohen +--RHirsh Cohen Josh Cohen James Cloos +--RJia Zhao Cong Christophe Conil Don Coppersmith +--RGeorge Corliss Robert Corless Gary Cornell +--RFrank Costa Meino Cramer Karl Crary +--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 Nicolas James Doye Zlatko Drmac +--RLionel Ducos Iain Duff Lee Duhem +--RMartin Dunstan Brian Dupee Dominique Duval +--RRobert Edwards Hans-Dieter Ehrich Heow Eide-Goodman +--RCarl Engelman Lars Erickson Mark Fahey +--RWilliam Farmer Richard Fateman Bertfried Fauser +--RStuart Feldman John Fletcher Brian Ford +--RAlbrecht Fortenbacher George Frances Constantine Frangos +--RTimothy Freeman Korrinn Fu Marc Gaetano +--RRudiger Gebauer Van de Geijn Kathy Gerber +--RPatricia Gianni Gustavo Goertkin Samantha Goldrich +--RMax Goldstein Holger Gollan Teresa Gomez-Diaz +--RRalph Gomory Laureano Gonzalez-Vega Stephen Gortler +--RJohannes Grabmeier Matt Grayson Martin Griss +--RKlaus Ebbe Grue James Griesmer Vladimir Grinberg +--ROswald Gschnitzer Ming Gu Fred Gustavson +--RJocelyn Guidry Gaetan Hache Steve Hague +--RSatoshi Hamaguchi Sven Hammarling Mike Hansen +--RRichard Hanson Richard Harke Joseph Harry +--RBill Hart Vilya Harvey Martin Hassner +--RArthur S. Hathaway Dan Hatton Waldek Hebisch +--RKarl Hegbloom Ralf Hemmecke Tony Hearn +--RHenderson Antoine Hersen Nicholas J. Higham +--RLou Hodes Alan Hoffman Hoon Hong +--RRoger House Gernot Hueber Pietro Iglio +--RJoan Jaffe Alejandro Jakubi Richard Jenks +--RBo Kagstrom William Kahan Kyriakos Kalorkoti +--RKai Kaminski Grant Keady Tom Kelsey +--RWilfrid Kendall Tony Kennedy David Kincaid +--RKeshav Kini Knut Korsvold 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 John Lipson Rudiger Loos +--RCraig Lucas Michael Lucks Richard Luczak +--RCamm Maguire Dave Mainey Francois Maltey +--RWilliam Martin Ursula Martin Osni Marques +--RAlasdair McAndrew Bob McElrath Michael McGettrick +--RBob McNeill Edi Meier Ian Meikle +--RDavid Mentre Jonathan Millen Victor S. Miller +--RGerard Milmeister William Miranker 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 Norm Pass +--RSusan Pelzel Michel Petitot Didier Pinchon +--RAyal Pinkus Frederick H. Pitts Frank Pfenning +--RJose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti +--RBeresford Parlett A. Petitet Andre Platzer +--RPeter Poromaas Greg Puhak Claude Quitte +--RArthur C. Ralfs Norman Ramsey Anatoly Raportirenko +--RGuilherme Reis Huan Ren Albert D. Rich +--RMichael Richardson Jason Riedy Renaud Rioboo +--RRobert Risch Jean Rivlin Nicolas Robidoux +--RSimon Robinson Raymond Rogers Michael Rothstein +--RMartin Rubey Jeff Rutter R.W Ryniker II +--RPhilip Santas David Saunders Alfred Scheerhorn +--RWilliam Schelter Gerhard Schneider Martin Schoenert +--RMarshall Schor Frithjof Schulze Fritz Schwartz +--RSteven Segletes V. Sima Nick Simicich +--RWilliam Sit Elena Smirnova Jacob Nyffeler Smith +--RMatthieu Sozeau Srinivasan Seshan Ken Stanley +--RJonathan Steinbach Fabio Stumbo Christine Sundaresan +--RKlaus Sutner Robert Sutor Moss E. Sweedler +--REugene Surowitz Yong Kiam Tan Max Tegmark +--RT. Doug Telford James Thatcher Laurent Thery +--RBalbir Thomas Mike Thomas Carol Thompson +--RDylan Thurston Francoise Tisseur Steve Toleque +--RDick Toupin Raymond Toy Barry Trager +--RHale Trotter Themos T. Tsikas Gregory Vanuxem +--RKresimir Veselic Christof Voemel E.G. Wagner --RBernhard Wall Paul Wang Stephen Watt --RAndreas Weber Jaap Weel Al Weis --RJuergen Weiss M. Weller Mark Wegman diff --git a/books/bookvol5.pamphlet b/books/bookvol5.pamphlet index cc313eb..d83bbae 100644 --- a/books/bookvol5.pamphlet +++ b/books/bookvol5.pamphlet @@ -8013,101 +8013,102 @@ of effort. We would like to acknowledge and thank the following people: "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 Christopher Brown" -"Stephen Buchwald Florian Bundschuh Luanne Burns" -"William Burge Ralph Byers Quentin Carpent" -"Jacques Carette Pierre Casteran Robert Cavines" -"Pablo Cayuela Bruce Char Ondrej Certik" -"Tzu-Yi Chen Bobby Cheng Cheekai Chin" -"David V. Chudnovsky Gregory V. Chudnovsky Mark Clements" -"Roland Coeurjoly Emil Cohen Hirsh Cohen" -"Josh Cohen James Cloos Jia Zhao Cong" -"Christophe Conil Don Coppersmith George Corliss" -"Robert Corless Gary Cornell Frank Costa" -"Meino Cramer Karl Crary 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" -"Nicolas James Doye Zlatko Drmac Lionel Ducos" -"Iain Duff Lee Duhem Martin Dunstan" -"Brian Dupee Dominique Duval Robert Edwards" -"Hans-Dieter Ehrich Heow Eide-Goodman Carl Engelman" -"Lars Erickson Mark Fahey William Farmer" -"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 Max Goldstein" -"Holger Gollan Teresa Gomez-Diaz Ralph Gomory" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Martin Griss Klaus Ebbe Grue" -"James Griesmer Vladimir Grinberg Oswald Gschnitzer" -"Ming Gu Fred Gustavson Jocelyn Guidry" -"Gaetan Hache Steve Hague Satoshi Hamaguchi" -"Sven Hammarling Mike Hansen Richard Hanson" -"Richard Harke Joseph Harry Bill Hart" -"Vilya Harvey Martin Hassner Arthur S. Hathaway" -"Dan Hatton Waldek Hebisch Karl Hegbloom" -"Ralf Hemmecke Tony Hearn Henderson" -"Antoine Hersen Nicholas J. Higham Lou Hodes" -"Alan Hoffman Hoon Hong Roger House" -"Gernot Hueber Pietro Iglio Joan Jaffe" -"Alejandro Jakubi Richard Jenks Bo Kagstrom" -"William Kahan Kyriakos Kalorkoti Kai Kaminski" -"Grant Keady Tom Kelsey Wilfrid Kendall" -"Tony Kennedy David Kincaid Keshav Kini" -"Knut Korsvold 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" -"John Lipson Rudiger Loos Craig Lucas" -"Michael Lucks Richard Luczak Camm Maguire" -"Dave Mainey Francois Maltey William Martin" -"Ursula Martin Osni Marques Alasdair McAndrew" -"Bob McElrath Michael McGettrick Bob McNeill" -"Edi Meier Ian Meikle David Mentre" -"Jonathan Millen Victor S. Miller Gerard Milmeister" -"William Miranker 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 Norm Pass Susan Pelzel" -"Michel Petitot Didier Pinchon Ayal Pinkus" -"Frederick H. Pitts Frank Pfenning Jose Alfredo Portes" -"E. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett" -"A. Petitet Andre Platzer Peter Poromaas" -"Greg Puhak Claude Quitte Arthur C. Ralfs" -"Norman Ramsey Anatoly Raportirenko Guilherme Reis" -"Huan Ren Albert D. Rich Michael Richardson" -"Jason Riedy Renaud Rioboo Robert Risch" -"Jean Rivlin Nicolas Robidoux Simon Robinson" -"Raymond Rogers Michael Rothstein Martin Rubey" -"Jeff Rutter Philip Santas David Saunders" -"Alfred Scheerhorn William Schelter Gerhard Schneider" -"Martin Schoenert Marshall Schor Frithjof Schulze" -"Fritz Schwartz Steven Segletes V. Sima" -"Nick Simicich William Sit Elena Smirnova" -"Jacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan" -"Ken Stanley Jonathan Steinbach Fabio Stumbo" -"Christine Sundaresan Klaus Sutner Robert Sutor" -"Moss E. Sweedler Eugene Surowitz Yong Kiam Tan" -"Max Tegmark T. Doug Telford James Thatcher" -"Laurent Thery Balbir Thomas Mike Thomas" -"Carol Thompson Dylan Thurston Francoise Tisseur" -"Steve Toleque Dick Toupin Raymond Toy" -"Barry Trager Hale Trotter Themos T. Tsikas" -"Gregory Vanuxem Kresimir Veselic Christof Voemel" +"Siddharth Bhat David Bindel Fred Blair" +"Vladimir Bondarenko Mark Botch Raoul Bourquin" +"Alexandre Bouyer Karen Braman Wolfgang Brehm" +"Peter A. Broadbery Martin Brock Manuel Bronstein" +"Christopher Brown Stephen Buchwald Florian Bundschuh" +"Luanne Burns William Burge Ralph Byers" +"Quentin Carpent Jacques Carette Pierre Casteran" +"Robert Cavines Pablo Cayuela Bruce Char" +"Ondrej Certik Tzu-Yi Chen Bobby Cheng" +"Cheekai Chin David V. Chudnovsky Gregory V. Chudnovsky" +"Mark Clements Roland Coeurjoly Emil Cohen" +"Hirsh Cohen Josh Cohen James Cloos" +"Jia Zhao Cong Christophe Conil Don Coppersmith" +"George Corliss Robert Corless Gary Cornell" +"Frank Costa Meino Cramer Karl Crary" +"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 Nicolas James Doye Zlatko Drmac" +"Lionel Ducos Iain Duff Lee Duhem" +"Martin Dunstan Brian Dupee Dominique Duval" +"Robert Edwards Hans-Dieter Ehrich Heow Eide-Goodman" +"Carl Engelman Lars Erickson Mark Fahey" +"William Farmer 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" +"Max Goldstein Holger Gollan Teresa Gomez-Diaz" +"Ralph Gomory Laureano Gonzalez-Vega Stephen Gortler" +"Johannes Grabmeier Matt Grayson Martin Griss" +"Klaus Ebbe Grue James Griesmer Vladimir Grinberg" +"Oswald Gschnitzer Ming Gu Fred Gustavson" +"Jocelyn Guidry Gaetan Hache Steve Hague" +"Satoshi Hamaguchi Sven Hammarling Mike Hansen" +"Richard Hanson Richard Harke Joseph Harry" +"Bill Hart Vilya Harvey Martin Hassner" +"Arthur S. Hathaway Dan Hatton Waldek Hebisch" +"Karl Hegbloom Ralf Hemmecke Tony Hearn" +"Henderson Antoine Hersen Nicholas J. Higham" +"Lou Hodes Alan Hoffman Hoon Hong" +"Roger House Gernot Hueber Pietro Iglio" +"Joan Jaffe Alejandro Jakubi Richard Jenks" +"Bo Kagstrom William Kahan Kyriakos Kalorkoti" +"Kai Kaminski Grant Keady Tom Kelsey" +"Wilfrid Kendall Tony Kennedy David Kincaid" +"Keshav Kini Knut Korsvold 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 John Lipson Rudiger Loos" +"Craig Lucas Michael Lucks Richard Luczak" +"Camm Maguire Dave Mainey Francois Maltey" +"William Martin Ursula Martin Osni Marques" +"Alasdair McAndrew Bob McElrath Michael McGettrick" +"Bob McNeill Edi Meier Ian Meikle" +"David Mentre Jonathan Millen Victor S. Miller" +"Gerard Milmeister William Miranker 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 Norm Pass" +"Susan Pelzel Michel Petitot Didier Pinchon" +"Ayal Pinkus Frederick H. Pitts Frank Pfenning" +"Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti" +"Beresford Parlett A. Petitet Andre Platzer" +"Peter Poromaas Greg Puhak Claude Quitte" +"Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko" +"Guilherme Reis Huan Ren Albert D. Rich" +"Michael Richardson Jason Riedy Renaud Rioboo" +"Robert Risch Jean Rivlin Nicolas Robidoux" +"Simon Robinson Raymond Rogers Michael Rothstein" +"Martin Rubey Jeff Rutter R.W Ryniker II" +"Philip Santas David Saunders Alfred Scheerhorn" +"William Schelter Gerhard Schneider Martin Schoenert" +"Marshall Schor Frithjof Schulze Fritz Schwartz" +"Steven Segletes V. Sima Nick Simicich" +"William Sit Elena Smirnova Jacob Nyffeler Smith" +"Matthieu Sozeau Srinivasan Seshan Ken Stanley" +"Jonathan Steinbach Fabio Stumbo Christine Sundaresan" +"Klaus Sutner Robert Sutor Moss E. Sweedler" +"Eugene Surowitz Yong Kiam Tan Max Tegmark" +"T. Doug Telford James Thatcher Laurent Thery" +"Balbir Thomas Mike Thomas Carol Thompson" +"Dylan Thurston Francoise Tisseur Steve Toleque" +"Dick Toupin Raymond Toy Barry Trager" +"Hale Trotter Themos T. Tsikas Gregory Vanuxem" +"Kresimir Veselic Christof Voemel E.G. Wagner" "Bernhard Wall Paul Wang Stephen Watt" "Andreas Weber Jaap Weel Al Weis" "Juergen Weiss M. Weller Mark Wegman" diff --git a/changelog b/changelog index 9b1633b..4d8783a 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,10 @@ +20191109 tpd src/axiom-website/patches.html 20191109.01.tpd.patch +20191109 tpd src/axiom-website/community.html add names to credit list +20191109 tpd src/input/unittest1.input add names to credits list +20191109 tpd books/bookheader.tex add names to credits list +20191109 tpd books/bookvol5 add names to credits list +20191109 tpd books/bookvol10.4 add names to credits list +20191109 tpd readme add names to credits 20191012 tpd src/axiom-website/patches.html 20191012.01.tpd.patch 20191012 tpd books/bookvol15 The Axiom Sane Compiler 20191012 tpd books/bookheader.tex add tikz for FSM diagrams diff --git a/readme b/readme index c0e9a5f..d7033d8 100644 --- a/readme +++ b/readme @@ -232,120 +232,120 @@ which contains this list. Typing 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" -"Jerry Archibald S.J. Atkins Jeremy Avigad" -"Knut Bahr 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 Christopher Brown" -"Stephen Buchwald Florian Bundschuh Luanne Burns" -"William Burge Ralph Byers Quentin Carpent" -"Jacques Carette Pierre Casteran Robert Cavines" -"Pablo Cayuela Bruce Char Ondrej Certik" -"Tzu-Yi Chen Bobby Cheng Cheekai Chin" -"David V. Chudnovsky Gregory V. Chudnovsky Mark Clements" -"Roland Coeurjoly Emil Cohen Hirsh Cohen" -"Josh Cohen James Cloos Jia Zhao Cong" -"Christophe Conil Don Coppersmith George Corliss" -"Robert Corless Gary Cornell Frank Costa" -"Meino Cramer Karl Crary 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" -"Nicolas James Doye Zlatko Drmac Lionel Ducos" -"Iain Duff Lee Duhem Martin Dunstan" -"Brian Dupee Dominique Duval Robert Edwards" -"Hans-Dieter Ehrich Heow Eide-Goodman Carl Engelman" -"Lars Erickson Mark Fahey William Farmer" -"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 Max Goldstein" -"Holger Gollan Teresa Gomez-Diaz Ralph Gomory" -"Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier" -"Matt Grayson Martin Griss Klaus Ebbe Grue" -"James Griesmer Vladimir Grinberg Oswald Gschnitzer" -"Ming Gu Fred Gustavson Jocelyn Guidry" -"Gaetan Hache Steve Hague Satoshi Hamaguchi" -"Sven Hammarling Mike Hansen Richard Hanson" -"Richard Harke Joseph Harry Bill Hart" -"Vilya Harvey Martin Hassner Arthur S. Hathaway" -"Dan Hatton Waldek Hebisch Karl Hegbloom" -"Ralf Hemmecke Tony Hearn Henderson" -"Antoine Hersen Nicholas J. Higham Lou Hodes" -"Alan Hoffman Hoon Hong Roger House" -"Gernot Hueber Pietro Iglio Joan Jaffe" -"Alejandro Jakubi Richard Jenks Bo Kagstrom" -"William Kahan Kyriakos Kalorkoti Kai Kaminski" -"Grant Keady Tom Kelsey Wilfrid Kendall" -"Tony Kennedy David Kincaid Keshav Kini" - -"Knut Korsvold 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" -"John Lipson Rudiger Loos Craig Lucas" -"Michael Lucks Richard Luczak Camm Maguire" -"Dave Mainey Francois Maltey William Martin" -"Ursula Martin Osni Marques Alasdair McAndrew" -"Bob McElrath Michael McGettrick Bob McNeill" -"Edi Meier Ian Meikle David Mentre" -"Jonathan Millen Victor S. Miller Gerard Milmeister" -"William Miranker 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 Norm Pass Susan Pelzel" -"Michel Petitot Didier Pinchon Ayal Pinkus" -"Frederick H. Pitts Frank Pfenning Jose Alfredo Portes" -"E. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett" -"A. Petitet Andre Platzer Peter Poromaas" -"Greg Puhak Claude Quitte Arthur C. Ralfs" -"Norman Ramsey Anatoly Raportirenko Guilherme Reis" -"Huan Ren Albert D. Rich Michael Richardson" -"Jason Riedy Renaud Rioboo Robert Risch" -"Jean Rivlin Nicolas Robidoux Simon Robinson" -"Raymond Rogers Michael Rothstein Martin Rubey" -"Jeff Rutter Philip Santas David Saunders" -"Alfred Scheerhorn William Schelter Gerhard Schneider" -"Martin Schoenert Marshall Schor Frithjof Schulze" -"Fritz Schwartz Steven Segletes V. Sima" -"Nick Simicich William Sit Elena Smirnova" -"Jacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan" -"Ken Stanley Jonathan Steinbach Fabio Stumbo" -"Christine Sundaresan Klaus Sutner Robert Sutor" -"Moss E. Sweedler Eugene Surowitz Yong Kiam Tan" -"Max Tegmark T. Doug Telford James Thatcher" -"Laurent Thery Balbir Thomas Mike Thomas" -"Carol Thompson Dylan Thurston Francoise Tisseur" -"Steve Toleque Dick Toupin Raymond Toy" -"Barry Trager Hale Trotter Themos T. Tsikas" -"Gregory Vanuxem Kresimir Veselic Christof Voemel" -"Bernhard Wall Paul Wang Stephen Watt" -"Andreas Weber Jaap Weel Al Weis" -"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" +Michael Albaugh Cyril Alberga Roy Adler +Christian Aistleitner Richard Anderson George Andrews +Jerry Archibald S.J. Atkins Jeremy Avigad +Knut Bahr 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 +Siddharth Bhat David Bindel Fred Blair +Vladimir Bondarenko Mark Botch Raoul Bourquin +Alexandre Bouyer Karen Braman Wolfgang Brehm +Peter A. Broadbery Martin Brock Manuel Bronstein +Christopher Brown Stephen Buchwald Florian Bundschuh +Luanne Burns William Burge Ralph Byers +Quentin Carpent Jacques Carette Pierre Casteran +Robert Cavines Pablo Cayuela Bruce Char +Ondrej Certik Tzu-Yi Chen Bobby Cheng +Cheekai Chin David V. Chudnovsky Gregory V. Chudnovsky +Mark Clements Roland Coeurjoly Emil Cohen +Hirsh Cohen Josh Cohen James Cloos +Jia Zhao Cong Christophe Conil Don Coppersmith +George Corliss Robert Corless Gary Cornell +Frank Costa Meino Cramer Karl Crary +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 Nicolas James Doye Zlatko Drmac +Lionel Ducos Iain Duff Lee Duhem +Martin Dunstan Brian Dupee Dominique Duval +Robert Edwards Hans-Dieter Ehrich Heow Eide-Goodman +Carl Engelman Lars Erickson Mark Fahey +William Farmer 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 +Max Goldstein Holger Gollan Teresa Gomez-Diaz +Ralph Gomory Laureano Gonzalez-Vega Stephen Gortler +Johannes Grabmeier Matt Grayson Martin Griss +Klaus Ebbe Grue James Griesmer Vladimir Grinberg +Oswald Gschnitzer Ming Gu Fred Gustavson +Jocelyn Guidry Gaetan Hache Steve Hague +Satoshi Hamaguchi Sven Hammarling Mike Hansen +Richard Hanson Richard Harke Joseph Harry +Bill Hart Vilya Harvey Martin Hassner +Arthur S. Hathaway Dan Hatton Waldek Hebisch +Karl Hegbloom Ralf Hemmecke Tony Hearn +Henderson Antoine Hersen Nicholas J. Higham +Lou Hodes Alan Hoffman Hoon Hong +Roger House Gernot Hueber Pietro Iglio +Joan Jaffe Alejandro Jakubi Richard Jenks +Bo Kagstrom William Kahan Kyriakos Kalorkoti +Kai Kaminski Grant Keady Tom Kelsey +Wilfrid Kendall Tony Kennedy David Kincaid +Keshav Kini Knut Korsvold 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 John Lipson Rudiger Loos +Craig Lucas Michael Lucks Richard Luczak +Camm Maguire Dave Mainey Francois Maltey +William Martin Ursula Martin Osni Marques +Alasdair McAndrew Bob McElrath Michael McGettrick +Bob McNeill Edi Meier Ian Meikle +David Mentre Jonathan Millen Victor S. Miller +Gerard Milmeister William Miranker 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 Norm Pass +Susan Pelzel Michel Petitot Didier Pinchon +Ayal Pinkus Frederick H. Pitts Frank Pfenning +Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti +Beresford Parlett A. Petitet Andre Platzer +Peter Poromaas Greg Puhak Claude Quitte +Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko +Guilherme Reis Huan Ren Albert D. Rich +Michael Richardson Jason Riedy Renaud Rioboo +Robert Risch Jean Rivlin Nicolas Robidoux +Simon Robinson Raymond Rogers Michael Rothstein +Martin Rubey Jeff Rutter R.W Ryniker II +Philip Santas David Saunders Alfred Scheerhorn +William Schelter Gerhard Schneider Martin Schoenert +Marshall Schor Frithjof Schulze Fritz Schwartz +Steven Segletes V. Sima Nick Simicich +William Sit Elena Smirnova Jacob Nyffeler Smith +Matthieu Sozeau Srinivasan Seshan Ken Stanley +Jonathan Steinbach Fabio Stumbo Christine Sundaresan +Klaus Sutner Robert Sutor Moss E. Sweedler +Eugene Surowitz Yong Kiam Tan Max Tegmark +T. Doug Telford James Thatcher Laurent Thery +Balbir Thomas Mike Thomas Carol Thompson +Dylan Thurston Francoise Tisseur Steve Toleque +Dick Toupin Raymond Toy Barry Trager +Hale Trotter Themos T. Tsikas Gregory Vanuxem +Kresimir Veselic Christof Voemel E.G. Wagner +Bernhard Wall Paul Wang Stephen Watt +Andreas Weber Jaap Weel Al Weis +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/community.html b/src/axiom-website/community.html index 1492974..c793f15 100644 --- a/src/axiom-website/community.html +++ b/src/axiom-website/community.html @@ -194,101 +194,102 @@ Knut Bahr 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 Christopher Brown -Stephen Buchwald Florian Bundschuh Luanne Burns -William Burge Ralph Byers Quentin Carpent -Jacques Carette Pierre Casteran Robert Cavines -Pablo Cayuela Bruce Char Ondrej Certik -Tzu-Yi Chen Bobby Cheng Cheekai Chin -David V. Chudnovsky Gregory V. Chudnovsky Mark Clements -Roland Coeurjoly Emil Cohen Hirsh Cohen -Josh Cohen James Cloos Jia Zhao Cong -Christophe Conil Don Coppersmith George Corliss -Robert Corless Gary Cornell Frank Costa -Meino Cramer Karl Crary 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 -Nicolas James Doye Zlatko Drmac Lionel Ducos -Iain Duff Lee Duhem Martin Dunstan -Brian Dupee Dominique Duval Robert Edwards -Hans-Dieter Ehrich Heow Eide-Goodman Carl Engelman -Lars Erickson Mark Fahey William Farmer -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 Max Goldstein -Holger Gollan Teresa Gomez-Diaz Ralph Gomory -Laureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier -Matt Grayson Martin Griss Klaus Ebbe Grue -James Griesmer Vladimir Grinberg Oswald Gschnitzer -Ming Gu Fred Gustavson Jocelyn Guidry -Gaetan Hache Steve Hague Satoshi Hamaguchi -Sven Hammarling Mike Hansen Richard Hanson -Richard Harke Joseph Harry Bill Hart -Vilya Harvey Martin Hassner Arthur S. Hathaway -Dan Hatton Waldek Hebisch Karl Hegbloom -Ralf Hemmecke Tony Hearn Henderson -Antoine Hersen Nicholas J. Higham Lou Hodes -Alan Hoffman Hoon Hong Roger House -Gernot Hueber Pietro Iglio Joan Jaffe -Alejandro Jakubi Richard Jenks Bo Kagstrom -William Kahan Kyriakos Kalorkoti Kai Kaminski -Grant Keady Tom Kelsey Wilfrid Kendall -Tony Kennedy David Kincaid Keshav Kini -Knut Korsvold 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 -John Lipson Rudiger Loos Craig Lucas -Michael Lucks Richard Luczak Camm Maguire -Dave Mainey Francois Maltey William Martin -Ursula Martin Osni Marques Alasdair McAndrew -Bob McElrath Michael McGettrick Bob McNeill -Edi Meier Ian Meikle David Mentre -Jonathan Millen Victor S. Miller Gerard Milmeister -William Miranker 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 Norm Pass Susan Pelzel -Michel Petitot Didier Pinchon Ayal Pinkus -Frederick H. Pitts Frank Pfenning Jose Alfredo Portes -E. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett -A. Petitet Andre Platzer Peter Poromaas -Greg Puhak Claude Quitte Arthur C. Ralfs -Norman Ramsey Anatoly Raportirenko Guilherme Reis -Huan Ren Albert D. Rich Michael Richardson -Jason Riedy Renaud Rioboo Robert Risch -Jean Rivlin Nicolas Robidoux Simon Robinson -Raymond Rogers Michael Rothstein Martin Rubey -Jeff Rutter Philip Santas David Saunders -Alfred Scheerhorn William Schelter Gerhard Schneider -Martin Schoenert Marshall Schor Frithjof Schulze -Fritz Schwartz Steven Segletes V. Sima -Nick Simicich William Sit Elena Smirnova -Jacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan -Ken Stanley Jonathan Steinbach Fabio Stumbo -Christine Sundaresan Klaus Sutner Robert Sutor -Moss E. Sweedler Eugene Surowitz Yong Kiam Tan -Max Tegmark T. Doug Telford James Thatcher -Laurent Thery Balbir Thomas Mike Thomas -Carol Thompson Dylan Thurston Francoise Tisseur -Steve Toleque Dick Toupin Raymond Toy -Barry Trager Hale Trotter Themos T. Tsikas -Gregory Vanuxem Kresimir Veselic Christof Voemel +Siddharth Bhat David Bindel Fred Blair +Vladimir Bondarenko Mark Botch Raoul Bourquin +Alexandre Bouyer Karen Braman Wolfgang Brehm +Peter A. Broadbery Martin Brock Manuel Bronstein +Christopher Brown Stephen Buchwald Florian Bundschuh +Luanne Burns William Burge Ralph Byers +Quentin Carpent Jacques Carette Pierre Casteran +Robert Cavines Pablo Cayuela Bruce Char +Ondrej Certik Tzu-Yi Chen Bobby Cheng +Cheekai Chin David V. Chudnovsky Gregory V. Chudnovsky +Mark Clements Roland Coeurjoly Emil Cohen +Hirsh Cohen Josh Cohen James Cloos +Jia Zhao Cong Christophe Conil Don Coppersmith +George Corliss Robert Corless Gary Cornell +Frank Costa Meino Cramer Karl Crary +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 Nicolas James Doye Zlatko Drmac +Lionel Ducos Iain Duff Lee Duhem +Martin Dunstan Brian Dupee Dominique Duval +Robert Edwards Hans-Dieter Ehrich Heow Eide-Goodman +Carl Engelman Lars Erickson Mark Fahey +William Farmer 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 +Max Goldstein Holger Gollan Teresa Gomez-Diaz +Ralph Gomory Laureano Gonzalez-Vega Stephen Gortler +Johannes Grabmeier Matt Grayson Martin Griss +Klaus Ebbe Grue James Griesmer Vladimir Grinberg +Oswald Gschnitzer Ming Gu Fred Gustavson +Jocelyn Guidry Gaetan Hache Steve Hague +Satoshi Hamaguchi Sven Hammarling Mike Hansen +Richard Hanson Richard Harke Joseph Harry +Bill Hart Vilya Harvey Martin Hassner +Arthur S. Hathaway Dan Hatton Waldek Hebisch +Karl Hegbloom Ralf Hemmecke Tony Hearn +Henderson Antoine Hersen Nicholas J. Higham +Lou Hodes Alan Hoffman Hoon Hong +Roger House Gernot Hueber Pietro Iglio +Joan Jaffe Alejandro Jakubi Richard Jenks +Bo Kagstrom William Kahan Kyriakos Kalorkoti +Kai Kaminski Grant Keady Tom Kelsey +Wilfrid Kendall Tony Kennedy David Kincaid +Keshav Kini Knut Korsvold 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 John Lipson Rudiger Loos +Craig Lucas Michael Lucks Richard Luczak +Camm Maguire Dave Mainey Francois Maltey +William Martin Ursula Martin Osni Marques +Alasdair McAndrew Bob McElrath Michael McGettrick +Bob McNeill Edi Meier Ian Meikle +David Mentre Jonathan Millen Victor S. Miller +Gerard Milmeister William Miranker 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 Norm Pass +Susan Pelzel Michel Petitot Didier Pinchon +Ayal Pinkus Frederick H. Pitts Frank Pfenning +Jose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti +Beresford Parlett A. Petitet Andre Platzer +Peter Poromaas Greg Puhak Claude Quitte +Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko +Guilherme Reis Huan Ren Albert D. Rich +Michael Richardson Jason Riedy Renaud Rioboo +Robert Risch Jean Rivlin Nicolas Robidoux +Simon Robinson Raymond Rogers Michael Rothstein +Martin Rubey Jeff Rutter R.W Ryniker II +Philip Santas David Saunders Alfred Scheerhorn +William Schelter Gerhard Schneider Martin Schoenert +Marshall Schor Frithjof Schulze Fritz Schwartz +Steven Segletes V. Sima Nick Simicich +William Sit Elena Smirnova Jacob Nyffeler Smith +Matthieu Sozeau Srinivasan Seshan Ken Stanley +Jonathan Steinbach Fabio Stumbo Christine Sundaresan +Klaus Sutner Robert Sutor Moss E. Sweedler +Eugene Surowitz Yong Kiam Tan Max Tegmark +T. Doug Telford James Thatcher Laurent Thery +Balbir Thomas Mike Thomas Carol Thompson +Dylan Thurston Francoise Tisseur Steve Toleque +Dick Toupin Raymond Toy Barry Trager +Hale Trotter Themos T. Tsikas Gregory Vanuxem +Kresimir Veselic Christof Voemel E.G. Wagner Bernhard Wall Paul Wang Stephen Watt Andreas Weber Jaap Weel Al Weis Juergen Weiss M. Weller Mark Wegman diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 3b06712..a923c17 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -6006,6 +6006,8 @@ minor cleanups
add references
20191012.01.tpd.patch books/bookvol15 The Axiom Sane Compiler
+20191109.01.tpd.patch +add names to credits diff --git a/src/input/unittest1.input.pamphlet b/src/input/unittest1.input.pamphlet index 547f6f5..60110d8 100644 --- a/src/input/unittest1.input.pamphlet +++ b/src/input/unittest1.input.pamphlet @@ -200,101 +200,102 @@ Unit test the user level commands --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 Christopher Brown ---RStephen Buchwald Florian Bundschuh Luanne Burns ---RWilliam Burge Ralph Byers Quentin Carpent ---RJacques Carette Pierre Casteran Robert Cavines ---RPablo Cayuela Bruce Char Ondrej Certik ---RTzu-Yi Chen Bobby Cheng Cheekai Chin ---RDavid V. Chudnovsky Gregory V. Chudnovsky Mark Clements ---RRoland Coeurjoly Emil Cohen Hirsh Cohen ---RJosh Cohen James Cloos Jia Zhao Cong ---RChristophe Conil Don Coppersmith George Corliss ---RRobert Corless Gary Cornell Frank Costa ---RMeino Cramer Karl Crary 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 ---RNicolas James Doye Zlatko Drmac Lionel Ducos ---RIain Duff Lee Duhem Martin Dunstan ---RBrian Dupee Dominique Duval Robert Edwards ---RHans-Dieter Ehrich Heow Eide-Goodman Carl Engelman ---RLars Erickson Mark Fahey William Farmer ---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 Max Goldstein ---RHolger Gollan Teresa Gomez-Diaz Ralph Gomory ---RLaureano Gonzalez-Vega Stephen Gortler Johannes Grabmeier ---RMatt Grayson Martin Griss Klaus Ebbe Grue ---RJames Griesmer Vladimir Grinberg Oswald Gschnitzer ---RMing Gu Fred Gustavson Jocelyn Guidry ---RGaetan Hache Steve Hague Satoshi Hamaguchi ---RSven Hammarling Mike Hansen Richard Hanson ---RRichard Harke Joseph Harry Bill Hart ---RVilya Harvey Martin Hassner Arthur S. Hathaway ---RDan Hatton Waldek Hebisch Karl Hegbloom ---RRalf Hemmecke Tony Hearn Henderson ---RAntoine Hersen Nicholas J. Higham Lou Hodes ---RAlan Hoffman Hoon Hong Roger House ---RGernot Hueber Pietro Iglio Joan Jaffe ---RAlejandro Jakubi Richard Jenks Bo Kagstrom ---RWilliam Kahan Kyriakos Kalorkoti Kai Kaminski ---RGrant Keady Tom Kelsey Wilfrid Kendall ---RTony Kennedy David Kincaid Keshav Kini ---RKnut Korsvold Ted Kosan Paul Kosinski ---RIgor Kozachenko Fred Krogh Klaus Kusche ---RBernhard Kutzler Tim Lahey Larry Lambe ---RKaj Laurson Charles Lawson George L. Legendre ---RFranz Lehner Frederic Lehobey Michel Levaud ---RHoward Levy J. Lewis Ren-Cang Li ---RJohn Lipson Rudiger Loos Craig Lucas ---RMichael Lucks Richard Luczak Camm Maguire ---RDave Mainey Francois Maltey William Martin ---RUrsula Martin Osni Marques Alasdair McAndrew ---RBob McElrath Michael McGettrick Bob McNeill ---REdi Meier Ian Meikle David Mentre ---RJonathan Millen Victor S. Miller Gerard Milmeister ---RWilliam Miranker 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 Norm Pass Susan Pelzel ---RMichel Petitot Didier Pinchon Ayal Pinkus ---RFrederick H. Pitts Frank Pfenning Jose Alfredo Portes ---RE. Quintana-Orti Gregorio Quintana-Orti Beresford Parlett ---RA. Petitet Andre Platzer Peter Poromaas ---RGreg Puhak Claude Quitte Arthur C. Ralfs ---RNorman Ramsey Anatoly Raportirenko Guilherme Reis ---RHuan Ren Albert D. Rich Michael Richardson ---RJason Riedy Renaud Rioboo Robert Risch ---RJean Rivlin Nicolas Robidoux Simon Robinson ---RRaymond Rogers Michael Rothstein Martin Rubey ---RJeff Rutter Philip Santas David Saunders ---RAlfred Scheerhorn William Schelter Gerhard Schneider ---RMartin Schoenert Marshall Schor Frithjof Schulze ---RFritz Schwartz Steven Segletes V. Sima ---RNick Simicich William Sit Elena Smirnova ---RJacob Nyffeler Smith Matthieu Sozeau Srinivasan Seshan ---RKen Stanley Jonathan Steinbach Fabio Stumbo ---RChristine Sundaresan Klaus Sutner Robert Sutor ---RMoss E. Sweedler Eugene Surowitz Yong Kiam Tan ---RMax Tegmark T. Doug Telford James Thatcher ---RLaurent Thery Balbir Thomas Mike Thomas ---RCarol Thompson Dylan Thurston Francoise Tisseur ---RSteve Toleque Dick Toupin Raymond Toy ---RBarry Trager Hale Trotter Themos T. Tsikas ---RGregory Vanuxem Kresimir Veselic Christof Voemel +--RSiddharth Bhat David Bindel Fred Blair +--RVladimir Bondarenko Mark Botch Raoul Bourquin +--RAlexandre Bouyer Karen Braman Wolfgang Brehm +--RPeter A. Broadbery Martin Brock Manuel Bronstein +--RChristopher Brown Stephen Buchwald Florian Bundschuh +--RLuanne Burns William Burge Ralph Byers +--RQuentin Carpent Jacques Carette Pierre Casteran +--RRobert Cavines Pablo Cayuela Bruce Char +--ROndrej Certik Tzu-Yi Chen Bobby Cheng +--RCheekai Chin David V. Chudnovsky Gregory V. Chudnovsky +--RMark Clements Roland Coeurjoly Emil Cohen +--RHirsh Cohen Josh Cohen James Cloos +--RJia Zhao Cong Christophe Conil Don Coppersmith +--RGeorge Corliss Robert Corless Gary Cornell +--RFrank Costa Meino Cramer Karl Crary +--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 Nicolas James Doye Zlatko Drmac +--RLionel Ducos Iain Duff Lee Duhem +--RMartin Dunstan Brian Dupee Dominique Duval +--RRobert Edwards Hans-Dieter Ehrich Heow Eide-Goodman +--RCarl Engelman Lars Erickson Mark Fahey +--RWilliam Farmer Richard Fateman Bertfried Fauser +--RStuart Feldman John Fletcher Brian Ford +--RAlbrecht Fortenbacher George Frances Constantine Frangos +--RTimothy Freeman Korrinn Fu Marc Gaetano +--RRudiger Gebauer Van de Geijn Kathy Gerber +--RPatricia Gianni Gustavo Goertkin Samantha Goldrich +--RMax Goldstein Holger Gollan Teresa Gomez-Diaz +--RRalph Gomory Laureano Gonzalez-Vega Stephen Gortler +--RJohannes Grabmeier Matt Grayson Martin Griss +--RKlaus Ebbe Grue James Griesmer Vladimir Grinberg +--ROswald Gschnitzer Ming Gu Fred Gustavson +--RJocelyn Guidry Gaetan Hache Steve Hague +--RSatoshi Hamaguchi Sven Hammarling Mike Hansen +--RRichard Hanson Richard Harke Joseph Harry +--RBill Hart Vilya Harvey Martin Hassner +--RArthur S. Hathaway Dan Hatton Waldek Hebisch +--RKarl Hegbloom Ralf Hemmecke Tony Hearn +--RHenderson Antoine Hersen Nicholas J. Higham +--RLou Hodes Alan Hoffman Hoon Hong +--RRoger House Gernot Hueber Pietro Iglio +--RJoan Jaffe Alejandro Jakubi Richard Jenks +--RBo Kagstrom William Kahan Kyriakos Kalorkoti +--RKai Kaminski Grant Keady Tom Kelsey +--RWilfrid Kendall Tony Kennedy David Kincaid +--RKeshav Kini Knut Korsvold 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 John Lipson Rudiger Loos +--RCraig Lucas Michael Lucks Richard Luczak +--RCamm Maguire Dave Mainey Francois Maltey +--RWilliam Martin Ursula Martin Osni Marques +--RAlasdair McAndrew Bob McElrath Michael McGettrick +--RBob McNeill Edi Meier Ian Meikle +--RDavid Mentre Jonathan Millen Victor S. Miller +--RGerard Milmeister William Miranker 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 Norm Pass +--RSusan Pelzel Michel Petitot Didier Pinchon +--RAyal Pinkus Frederick H. Pitts Frank Pfenning +--RJose Alfredo Portes E. Quintana-Orti Gregorio Quintana-Orti +--RBeresford Parlett A. Petitet Andre Platzer +--RPeter Poromaas Greg Puhak Claude Quitte +--RArthur C. Ralfs Norman Ramsey Anatoly Raportirenko +--RGuilherme Reis Huan Ren Albert D. Rich +--RMichael Richardson Jason Riedy Renaud Rioboo +--RRobert Risch Jean Rivlin Nicolas Robidoux +--RSimon Robinson Raymond Rogers Michael Rothstein +--RMartin Rubey Jeff Rutter R.W Ryniker II +--RPhilip Santas David Saunders Alfred Scheerhorn +--RWilliam Schelter Gerhard Schneider Martin Schoenert +--RMarshall Schor Frithjof Schulze Fritz Schwartz +--RSteven Segletes V. Sima Nick Simicich +--RWilliam Sit Elena Smirnova Jacob Nyffeler Smith +--RMatthieu Sozeau Srinivasan Seshan Ken Stanley +--RJonathan Steinbach Fabio Stumbo Christine Sundaresan +--RKlaus Sutner Robert Sutor Moss E. Sweedler +--REugene Surowitz Yong Kiam Tan Max Tegmark +--RT. Doug Telford James Thatcher Laurent Thery +--RBalbir Thomas Mike Thomas Carol Thompson +--RDylan Thurston Francoise Tisseur Steve Toleque +--RDick Toupin Raymond Toy Barry Trager +--RHale Trotter Themos T. Tsikas Gregory Vanuxem +--RKresimir Veselic Christof Voemel E.G. Wagner --RBernhard Wall Paul Wang Stephen Watt --RAndreas Weber Jaap Weel Al Weis --RJuergen Weiss M. Weller Mark Wegman -- 1.9.1