@book{ abelson-et-al:scheme,
  author = "Harold Abelson and Gerald~Jay Sussman and Julie Sussman",
  title = "Structure and Interpretation of Computer Programs",
  publisher = "MIT Press",
  address = "Cambridge, Massachusetts",
  year = "1985"
}

@inproceedings{ bgf:Lixto,
  author = "Robert Baumgartner and Georg Gottlob and Sergio Flesca",
  title = "Visual Information Extraction with {Lixto}",
  booktitle = "Proceedings of the 27th International Conference on Very Large Databases",
  pages = "119--128",
  publisher = "Morgan Kaufmann",
  address = "Rome, Italy",
  month = "September",
  year = "2001"
}

@article{ brachman-schmolze:kl-one,
  author = "Ronald~J. Brachman and James~G. Schmolze",
  title = "An overview of the {KL-ONE} knowledge representation system",
  journal = "Cognitive Science",
  volume = "9",
  number = "2",
  pages = "171--216",
  month = "April--June",
  year = "1985"
}

@article{ gottlob:nonmon,
  author = "Georg Gottlob",
  title = "Complexity results for nonmonotonic logics",
  journal = "Journal of Logic and Computation",
  volume = "2",
  number = "3",
  pages = "397--425",
  month = "June",
  year = "1992"
}

@article{ gls:hypertrees,
  author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
  title = "Hypertree Decompositions and Tractable Queries",
  journal = "Journal of Computer and System Sciences",
  volume = "64",
  number = "3",
  pages = "579--627",
  month = "May",
  year = "2002"
}

@article{ levesque:functional-foundations,
  author = "Hector~J. Levesque",
  title = "Foundations of a functional approach to knowledge representation",
  journal = "Artificial Intelligence",
  volume = "23",
  number = "2",
  pages = "155--212",
  month = "July",
  year = "1984"
}

@inproceedings{ levesque:belief,
  author = "Hector~J. Levesque",
  title = "A logic of implicit and explicit belief",
  booktitle = "Proceedings of the Fourth National Conference on Artificial Intelligence",
  publisher = "American Association for Artificial Intelligence",
  pages = "198--202",
  address = "Austin, Texas",
  month = "August",
  year = "1984"
}

@article{ nebel:jair-2000,
  author = "Bernhard Nebel",
  title = "On the compilability and expressive power of propositional planning formalisms",
  journal = "Journal of Artificial Intelligence Research",
  volume = "12",
  pages = "271--315",
  year = "2000"
}

 @misc{proceedings,
  author = {{IJCAI Proceedings}},
  title = {{IJCAI} Camera Ready Submission},
  howpublished = {\url{https://proceedings.ijcai.org/info}},
}

@Article{Berry1995Using,
  title={Using Linear Algebra for Intelligent Information Retrieval},
  author={Berry, Michael W. and Dumais, Susan T. and O鈥橞rien, Gavin W.},
  journal={Siam Review},
  volume={37},
  number={4},
  pages={573-595},
  year={1995},
}

@Article{1990Indexing,
  title={Indexing by latent semantic analysis},
  author={Deerwester, S. and Dumais, S. T. and Furnas, G. W. and others},
  journal={Journal of the American Society for Information Science \& Technology},
  volume={41},
  number={6},
  pages={391-407},
  year={1990},
}

@Article{martinsson2016randomized,
  title={Randomized methods for matrix computations and analysis of high dimensional data},
  author={Martinsson, P. G.},
  journal={arXiv preprint arXiv:1607.01649},
  year={2016}
}

@Article{woodruff2014sketching,
  title={Sketching as a tool for numerical linear algebra},
  author={Woodruff, David P and others},
  journal={Foundations and Trends{\textregistered} in Theoretical Computer Science},
  volume={10},
  number={1--2},
  pages={1--157},
  year={2014},
  publisher={Now Publishers, Inc.}
}

@Article{drineas2016randnla,
  title={RandNLA: Randomized numerical linear algebra},
  author={Drineas, Petros and Mahoney, Michael W},
  journal={Communications of the ACM},
  volume={59},
  number={6},
  pages={80--90},
  year={2016},
  publisher={ACM}
}

@Article{mahoney2011,
  title={Randomized algorithms for matrices and data},
  author={Mahoney, Michael W.},
  journal={Foundations and Trends{\textregistered} in Machine Learning},
  volume={3},
  number={2},
  pages={123--224},
  year={2011},
  publisher={Now Publishers, Inc.}
}

@Inproceedings{musco2015,
  title={Randomized block {K}rylov methods for stronger and faster approximate singular value decomposition},
  author={Musco, Cameron and Musco, Christopher},
  booktitle={Advances in Neural Information Processing Systems},
  pages={1396--1404},
  year={2015}
}

@Article{eckart1936,
  title={The approximation of one matrix by another of lower rank},
  author={Eckart, Carl and Young, Gale},
  journal={Psychometrika},
  volume={1},
  number={3},
  pages={211--218},
  year={1936},
  publisher={Springer}
}

@book{matrix2012,
  title={Matrix Computations},
  author={Golub, Gene H and Van Loan, Charles F},
  year={2012},
  publisher={JHU Press}
}

@book{eigs,
  title={{ARPACK} User's Guide: Solution of Large-Scale
Eigenvalue Problems with Implicitly Restarted Arnoldi Methods},
  author={Lehoucq, Richard and Sorensen, Daniel and Yang, Chao},
  year={1998},
  publisher={SIAM Press}
}


@Article{Halko2011Finding,
  title = "Finding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions",
  author = "Halko, N. and Martinsson, P. G. and Tropp, J. A.",
  journal = "{SIAM} Review",
  volume = "53",
  number = "2",
  pages = "217-288",
  year = "2011",
}

@InProceedings{Erichson_2017_ICCV,
author = {Benjamin Erichson, N. and Brunton, Steven L. and Nathan Kutz, J.},
title = {Compressed singular value decomposition for image and video processing},
booktitle = {Proc. IEEE International Conference on Computer Vision (ICCV)},
month = {Oct.},
year = {2017},
pages = "1880-1888"
}

@InProceedings{ICML2023,
author = {Balabanov Oleg  and  Beaupère Matthias and Grigori Laura and  Lederer Victor},
title = {Block subsampled randomized Hadamard transform for {Nyström} approximation on distributed architectures},
booktitle = {Proc. International Conference on Machine Learning},
month = {Jul.},
year = {2023},
pages = "1564-1576"
}



@InProceedings{LazySVD,
author = {Allen-Zhu, Zeyuan and Yuanzhi Li},
title = {Lazy{SVD}: Even faster {SVD} decomposition yet without agonizing pain},
booktitle = {Advances in Neural Information Processing Systems},
year = {2016},
pages = "974-982"
}

@Article{Cai2010,
  title={A Singular Value Thresholding Algorithm for Matrix Completion},
  author={Cai, Jian Feng and Cand猫s, Emmanuel J and Shen, Zuowei},
  journal={{SIAM} Journal on Optimization},
  volume={20},
  number={4},
  pages={1956-1982},
  year={2010},
}

@Article{Lin2010,
  title={The Augmented Lagrange Multiplier Method for Exact Recovery of Corrupted Low-Rank Matrices},
  author={Lin, Zhouchen and Chen, Minming and Ma, Yi},
  journal={arXiv preprint},
  volume={arXiv:1009.5055},
  year={2010},
}

@Article{propack,
  title={PROPACK-Software for large and sparse {SVD} calculations},
  author={Larsen, Rasmus Munk},
  journal={Available online. \url{http://sun.stanford.edu/~rmunk/PROPACK}},
  year={2004}
}

@Article{rsvdpack,
  title={{RSVDPACK}: An implementation of randomized algorithms for computing the singular value, interpolative, and {CUR} decompositions of matrices on multi-core and {GPU} architectures},
  author={Voronin, Sergey and Martinsson, Per-Gunnar},
  journal={arXiv preprint arXiv:1502.05366},
  year={2015}
}


@Article{robustPCA,
  title={Robust principal component analysis?},
  author={Cand{\`e}s, Emmanuel J and Li, Xiaodong and Ma, Yi and Wright, John},
  journal={Journal of the ACM (JACM)},
  volume={58},
  number={3},
  pages={11},
  year={2011},
  publisher={ACM}
}

@Article{alg971, 
 title={Algorithm 971: An implementation of a randomized algorithm for principal component analysis.},
 author={Li, H. and Linderman, G. C. and Szlam, A. and Stanton, K. P. and Kluger, Y. and Tygert, M.},
 journal={ACM Transactions on Mathematical Software},  
  volume={43}, 
   number={3}, 
   pages={1-14}, 
   year={2017},
   publisher={ACM}
 }

@Article{movielens,
  title={The {M}ovielens datasets: History and context},
  author={Harper, F. Maxwell and Konstan, Joseph A.},
  journal={{ACM} Transactions on Interactive Intelligent Systems (TiiS)},
  volume={5},
  number={4},
  pages={19},
  year={2016},
  publisher={ACM}
}

@InProceedings{yu2017single,
  title={Single-pass {PCA} of large high-dimensional data},
  author={Yu, Wenjian and Gu, Yu and Li, Jian and Liu, Shenghua and Li, Yaohang},
  booktitle = {Proc. International Joint Conference on Artificial Intelligence (IJCAI)},
  month={Aug.},
  year={2017},
  pages= "3350-3356"
}

@InProceedings{fang2017,
  title={Improved Bounded Matrix Completion for Large-Scale Recommender Systems},
  author={Fang, Huang and Zhang, Zhen and Shao, Yiqun and Hsieh, Cho-Jui},
  booktitle = {Proc. International Joint Conference on Artificial Intelligence (IJCAI)},
  month={Aug.},
  year={2017},
  pages= "1654-1660"
}

@InProceedings{Zhang2012,
  title={Matrix completion by truncated nuclear norm regularization},
  author={Zhang, Debing and Hu, Yao and Ye, Jieping and Li, Xuelong and He, Xiaofei},
  booktitle = {Proc. IEEE Conference on Computer Vision and Pattern Recognition (CVPR)},
  year={2012},
  pages= "2192-2199"
}


@Inproceedings{Woodruff2014,
  title={Improved distributed principal component analysis},
  author={Liang, Yingyu and Balcan, Maria-Florina F and Kanchanapally, Vandana and Woodruff, David},
  booktitle={Advances in Neural Information Processing Systems},
  pages={3113--3121},
  year={2014}
}

@InProceedings{pmlr-v95-feng18a, 
    title = {Fast randomized {PCA} for sparse data}, 
    author = {Feng, Xu and Xie, Yuyang and Song, Mingye and Yu, Wenjian and Tang, Jie}, 
    booktitle = {Proc. the 10th Asian Conference on Machine Learning (ACML)}, 
    pages = {710--725}, 
    year = {2018},
    month = {14--16 Nov}
}

@article{golub1965calculating,
	title="Calculating the Singular Values and Pseudo-Inverse of a Matrix",
	author="G. {Golub} and W. {Kahan}",
	journal="Journal of The Society for Industrial and Applied Mathematics, Series B: Numerical Analysis",
	volume="2",
	number="2",
	pages="205--224",
	year="1965"
}

@article{yu2018efficient,
	title="Efficient randomized algorithms for the fixed-precision low-rank matrix approximation",
	author="Wenjian {Yu} and Yu {Gu} and Yaohang {Li}",
	journal="SIAM Journal on Matrix Analysis and Applications",
	volume="39",
	number="3",
	pages="1339--1359",
	year="2018"
}

@inproceedings{boutsidis2016optimal,
	title="Optimal principal component analysis in distributed and streaming models",
	author="Christos {Boutsidis} and David P. {Woodruff} and Peilin {Zhong}",
	booktitle="Proc. the 48th annual ACM Symposium on Theory of Computing",
	pages="236--249",
	year="2016"
}

@inproceedings{qiu2019netsmf,
	title="NetSMF: Large-scale network embedding as sparse matrix factorization",
	author="Jiezhong {Qiu} and Yuxiao {Dong} and Hao {Ma} and Jian {Li} and Chi {Wang} and Kuansan {Wang} and Jie {Tang}",
	booktitle="Proc. the Web Conference 2019",
	pages="1509--1520",
	year="2019"
}

@inproceedings{feng2018faster,
	title="Faster matrix completion using randomized SVD",
	author="Xu {Feng} and Wenjian {Yu} and Yaohang {Li}",
	booktitle="Proc. the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)",
	pages="608--615",
	year="2018"
}

@inproceedings{zhang2019eigenpulse,
	title="EigenPulse: detecting surges in large streaming graphs with row augmentation",
	author="Jiabao {Zhang} and Shenghua {Liu} and Wenjian {Yu} and Wenjie {Feng} and Xueqi {Cheng}",
	booktitle="Proc. the 23rd Pacific-Asia Conference on Knowledge Discovery and Data Mining",
	pages="501--513",
	year="2019"
}

@inproceedings{ding2020,
	title="Efficient model-based collaborative filtering with fast adaptive PCA",
	author="Xiangyu {Ding} and Wenjian {Yu} and Yuyang {Xie} and Shenghua {Liu}",
	booktitle="Proc. the 32th International Conference on Tools with Artificial Intelligence (ICTAI)",
	pages="955--960",
	year="2020"
}

@article{baglama2005augmented,
	title="Augmented implicitly restarted Lanczos bidiagonalization methods",
	author="James {Baglama} and Lothar {Reichel}",
	journal="SIAM Journal on Scientific Computing",
	volume="27",
	number="1",
	pages="19--42",
	notes="Sourced from Microsoft Academic - https://academic.microsoft.com/paper/1977361006",
	year="2005"
}

@misc{Intel,
    title = {Intel one{API} {M}ath {K}ernel {L}ibrary},
    year = "2021",
    howpublished = {\url{https://software.intel.com/content/www/us/en/develop/tools/oneapi/components/onemkl.html}}
}

@misc{Aminer,
    title = {Aminer},
    year = "2021",
    howpublished = {\url{https://www.aminer.cn}}
}

@misc{snapnets,
  author       = {Jure Leskovec and Andrej Krevl},
  title        = {{SNAP datasets}: {Stanford} large network dataset collection},
  howpublished = {\url{http://snap.stanford.edu/data}},
  month        = jun,
  year         = 2014
}

@article{jung2020fast,
    title={Fast and accurate pseudoinverse with sparse matrix reordering and incremental approach},
    author={Jung, Jinhong and Sael, Lee},
    journal={Machine Learning},
    volume={109},
    number={12},
    pages={2333--2347},
    year={2020},
    publisher={Springer}
}

@article{wu2017primme_svds,
    title={{PRIMME\_SVDS}: A high-performance preconditioned {SVD} solver for accurate large-scale computations},
    author={Wu, Lingfei and Romero, Eloy and Stathopoulos, Andreas},
    journal={SIAM Journal on Scientific Computing},
    volume={39},
    number={5},
    pages={S248--S271},
    year={2017},
    publisher={SIAM}
}

@article{martinsson2020randomized,
    title="Randomized numerical linear algebra: Foundations and algorithms",
    author="Per-Gunnar {Martinsson} and Joel A. {Tropp}",
    journal="Acta Numerica",
    volume="29",
    pages="403--572",
    notes="Sourced from Microsoft Academic - https://academic.microsoft.com/paper/3108353645",
    year="2020"
}

@article{2010primme,
  title={PRIMME: Preconditioned iterative multimethod eigensolver: Methods and software description},
  author={Stathopoulos, Andreas and McCombs, James R},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  volume={37},
  number={2},
  pages={1--30},
  year={2010},
  publisher={ACM New York, NY, USA}
}

@Article{Halko2011large,
  title = "An algorithm for the principal component analysis of large data sets",
  author = "Halko, N. and Martinsson, P. G. and Shkolnisky, Y. and Tygert, M.",
  journal = "{SIAM} Journal on Scientific Computing",
  volume = "33",
  number = "5",
  pages = "2580-2594",
  year = "2011",
}

@inproceedings{mary2015performance,
  title={Performance of random sampling for computing low-rank approximations of a dense matrix on GPUs},
  author={Mary, Th{\'e}o and Yamazaki, Ichitaro and Kurzak, Jakub and Luszczek, Piotr and Tomov, Stanimire and Dongarra, Jack},
  booktitle={Proc. the International Conference for High Performance Computing, Networking, Storage and Analysis},
  number={60},
  pages={1-11},
  year={2015}
}

%@inbook{horn1994topics, place={Cambridge}, title={Singular value inequalities}, DOI={10.1017/CBO9780511840371.004}, booktitle={Topics in Matrix Analysis}, publisher={Cambridge University Press}, author={Horn, Roger A. and Johnson, Charles R.}, year={1991}, pages={134–238}}

@book{horn1991topics, place={Cambridge}, title={Topics in Matrix Analysis}, DOI={10.1017/CBO9780511840371}, publisher={Cambridge University Press}, author={Horn, Roger A. and Johnson, Charles R.}, year={1991}}

@article{rokhlin2010randomized,
  title={A randomized algorithm for principal component analysis},
  author={Rokhlin, Vladimir and Szlam, Arthur and Tygert, Mark},
  journal={SIAM Journal on Matrix Analysis and Applications},
  volume={31},
  number={3},
  pages={1100--1124},
  year={2010},
  publisher={SIAM}
}

@book{heath2018scientific,
  title={Scientific Computing: An Introductory Survey, Revised Second Edition},
  author={Heath, Michael T},
  year={2018},
  publisher={SIAM}
}

@InProceedings{pmlr-v139-li21u,
  title = 	 {Communication-Efficient Distributed {SVD} via Local Power Iterations},
  author =       {Li, Xiang and Wang, Shusen and Chen, Kun and Zhang, Zhihua},
  booktitle = 	 {Proc. the 38th International Conference on Machine Learning},
  pages = 	 {6504--6514},
  year = 	 {2021},
}

@InProceedings{pmlr-v139-kalantzis21a,
  title = 	 {Projection techniques to update the truncated {SVD} of evolving matrices with applications},
  author =       {Kalantzis, Vasileios and Kollias, Georgios and Ubaru, Shashanka and Nikolakopoulos, Athanasios N. and Horesh, Lior and Clarkson, Kenneth},
  booktitle = 	 {Proc. the 38th International Conference on Machine Learning},
  pages = 	 {5236--5246},
  year = 	 {2021},
}

@inproceedings{BoVWFI,
  author = "Paolo Boldi and Sebastiano Vigna",
  title = "The {W}eb{G}raph Framework {I}: {C}ompression Techniques",
  year = 2004,
  booktitle = "Proc. the Thirteenth International World Wide Web Conference (WWW 2004)",
  address = "Manhattan, USA",
  pages = "595--601",
  publisher = "ACM Press"
}
@inproceedings{BRSLLP,
  author = "Paolo Boldi and Marco Rosa and Massimo Santini and Sebastiano Vigna",
  title = "Layered Label Propagation: A MultiResolution Coordinate-Free Ordering for Compressing Social Networks",
  booktitle = "Proc. the 20th international conference on World Wide Web",
  publisher = "ACM Press",
  year = 2011,
  pages = "587--596"
}

@inproceedings{mencia2008efficient,
  title={Efficient pairwise multilabel classification for large-scale problems in the legal domain},
  author={Mencia, Eneldo Loza and F{\"u}rnkranz, Johannes},
  booktitle={Proc. the Joint European Conference on Machine Learning and Knowledge Discovery in Databases},
  pages={50--65},
  year={2008},
  organization={Springer}
}

@article{baglama2006restarted,
  title={Restarted block Lanczos bidiagonalization methods},
  author={Baglama, James and Reichel, Lothar},
  journal={Numerical Algorithms},
  volume={43},
  number={3},
  pages={251--272},
  year={2006},
  publisher={Springer}
}

@misc{petsc-web-page,
    author = {Satish Balay and Shrirang Abhyankar and Mark~F. Adams and Steven Benson and Jed Brown
    and Peter Brune and Kris Buschelman and Emil~M. Constantinescu and Lisandro Dalcin and Alp Dener
    and Victor Eijkhout and William~D. Gropp and V\'{a}clav Hapla and Tobin Isaac and Pierre Jolivet
    and Dmitry Karpeev and Dinesh Kaushik and Matthew~G. Knepley and Fande Kong and Scott Kruger
    and Dave~A. May and Lois Curfman McInnes and Richard Tran Mills and Lawrence Mitchell and Todd Munson
    and Jose~E. Roman and Karl Rupp and Patrick Sanan and Jason Sarich and Barry~F. Smith
    and Stefano Zampini and Hong Zhang and Hong Zhang and Junchao Zhang},
    title        = {{PETS}c {W}eb page},
    howpublished = {\url{https://petsc.org/}},
    year         = {2022},
}

@misc{OpenMP,
    title = {The OpenMP API specification for parallel programming},
    author = {The OpenMP ARB},
    year = "2022",
    howpublished = {\url{https://www.openmp.org/}},
}

@article{davis2011university,
  title={The University of Florida sparse matrix collection},
  author={Davis, Timothy A and Hu, Yifan},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  volume={38},
  number={1},
  pages={1--25},
  year={2011},
  publisher={ACM New York, NY, USA}
}

@inproceedings{ding2020efficient,
  title={Efficient model-based collaborative filtering with fast adaptive {PCA}},
  author={Ding, Xiangyun and Yu, Wenjian and Xie, Yuyang and Liu, Shenghua},
  booktitle={2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)},
  pages={955--960},
  year={2020},
  organization={IEEE}
}

@misc{BLAS,
	title = {Basic Linear Algebra Subprograms},
	author = {Netlib},
	year = "2022",
	howpublished = {\url{http://www.netlib.org/blas/}},
}

@misc{LAPACK,
	title = {Linear Algebra PACKage},
	author = {Netlib},
	year = "2022",
	howpublished = {\url{http://www.netlib.org/lapack/index.html}},
}

@article{hernandez2005slepc,
  title={SLEPc: A scalable and flexible toolkit for the solution of eigenvalue problems},
  author={Hernandez, Vicente and Roman, Jose E and Vidal, Vicente},
  journal={ACM Transactions on Mathematical Software (TOMS)},
  volume={31},
  number={3},
  pages={351--362},
  year={2005},
  publisher={ACM New York, NY, USA}
}

@article{andez2008robust,
  title={A robust and efficient parallel {SVD} solver based on restarted Lanczos bidiagonalization},
  author={Hernandez, Vicente  and Roman, Jos{\'e} E.  and Tomas, Andr{\'e}s},
  journal={Electronic Transactions on Numerical Analysis},
  volume={31},
  pages={68--85},
  year={2008},
  publisher={Citeseer}
}

@Article{martinsson2016randomized2,
  title={A randomized blocked algorithm for efficiently computing rank-revealing factorizations of matrices},
  author={Martinsson, P. G. and  Voronin, S.},
  journal={SIAM J. Sci. Comput},
  volume={38},
  pages={S485-–S507},
  year={2016}
}

@misc{randqb-code,
    title = {RandQR},
    year = "2021",
    howpublished = {\url{https://users.oden.utexas.edu/~pgm/Codes/randqb_codes_intel_mkl.zip}},
}

@misc{frPCA-code,
    title = {frPCA\_sparse},
    year = "2022",
    howpublished = {\url{https://github.com/XuFengthucs/frPCA_sparse}},
}

@misc{primme-code,
    title = {primme},
    year = "2022",
    howpublished = {\url{https://github.com/primme/primme}},
}

@Article{dashSVD,
  title={Algorithm xxx: Faster Randomized SVD with Dynamic Shifts},
  author={Feng, Xu and Yu, Wenjian and Xie, Yuyang and Tang, Jie},
  journal={ACM Transactions on Mathematical Software (accepted)},
  year={2024},
}
