Login / Signup

Automated sequence impedance modeling of three-phase converters based on computer algebra.

Talha AnwarIgnacio VietoJian Sun
Published in: IECON (2017)
Keyphrases
  • computer algebra
  • automated theorem provers
  • theorem prover
  • semi automated
  • modeling method
  • induction motor
  • power supply