Does any documentations with mathematical description of Bitcoin exist?
Etherium Yellow paper, Wood
Bitcoin Whitepaper, Nakamoto
Mastering Bitcoin, Antonopoulos
The Fallacy of Selfish Mining in Bitcoin: A Mathematical Critique, Wright
Research Perspectives and Challenges for Bitcoin
and Cryptocurrencies, Bonneau et al


etc.