BibTeX records: B. David Saunders

download as .bib file

@article{DBLP:journals/jsc/HarrisonJS22,
  author       = {Gavin Harrison and
                  Jeremy Johnson and
                  B. David Saunders},
  title        = {Probabilistic analysis of block Wiedemann for leading invariant factors},
  journal      = {J. Symb. Comput.},
  volume       = {108},
  pages        = {98--116},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jsc.2021.06.005},
  doi          = {10.1016/J.JSC.2021.06.005},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/HarrisonJS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessSS21,
  author       = {Robert M. Corless and
                  Leili Rafiee Sevyeri and
                  B. David Saunders},
  editor       = {Fr{\'{e}}d{\'{e}}ric Chyzak and
                  George Labahn},
  title        = {Equivalences for Linearizations of Matrix Polynomials},
  booktitle    = {{ISSAC} '21: International Symposium on Symbolic and Algebraic Computation,
                  Virtual Event, Russia, July 18-23, 2021},
  pages        = {107--114},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3452143.3465547},
  doi          = {10.1145/3452143.3465547},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/CorlessSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09726,
  author       = {Robert M. Corless and
                  Leili Rafiee Sevyeri and
                  B. David Saunders},
  title        = {Equivalences for Linearizations of Matrix Polynomials},
  journal      = {CoRR},
  volume       = {abs/2102.09726},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09726},
  eprinttype    = {arXiv},
  eprint       = {2102.09726},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09726.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/CorlessGSS20,
  author       = {Robert M. Corless and
                  Mark Giesbrecht and
                  Leili Rafiee Sevyeri and
                  B. David Saunders},
  editor       = {Fran{\c{c}}ois Boulier and
                  Matthew England and
                  Timur M. Sadykov and
                  Evgenii V. Vorozhtsov},
  title        = {On Parametric Linear System Solving},
  booktitle    = {Computer Algebra in Scientific Computing - 22nd International Workshop,
                  {CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12291},
  pages        = {188--205},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60026-6\_11},
  doi          = {10.1007/978-3-030-60026-6\_11},
  timestamp    = {Mon, 31 Jan 2022 07:36:54 +0100},
  biburl       = {https://dblp.org/rec/conf/casc/CorlessGSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-03864,
  author       = {Gavin Harrison and
                  Jeremy R. Johnson and
                  B. David Saunders},
  title        = {Probabilistic Analysis of Block Wiedemann for Leading Invariant Factors},
  journal      = {CoRR},
  volume       = {abs/1803.03864},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.03864},
  eprinttype    = {arXiv},
  eprint       = {1803.03864},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-03864.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LambertS17,
  author       = {Matthew A. Lambert and
                  B. David Saunders},
  editor       = {Jean{-}Charles Faug{\`{e}}re and
                  Michael B. Monagan and
                  Hans{-}Wolfgang Loidl},
  title        = {Compiler auto-vectorization of matrix multiplication modulo small
                  primes},
  booktitle    = {Proceedings of the International Workshop on Parallel Symbolic Computation,
                  PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
  pages        = {7:1--7:10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3115936.3115943},
  doi          = {10.1145/3115936.3115943},
  timestamp    = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LambertS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/HarrisonJS16,
  author       = {Gavin Harrison and
                  Jeremy Johnson and
                  B. David Saunders},
  title        = {Probabilistic analysis of block wiedemann for leading invariant factors},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {50},
  number       = {4},
  pages        = {173--175},
  year         = {2016},
  url          = {https://doi.org/10.1145/3055282.3055294},
  doi          = {10.1145/3055282.3055294},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/HarrisonJS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/HarrisonJS16,
  author       = {Gavin Harrison and
                  Jeremy Johnson and
                  B. David Saunders},
  title        = {Probabilistic analysis of Wiedemann's algorithm for minimal polynomial
                  computation},
  journal      = {J. Symb. Comput.},
  volume       = {74},
  pages        = {55--69},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jsc.2015.06.005},
  doi          = {10.1016/J.JSC.2015.06.005},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/HarrisonJS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cap/NovocinSSY15,
  author       = {Andrew Novocin and
                  David Saunders and
                  Alexander Stachnik and
                  Bryan S. Youse},
  editor       = {Jean{-}Guillaume Dumas and
                  Erich L. Kaltofen and
                  Cl{\'{e}}ment Pernet},
  title        = {3-ranks for strongly regular graphs},
  booktitle    = {Proceedings of the 2015 International Workshop on Parallel Symbolic
                  Computation, {PASCO} 2015, Bath, United Kingdom, July 10-12, 2015},
  pages        = {101--108},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2790282.2790295},
  doi          = {10.1145/2790282.2790295},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cap/NovocinSSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Saunders15,
  author       = {B. David Saunders},
  editor       = {Kazuhiro Yokoyama and
                  Steve Linton and
                  Daniel Robertz},
  title        = {Matrices with Two Nonzero Entries per Row},
  booktitle    = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
                  and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
                  06 - 09, 2015},
  pages        = {323--330},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2755996.2756679},
  doi          = {10.1145/2755996.2756679},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Saunders15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/BoyerDGPS14,
  author       = {Brice Boyer and
                  Jean{-}Guillaume Dumas and
                  Pascal Giorgi and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  editor       = {Hoon Hong and
                  Chee Yap},
  title        = {Elements of Design for Containers and Solutions in the LinBox Library
                  - Extended Abstract},
  booktitle    = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
                  Seoul, South Korea, August 5-9, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8592},
  pages        = {654--662},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44199-2\_98},
  doi          = {10.1007/978-3-662-44199-2\_98},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/BoyerDGPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoyerDGPS14,
  author       = {Brice Boyer and
                  Jean{-}Guillaume Dumas and
                  Pascal Giorgi and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  title        = {Elements of Design for Containers and Solutions in the LinBox Library},
  journal      = {CoRR},
  volume       = {abs/1407.3262},
  year         = {2014},
  url          = {http://arxiv.org/abs/1407.3262},
  eprinttype    = {arXiv},
  eprint       = {1407.3262},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BoyerDGPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HarrisonJS14,
  author       = {Gavin Harrison and
                  Jeremy R. Johnson and
                  B. David Saunders},
  title        = {Probabilistic analysis of Wiedemann's algorithm for minimal polynomial
                  computation},
  journal      = {CoRR},
  volume       = {abs/1412.5071},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.5071},
  eprinttype    = {arXiv},
  eprint       = {1412.5071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HarrisonJS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/HarrisonJS13,
  author       = {Gavin Harrison and
                  Jeremy Johnson and
                  B. David Saunders},
  title        = {Probabilistic analysis of Wiedemann's algorithm for minimal polynomial
                  computation},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {47},
  number       = {3/4},
  pages        = {118--119},
  year         = {2013},
  url          = {https://doi.org/10.1145/2576802.2576822},
  doi          = {10.1145/2576802.2576822},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/HarrisonJS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ElsheikhGNS12,
  author       = {Mustafa Elsheikh and
                  Mark Giesbrecht and
                  Andy Novocin and
                  B. David Saunders},
  editor       = {Joris van der Hoeven and
                  Mark van Hoeij},
  title        = {Fast computation of Smith forms of sparse matrices over local rings},
  booktitle    = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
                  Grenoble, France - July 22 - 25, 2012},
  pages        = {146--153},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2442829.2442853},
  doi          = {10.1145/2442829.2442853},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/ElsheikhGNS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5365,
  author       = {Mustafa Elsheikh and
                  Mark Giesbrecht and
                  Andy Novocin and
                  B. David Saunders},
  title        = {Fast Computation of Smith Forms of Sparse Matrices Over Local Rings},
  journal      = {CoRR},
  volume       = {abs/1201.5365},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.5365},
  eprinttype    = {arXiv},
  eprint       = {1201.5365},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-5365.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenNS11,
  author       = {Erich L. Kaltofen and
                  Michael Nehring and
                  B. David Saunders},
  editor       = {{\'{E}}ric Schost and
                  Ioannis Z. Emiris},
  title        = {Quadratic-time certificates in linear algebra},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
                  2011, Proceedings},
  pages        = {171--176},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993886.1993915},
  doi          = {10.1145/1993886.1993915},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenNS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SaundersWY11,
  author       = {B. David Saunders and
                  David Harlan Wood and
                  Bryan S. Youse},
  editor       = {{\'{E}}ric Schost and
                  Ioannis Z. Emiris},
  title        = {Numeric-symbolic exact rational linear system solver},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
                  2011, Proceedings},
  pages        = {305--312},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1993886.1993932},
  doi          = {10.1145/1993886.1993932},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SaundersWY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/YouseS10,
  author       = {Bryan S. Youse and
                  B. David Saunders},
  title        = {Abstract only: Bitslicing with matrix algorithms oblivious to the
                  data compression},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {44},
  number       = {1/2},
  pages        = {26},
  year         = {2010},
  url          = {https://doi.org/10.1145/1838599.1838617},
  doi          = {10.1145/1838599.1838617},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/YouseS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/DumasGPS10,
  author       = {Jean{-}Guillaume Dumas and
                  Thierry Gautier and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  editor       = {Komei Fukuda and
                  Joris van der Hoeven and
                  Michael Joswig and
                  Nobuki Takayama},
  title        = {LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate
                  Compilation},
  booktitle    = {Mathematical Software - {ICMS} 2010, Third International Congress
                  on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6327},
  pages        = {77--83},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15582-6\_16},
  doi          = {10.1007/978-3-642-15582-6\_16},
  timestamp    = {Mon, 28 Aug 2023 21:17:32 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/DumasGPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1317,
  author       = {Jean{-}Guillaume Dumas and
                  Thierry Gautier and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  title        = {LinBox founding scope allocation, parallel building blocks, and separate
                  compilation},
  journal      = {CoRR},
  volume       = {abs/1009.1317},
  year         = {2010},
  url          = {http://arxiv.org/abs/1009.1317},
  eprinttype    = {arXiv},
  eprint       = {1009.1317},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-1317.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasPS09,
  author       = {Jean{-}Guillaume Dumas and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  editor       = {Jeremy R. Johnson and
                  Hyungju Park and
                  Erich L. Kaltofen},
  title        = {On finding multiplicities of characteristic polynomial factors of
                  black-box matrices},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  pages        = {135--142},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1576702.1576723},
  doi          = {10.1145/1576702.1576723},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/DumasPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SaundersY09,
  author       = {B. David Saunders and
                  Bryan S. Youse},
  editor       = {Jeremy R. Johnson and
                  Hyungju Park and
                  Erich L. Kaltofen},
  title        = {Large matrix, small rank},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  pages        = {317--324},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1576702.1576746},
  doi          = {10.1145/1576702.1576746},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SaundersY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-4747,
  author       = {Jean{-}Guillaume Dumas and
                  Cl{\'{e}}ment Pernet and
                  B. David Saunders},
  title        = {On finding multiplicities of characteristic polynomial factors of
                  black-box matrices},
  journal      = {CoRR},
  volume       = {abs/0901.4747},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.4747},
  eprinttype    = {arXiv},
  eprint       = {0901.4747},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-4747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CharSY07,
  author       = {Bruce W. Char and
                  B. David Saunders and
                  Bryan S. Youse},
  editor       = {Marc Moreno Maza and
                  Stephen M. Watt},
  title        = {LinBox and future high performance computer algebra},
  booktitle    = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
                  27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages        = {102--103},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1278177.1278197},
  doi          = {10.1145/1278177.1278197},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/CharSY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MaySW07a,
  author       = {John P. May and
                  B. David Saunders and
                  David Harlan Wood},
  editor       = {Stephen M. Watt and
                  Jan Verschelde},
  title        = {Numerical techniques for computing the inertia of products of matrices
                  of rational numbers},
  booktitle    = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
                  25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages        = {125--132},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1277500.1277520},
  doi          = {10.1145/1277500.1277520},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/MaySW07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/MaySW07,
  author       = {John P. May and
                  David Saunders and
                  Zhendong Wan},
  editor       = {Dongming Wang},
  title        = {Efficient matrix rank computation with application to the study of
                  strongly regular graphs},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
  pages        = {277--284},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1277548.1277586},
  doi          = {10.1145/1277548.1277586},
  timestamp    = {Mon, 22 Apr 2024 21:24:34 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/MaySW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AdamsSW05,
  author       = {Jeffrey Adams and
                  B. David Saunders and
                  Zhendong Wan},
  editor       = {Manuel Kauers},
  title        = {Signature of symmetric rational matrices and the unitary dual of lie
                  groups},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2005, Beijing, China, July 24-27, 2005, Proceedings},
  pages        = {13--20},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073884.1073889},
  doi          = {10.1145/1073884.1073889},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AdamsSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SaundersW04,
  author       = {David Saunders and
                  Zhendong Wan},
  editor       = {Jaime Gutierrez},
  title        = {Smith normal form of dense integer matrices fast algorithms into practice},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2004, Santander, Spain, July 4-7, 2004, Proceedings},
  pages        = {274--281},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1005285.1005325},
  doi          = {10.1145/1005285.1005325},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/SaundersW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DumasHSW03,
  author       = {Jean{-}Guillaume Dumas and
                  Frank Heckenbach and
                  B. David Saunders and
                  Volkmar Welker},
  editor       = {Michael Joswig and
                  Nobuki Takayama},
  title        = {Computing Simplicial Homology Based on Efficient Smith Normal Form
                  Algorithms},
  booktitle    = {Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]},
  pages        = {177--206},
  publisher    = {Springer},
  year         = {2003},
  timestamp    = {Tue, 15 Jul 2003 15:25:59 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DumasHSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DumasSV01,
  author       = {Jean{-}Guillaume Dumas and
                  B. David Saunders and
                  Gilles Villard},
  title        = {On Efficient Sparse Integer Matrix Smith Normal Form Computations},
  journal      = {J. Symb. Comput.},
  volume       = {32},
  number       = {1/2},
  pages        = {71--99},
  year         = {2001},
  url          = {https://doi.org/10.1006/jsco.2001.0451},
  doi          = {10.1006/JSCO.2001.0451},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/DumasSV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Saunders01,
  author       = {B. David Saunders},
  editor       = {Erich L. Kaltofen and
                  Gilles Villard},
  title        = {Black box methods for least squares problems},
  booktitle    = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
                  Ontario, London, Ontario, Canada, July 22-25, 2001},
  pages        = {297--302},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/384101.384141},
  doi          = {10.1145/384101.384141},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/Saunders01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DumasSV00,
  author       = {Jean{-}Guillaume Dumas and
                  B. David Saunders and
                  Gilles Villard},
  editor       = {Carlo Traverso},
  title        = {Integer Smith form via the valence: experience with large sparse matrices
                  from homology},
  booktitle    = {Proceedings of the 2000 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} 2000, St. Andrews, United Kingdom, August 6-10,
                  2000},
  pages        = {95--105},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/345542.345590},
  doi          = {10.1145/345542.345590},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/DumasSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GiesbrechtLS98,
  author       = {Mark Giesbrecht and
                  Austin Lobo and
                  B. David Saunders},
  editor       = {Volker Weispfenning and
                  Barry M. Trager},
  title        = {Certifying Inconsistency of Sparse Linear Systems},
  booktitle    = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  pages        = {113--119},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/281508.281591},
  doi          = {10.1145/281508.281591},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/GiesbrechtLS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/LakshmanS97,
  author       = {Yagati N. Lakshman and
                  B. David Saunders},
  title        = {Sparse Shifts for Univariate Polynomials},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {8},
  number       = {6},
  pages        = {561--562},
  year         = {1997},
  url          = {https://doi.org/10.1007/s002000050091},
  doi          = {10.1007/S002000050091},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/LakshmanS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/GiesbrechtLS97,
  author       = {Mark Giesbrecht and
                  Austin Lobo and
                  David Saunders},
  title        = {Certifying inconsistency of sparse linear systems},
  journal      = {{SIGSAM} Bull.},
  volume       = {31},
  number       = {3},
  pages        = {40},
  year         = {1997},
  url          = {https://doi.org/10.1145/271130.271194},
  doi          = {10.1145/271130.271194},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/GiesbrechtLS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/GiesbrechtS97,
  author       = {Mark Giesbrecht and
                  David Saunders},
  title        = {Parametric linear systems: the two parameter case},
  journal      = {{SIGSAM} Bull.},
  volume       = {31},
  number       = {3},
  pages        = {40},
  year         = {1997},
  url          = {https://doi.org/10.1145/271130.271195},
  doi          = {10.1145/271130.271195},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/GiesbrechtS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/LakshmanS96,
  author       = {Yagati N. Lakshman and
                  B. David Saunders},
  title        = {Sparse shifts for univariate polynomials},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {7},
  number       = {5},
  pages        = {351--364},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF01293594},
  doi          = {10.1007/BF01293594},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/LakshmanS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LeeS95,
  author       = {Hong R. Lee and
                  B. David Saunders},
  title        = {Fraction Free Gaussian Elimination for Sparse Matrices},
  journal      = {J. Symb. Comput.},
  volume       = {19},
  number       = {5},
  pages        = {393--402},
  year         = {1995},
  url          = {https://doi.org/10.1006/jsco.1995.1022},
  doi          = {10.1006/JSCO.1995.1022},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/LeeS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LakshmanS95,
  author       = {Yagati N. Lakshman and
                  B. David Saunders},
  title        = {Sparse Polynomial Interpolation in Nonstandard Bases},
  journal      = {{SIAM} J. Comput.},
  volume       = {24},
  number       = {2},
  pages        = {387--397},
  year         = {1995},
  url          = {https://doi.org/10.1137/S0097539792237784},
  doi          = {10.1137/S0097539792237784},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/LakshmanS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LakshmanS94,
  author       = {Yagati N. Lakshman and
                  B. David Saunders},
  editor       = {Malcolm A. H. MacCallum},
  title        = {On Computing Sparse Shifts for Univariate Polynomials},
  booktitle    = {Proceedings of the International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
  pages        = {108--113},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/190347.190373},
  doi          = {10.1145/190347.190373},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/LakshmanS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/CharJSW94,
  author       = {Bruce W. Char and
                  Jeremy Johnson and
                  David Saunders and
                  Andrew P. Wack},
  editor       = {Hoon Hong},
  title        = {Some Experiments with Parallel Bignum Arithmetic},
  booktitle    = {First International Symposium on Parallel Symbolic Computation, {PASCO}
                  1994, Hagenberg/Linz, Austria, September 26-28, 1994},
  pages        = {94--103},
  publisher    = {World Scientific},
  year         = {1994},
  timestamp    = {Tue, 04 Apr 2023 10:49:43 +0200},
  biburl       = {https://dblp.org/rec/conf/pasco/CharJSW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/KaltofenS91,
  author       = {Erich L. Kaltofen and
                  B. David Saunders},
  editor       = {Harold F. Mattson and
                  Teo Mora and
                  T. R. N. Rao},
  title        = {On Wiedemann's Method of Solving Sparse Linear Systems},
  booktitle    = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
                  9th International Symposium, AAECC-9, New Orleans, LA, USA, October
                  7-11, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {539},
  pages        = {29--38},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54522-0\_93},
  doi          = {10.1007/3-540-54522-0\_93},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaecc/KaltofenS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SaundersLA89,
  author       = {B. David Saunders and
                  Hong R. Lee and
                  S. Kamal Abdali},
  editor       = {Gaston H. Gonnet},
  title        = {A Parallel Implementation of the Cylindrical Algebraic Decomposition
                  Algorithm},
  booktitle    = {Proceedings of the {ACM-SIGSAM} 1989 International Symposium on Symbolic
                  and Algebraic Computation, {ISSAC} '89, Portland, Oregon, USA, July
                  17-19, 1989},
  pages        = {298--307},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/74540.74576},
  doi          = {10.1145/74540.74576},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SaundersLA89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KaltofenKS87,
  author       = {Erich L. Kaltofen and
                  Mukkai S. Krishnamoorthy and
                  B. David Saunders},
  editor       = {James H. Davenport},
  title        = {Mr. Smith goes to Las Vegas: Randomized parallel computation of the
                  Smith Normal Form of polynomial matrices},
  booktitle    = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
                  June 2-5, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {378},
  pages        = {317--322},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-51517-8\_134},
  doi          = {10.1007/3-540-51517-8\_134},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/KaltofenKS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenKS86,
  author       = {Erich L. Kaltofen and
                  Mukkai S. Krishnamoorthy and
                  B. David Saunders},
  editor       = {Bruce W. Char},
  title        = {Fast parallel algorithms for similarity of matrices},
  booktitle    = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
                  {SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
  pages        = {65--70},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/32439.32452},
  doi          = {10.1145/32439.32452},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenKS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/SingerSC85,
  author       = {Michael F. Singer and
                  B. David Saunders and
                  Bob F. Caviness},
  title        = {An Extension of Liouville's Theorem on Integration in Finite Terms},
  journal      = {{SIAM} J. Comput.},
  volume       = {14},
  number       = {4},
  pages        = {966--990},
  year         = {1985},
  url          = {https://doi.org/10.1137/0214069},
  doi          = {10.1137/0214069},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/SingerSC85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbdaliS85,
  author       = {S. Kamal Abdali and
                  B. David Saunders},
  title        = {Transitive Closure and Related Semiring Properties via Eliminants},
  journal      = {Theor. Comput. Sci.},
  volume       = {40},
  pages        = {257--274},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90170-7},
  doi          = {10.1016/0304-3975(85)90170-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AbdaliS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/AgnarssonKS85,
  author       = {Snorri Agnarsson and
                  Mukkai S. Krishnamoorthy and
                  B. David Saunders},
  editor       = {Bob F. Caviness},
  title        = {An Algebraic Implementation of Packages},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {204},
  pages        = {291--302},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15984-3\_280},
  doi          = {10.1007/3-540-15984-3\_280},
  timestamp    = {Tue, 29 Aug 2023 20:47:14 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/AgnarssonKS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosam/GlinosS84,
  author       = {Nikolaos Glinos and
                  B. David Saunders},
  editor       = {John P. Fitch},
  title        = {Operational Calculus Technique for Solving Differential Equations},
  booktitle    = {{EUROSAM} 84, International Symposium on Symbolic and Algebraic Computation,
                  Cambridge, England, UK, July 9-11, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {174},
  pages        = {23--34},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/BFb0032827},
  doi          = {10.1007/BFB0032827},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosam/GlinosS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KaltofenMS83,
  author       = {Erich L. Kaltofen and
                  David R. Musser and
                  B. David Saunders},
  title        = {A Generalized Class of Polynomials that are Hard to Factor},
  journal      = {{SIAM} J. Comput.},
  volume       = {12},
  number       = {3},
  pages        = {473--483},
  year         = {1983},
  url          = {https://doi.org/10.1137/0212031},
  doi          = {10.1137/0212031},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/KaltofenMS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Saunders81,
  author       = {B. David Saunders},
  title        = {Abstracts},
  journal      = {{SIGSAM} Bull.},
  volume       = {15},
  number       = {2},
  pages        = {6--7},
  year         = {1981},
  url          = {https://doi.org/10.1145/1089257.1089258},
  doi          = {10.1145/1089257.1089258},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Saunders81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Saunders81a,
  author       = {B. David Saunders},
  title        = {Algebra made mechanical},
  journal      = {{SIGSAM} Bull.},
  volume       = {15},
  number       = {3},
  pages        = {23--25},
  year         = {1981},
  url          = {https://doi.org/10.1145/1089263.1089267},
  doi          = {10.1145/1089263.1089267},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Saunders81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/SingerSC81,
  author       = {Michael F. Singer and
                  B. David Saunders and
                  Bob F. Caviness},
  editor       = {Paul S. Wang},
  title        = {An extension of Liouville's theorem on integration in finite terms},
  booktitle    = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
                  {SYMSAC} 1981, Snowbird, Utah, USA, August 5-7, 1981},
  pages        = {23--24},
  publisher    = {{ACM}},
  year         = {1981},
  url          = {https://doi.org/10.1145/800206.806366},
  doi          = {10.1145/800206.806366},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/SingerSC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Saunders81,
  author       = {B. David Saunders},
  editor       = {Paul S. Wang},
  title        = {An implementation of Kovacic's algorithm for solving second order
                  linear homogeneous differential equations},
  booktitle    = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
                  {SYMSAC} 1981, Snowbird, Utah, USA, August 5-7, 1981},
  pages        = {105--108},
  publisher    = {{ACM}},
  year         = {1981},
  url          = {https://doi.org/10.1145/800206.806378},
  doi          = {10.1145/800206.806378},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Saunders81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/KaltofenMS81,
  author       = {Erich L. Kaltofen and
                  David R. Musser and
                  B. David Saunders},
  editor       = {Paul S. Wang},
  title        = {A generalized class of polynomials that are hard to factor},
  booktitle    = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
                  {SYMSAC} 1981, Snowbird, Utah, USA, August 5-7, 1981},
  pages        = {188--194},
  publisher    = {{ACM}},
  year         = {1981},
  url          = {https://doi.org/10.1145/800206.806394},
  doi          = {10.1145/800206.806394},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/KaltofenMS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Saunders80,
  author       = {B. David Saunders},
  title        = {A survey of available systems},
  journal      = {{SIGSAM} Bull.},
  volume       = {14},
  number       = {4},
  pages        = {12--28},
  year         = {1980},
  url          = {https://doi.org/10.1145/1089235.1089237},
  doi          = {10.1145/1089235.1089237},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cca/Saunders80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/SaundersS78,
  author       = {B. David Saunders and
                  Hans Schneider},
  title        = {Flows on graphs applied to diagonal similarity and diagonal equivalence
                  for matrices},
  journal      = {Discret. Math.},
  volume       = {24},
  number       = {2},
  pages        = {205--220},
  year         = {1978},
  url          = {https://doi.org/10.1016/0012-365X(78)90200-5},
  doi          = {10.1016/0012-365X(78)90200-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/SaundersS78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics