Automated Proofs of the Moufang Identities in Alternative Rings

Anantharaman, S.S.Anantharaman項潔Hsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051992http://ntur.lib.ntu.edu.tw//handle/246246/118416http://ntur.lib.ntu.edu.tw/bitstream/246246/118416/1/17.pdfen-USAutomated Proofs of the Moufang Identities in Alternative Ringsjournal article10.1007/BF00302643http://ntur.lib.ntu.edu.tw/bitstream/246246/118416/1/17.pdf