@article{turing1936computable,
  title={Turing, A.M.: On computable numbers, with an application to the Entscheidungs problem. Proc. Lond. Math. Soc. Ser. 2 42, 230-265},
  author={ Turing, Alan M. },
  journal={Proceedings of the London Mathematical Society},
  volume={42},
  number={1},
  pages={230-265},
  year={1937},
}

@book{adamatzky2010game,
  title={Game of life cellular automata},
  author={Adamatzky, Andrew},
  volume={1},
  year={2010},
  publisher={Springer}
}

@article{langton1986studying,
  title={Studying artificial life with cellular automata},
  author={Langton, Christopher G},
  journal={Physica D: Nonlinear Phenomena},
  volume={22},
  number={1-3},
  pages={120--149},
  year={1986},
  publisher={Elsevier}
}

@article{barendregt1984lambda,
  title={The lambda calculus"},
  author={ Barendregt, H. P. },
  journal={Studies in Logic},
  volume={3},
  number={2},
  pages={181--215},
  year={1988},
}

@inproceedings{aho1979universality,
  title={Universality of data retrieval languages},
  author={Aho, Alfred V and Ullman, Jeffrey D},
  booktitle={Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages},
  pages={110--119},
  year={1979}
}

@inproceedings{geerts2021expressive,
  title={Expressive power of linear algebra query languages},
  author={Geerts, Floris and Mu{\~n}oz, Thomas and Riveros, Cristian and Vrgo{\v{c}}, Domagoj},
  booktitle={Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems},
  pages={342--354},
  year={2021}
}

@article{abadi2016tensorflow,
  title={TensorFlow: A system for large-scale machine learning},
  author={ Abadi, M.  and  Barham, P.  and  Chen, J.  and  Chen, Z.  and  Zhang, Xiaoqiang },
  journal={USENIX Association},
  year={2016},
}

@misc{paszke2019pytorch,
  title={PyTorch: An Imperative Style, High-Performance Deep Learning Library},
  author={ Paszke, A.  and  Gross, S.  and  Massa, F.  and  Lerer, A.  and  Chintala, S. },
  year={2019},
}

@Misc{onnx,
howpublished = {[EB/OL]},
note = {\url{https://onnx.ai/} Accessed November 1, 2022},
title = {Open Neural Network Exchanges},
author = {ONNX Authors}
}

@Misc{sql,
howpublished = {[EB/OL]},
note = {\url{https://www.iso.org/standard/63555.html} Accessed November 1, 2022},
title = {Information technology — Database languages — SQL},
author = {ISO}
}

@book{vollmer1999introduction,
  title={Introduction to circuit complexity: a uniform approach},
  author={Vollmer, Heribert},
  year={1999},
  publisher={Springer Science \& Business Media}
}

@article{turing1937computability,
  title={Computability and $\lambda$-definability},
  author={Turing, Alan M},
  journal={The Journal of Symbolic Logic},
  volume={2},
  number={4},
  pages={153--163},
  year={1937},
  publisher={Cambridge University Press}
}

@article{codd1970relational,
  title={A relational model of data for large shared data banks},
  author={Codd, Edgar F},
  journal={Communications of the ACM},
  volume={13},
  number={6},
  pages={377--387},
  year={1970},
  publisher={ACM New York, NY, USA}
}

@book{kline1990mathematical,
  title={Mathematical Thought from Ancient to Modern Times: Volume 2},
  author={Kline, Morris},
  volume={2},
  year={1990},
  publisher={Oxford university press}
}

@article{asanovic2006landscape,
  title={The landscape of parallel computing research: A view from berkeley},
  author={Asanovic, Krste and Bodik, Ras and Catanzaro, Bryan Christopher and Gebis, Joseph James and Husbands, Parry and Keutzer, Kurt and Patterson, David A and Plishker, William Lester and Shalf, John and Williams, Samuel Webb},
  year={2006},
  publisher={eScholarship, University of California}
}

@inproceedings{gao2018data,
  title={Data motifs: A lens towards fully understanding big data and ai workloads},
  author={Gao, W.  and  Zhan, J.  and  Wang, L.  and  Luo, C.  and  Zheng, D.  and  Tang, F.  and  Xie, B.  and  Zheng, C.  and  Wen, Xu  and  He, Xiwen},
  booktitle={Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques},
  pages={1--14},
  year={2018}
}

@book{melton1993understanding,
  title={Understanding the new SQL: a complete guide},
  author={Melton, Jim and Simon, Alan R},
  year={1993},
  publisher={Morgan Kaufmann}
}

@article{brijder2017expressive,
  title={On the expressive power of query languages for matrices},
  author={Brijder, Robert and Geerts, Floris and Bussche, Jan Van den and Weerwag, Timmy},
  journal={arXiv preprint arXiv:1709.08359},
  year={2017}
}

@article{hudak1992gentle,
  title={A gentle introduction to Haskell},
  author={Hudak, Paul and Fasel, Joseph H},
  journal={ACM Sigplan Notices},
  volume={27},
  number={5},
  pages={1--52},
  year={1992},
  publisher={ACM New York, NY, USA}
}

@book{liouville1833premier,
  title={Premier m{\'e}moire sur la d{\'e}termination des int{\'e}grales dont la valeur est alg{\'e}brique},
  author={Liouville, Joseph},
  year={1833},
  publisher={Impr. Royale}
}

@article{shpilka2010arithmetic,
  title={Arithmetic Circuits: a survey of recent results and open questions},
  author={ Shpilka, A.  and  Yehudayoff, A. },
  journal={Foundations \& Trends in Theoretical Computer ence},
  volume={5},
  number={3-4},
  pages={207-388},
  year={2010},
}

@article{bhatt2012analysis,
  title={Analysis of source lines of code (SLOC) metric},
  author={Bhatt, Kaushal and Tarey, Vinit and Patel, Pushpraj and Mits, Kaushal Bhatt and Ujjain, Datana},
  journal={International Journal of Emerging Technology and Advanced Engineering},
  volume={2},
  number={5},
  pages={150--154},
  year={2012},
  publisher={Citeseer}
}

@inproceedings{he2016deep,
  title={Deep residual learning for image recognition},
  author={He, Kaiming and Zhang, Xiangyu and Ren, Shaoqing and Sun, Jian},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={770--778},
  year={2016}
}

@article{krishna1999genetic,
  title={Genetic K-means algorithm},
  author={Krishna, K and Murty, M Narasimha},
  journal={IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)},
  volume={29},
  number={3},
  pages={433--439},
  year={1999},
  publisher={IEEE}
}

@book{anderson1999lapack,
  title={LAPACK users' guide},
  author={Anderson, E.  and  Bai, Z.  and  Bischof, C. H.  and  Blackford, S.  and  Sorensen, D. C.},
  year={1999},
  publisher={SIAM}
}

@book{cormen2022introduction,
  title={Introduction to algorithms},
  author={Cormen, Thomas H and Leiserson, Charles E and Rivest, Ronald L and Stein, Clifford},
  year={2022},
  publisher={MIT press}
}

@article{2010The,
  title={The LINPACK Benchmark: past, present and future},
  author={ Dongarra, Jack J.  and  Luszczek, Piotr  and  Petitet, Antoine },
  journal={Concurrency \& Computation Practice \& Experience},
  volume={15},
  number={9},
  pages={803-820},
  year={2010},
}

@book{oliphant2006guide,
  title={A guide to NumPy},
  author={Oliphant, Travis E},
  volume={1},
  year={2006},
  publisher={Trelgol Publishing USA}
}