Complex sentence: It was first presented in 1970 by Taro Asano to prove the Lee-Yang theorem in the Heisenberg spin model and has been used and developed by other mathematicians and physicists including David Ruelle.
Split into simpler sentences: It was first presented in 1970 by Taro Asano to prove the Lee-Yang theorem in the Heisenberg spin model case. It has since been used and developed by other mathematicians and physicists, particularly David Ruelle.