Low-carbon economic dispatch of integrated energy system considering multi-agent green certificate-carbon trading bidirectional interaction and cost allocation | Synapse