共 50 条
- [32] Taylor Expansion Diagrams: A compact, canonical representation with applications to symbolic verification DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 285 - 289
- [34] Improved Taylor expansion method in the Ising model PROGRESS OF THEORETICAL PHYSICS, 2006, 115 (03): : 473 - 486
- [40] Study and Verification of Diagnosis Method for Secondary Neutron Source Breakage Hedongli Gongcheng/Nuclear Power Engineering, 2023, 44 (01): : 167 - 170