Its remarkable to me that the WPNOR policy can in any way be construed as allowing things to be sourced to the output of a computer algebra system  This is the policy I would have you read and if it is still unclear to you then you should ask at WPNORN for clarification rather than here  Editors have routinely applied this in the past to remove precisely the sort of thing that is under discussion  There is no clear statement against including the output of computer algebra systems because editors generally know that this is not acceptable WPBEANS  There have been discussions in the past pertaining for instance to WPCALC including lengthy discussions at ArbCom making very clear what the community view of WPNOR is regarding calculations of this kind