General theory of pricing and hedging in incomplete markets, its symbolic implementation, and applications