symbolic integration by computer

not sure if this is the right newsgroup to answer this, but my question is
on mathematical computing.

i am wondering how packages that carry out symbolic integration on functions
typically work? do they follow the same rules that a human would follow to
carry out integrations?


.