Explainable AI insights for symbolic computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. ~ Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen. https://arxiv.org/abs/2304.12154 #AI #ML #XAI #ComputerAlgebra #Math

Percentile differences of an arbitrary probability density function https://medium.com/math-simplified/percentile-differences-of-an-arbitrary-probability-density-function-7857d6d4ef42 #ActuarialScience #Statistics #Python #ComputerAlgebra #Approximation

I have a Ph.D in #ComputerAlgebra and am in charge of the care and feeding of a number of /heavy/ subsystems in Maple. So, sometimes I do important work, like going through the #pokemon type advantage graph and look for five type subsets that are isomorphic to the graph of Rock-Paper-Scissors-Lizard-Spock. There is exactly one.

Back to work! I'll start by looking at a computer algerba course for which I am giving exercises sessions.

I'll probably play with Sagemath and (re-)learn things about commutatve algebra!

#algebra #computer #math #maths #computeralgebra #university #work #software #sagemath