A tax-adjusted algorithm for pricing derivative securities using the symbolic computational language MAPLE | IEEE Conference Publication | IEEE Xplore