Proposal for interactive algebraic manipulation