C* algebraic formulation of quantum mechanics - Bru, Jean-Bernard; De Siqueira Pedra, Walter (Mathematical and computational modelling across the scales, 2025)