U.S. centrally-managed wholesale power markets currently rely on Security-Constrained Unit Commitment (SCUC) and Security Constrained Economic Dispatch (SCED) optimizations to determine unit commitments, reserve, and scheduled dispatch levels for generating units during future operating periods. AMES V5.0 is an open source Java/Python platform that implements a combined SCUC/SCED optimization capturing salient features of these actual market SCUC/SCED optimizations. This report provides extensive documentation for the analytical formulation of the AMES V5.0 SCUC/SCED optimization.