@article{Avasi2024,
  author  = {Avasi, Victor},
  title   = {Foundations of the {P}rincipia {M}etrica {F}ramework: {A}xiomatic {A}rchitecture, {I}nductive {L}imit {A}lgebras, and {H}orosphere {D}ifferential {G}eometry},
  journal = {Preprint},
  year    = {2024}
}

@inproceedings{Cook1971,
  author    = {Cook, Stephen A.},
  title     = {The {C}omplexity of {T}heorem-{P}roving {P}rocedures},
  booktitle = {Proceedings of the 3rd Annual ACM Symposium on Theory of Computing},
  pages     = {151--158},
  year      = {1971}
}

@article{Levin1973,
  author  = {Levin, Leonid A.},
  title   = {Universal {S}equential {S}earch {P}roblems},
  journal = {Problems of Information Transmission},
  volume  = {9},
  number  = {3},
  pages   = {265--266},
  year    = {1973}
}

@incollection{Karp1972,
  author    = {Karp, Richard M.},
  title     = {Reducibility among {C}ombinatorial {P}roblems},
  booktitle = {Complexity of Computer Computations},
  editor    = {Miller, Raymond E. and Thatcher, James W.},
  publisher = {Plenum Press},
  address   = {New York},
  pages     = {85--103},
  year      = {1972}
}

@article{Clifford1878,
  author  = {Clifford, William Kingdon},
  title   = {Applications of {G}rassmann's {E}xtensive {A}lgebra},
  journal = {American Journal of Mathematics},
  volume  = {1},
  number  = {4},
  pages   = {350--358},
  year    = {1878}
}

@book{Dupin1822,
  author    = {Dupin, Charles},
  title     = {Applications de {G}{\'e}om{\'e}trie et de {M}{\'e}chanique},
  publisher = {Bachelier},
  address   = {Paris},
  year      = {1822}
}

@incollection{Li2001,
  author    = {Li, Hongbo and Hestenes, David and Rockwood, Alyn},
  title     = {Generalized {H}omogeneous {C}oordinates with {G}eometric {A}lgebra},
  booktitle = {Geometric Computing with Clifford Algebras},
  editor    = {Sommer, Gerald},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  pages     = {27--59},
  year      = {2001}
}

@article{Gelfond1934,
  author  = {Gelfond, Aleksandr Osipovich},
  title   = {Sur le septi{\`e}me {P}robl{\`e}me de {H}ilbert},
  journal = {Bulletin de l'Acad{\'e}mie des Sciences de l'URSS},
  volume  = {7},
  pages   = {623--630},
  year    = {1934}
}

@article{Schneider1934,
  author  = {Schneider, Theodor},
  title   = {Transzendenzuntersuchungen periodischer {F}unktionen},
  journal = {Journal f{\"u}r die reine und angewandte Mathematik},
  volume  = {172},
  pages   = {65--69},
  year    = {1934}
}

@book{Cartan1945,
  author    = {Cartan, {\'E}lie},
  title     = {Les {S}yst{\`e}mes {D}iff{\'e}rentiels {E}xt{\'e}rieurs et leurs {A}pplications {G}{\'e}om{\'e}triques},
  publisher = {Hermann},
  address   = {Paris},
  year      = {1945}
}