I’m writing my BSc thesis in computer science right now, for which I’m implementing Fast Fourier Transforms. Now a really important paper on the topic is making a proof which I think I got what they are doing, but I probably could not replicate myself. Now I was wondering if there is a go-to way to cite the proof and especially use the result of the proof, without having to re-write it all by myself because going into all of the math would be beyond the scope of my thesis since it is more about the implementation, even so confirmed by my assistant.

The way I would go about it is to describe how they proof what in words, with a citation to the paper, e.g. like that:

“In [xy], yz show that equation a can be solved by doing …”

Any hints are appreciated.