Cirici, JoanaLumbreras Zarapico, Josep2019-09-182019-09-182019-01-18https://hdl.handle.net/2445/140398Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joana Cirici[en] Over the past few years, quantum computing has become more plausible due to the great advances in technology. While quantum computers are on their birth, the underlying mathematics have evolved to the point of proving that some quantum algorithms can solve problems that were unsolvable in classic computers. In order to implement these algorithms in a real machine, it is important to develop efficient ways to do it. The Solovay-Kitaev Theorem states that is possible. This work pretends to offer a complete review of the Solovay- Kitaev Theorem giving all the necessary tools to prove it. Moreover, we offer a brief introduction to the standard mathematical model of quantum computing, based on unitary operations.48 p.application/pdfengcc-by-nc-nd (c) Josep Lumbreras Zarapico, 2019http://creativecommons.org/licenses/by-nc-nd/3.0/es/Ordinadors quànticsTreballs de fi de grauAlgorismes computacionalsGeometria computacionalGrups de LieQuantum computersBachelor's thesesComputer algorithmsLie groupsComputational geometryinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess