User Portlet User Portlet

Discussions
On 25 March 2021, David Park gave the 51-minute talk *Introductory Tour of Grassmann Algebra and Calculus in Mathematica* ( https://www.youtube.com/watch?v=TGGDihbLm6g ). The application is a joint advanced developmental project by David Park and...
Thank you, Mano. We're all watching how your team enhances theorem proving in WL, as more theories are added to AxiomaticTheory. I may post other questions as this 6-session course on Theorem Proving progresses. John McGee teaches it thru Tech...
George, I wonder how your concerns can be addressed by the Cyc Project run by Doug Lenat of Cycorp (www.cyc.com) -- the longest continuously running project in AI? Stephan and Doug worked together when they were younger. Stephan said some years ago...
Thanks again, Sander, especially for the second line Table[i[[2]] -> i,{i,X}]. This is an eye-opener, one more valuable than what my original posting had sought. Your example is the first time I've seen Table used in this way. No doubt it has...
Thanks Carl. Using Normal is what I first used but for my long Laurent polynomials, processing was slowing down. That's when I asked Tech Support if there was a faster way and that's when zeroing-out was suggested. Since Normal adapts to many...
This is great, Gianluca. Thanks.
Why does the code below yield the positions given? In particular, why do {1,0}, {2,0} appear when these positions are not at level 2? When UnsameQ is replaced by x neq infinity I get the correct result. Thanks. Position[({ {?,...
Frank and Marco Thanks for the replies. I wonder if there's more to this than simply the nonlinearity of the mean and variance with respect to the parameters. This is because Solve easily finds the parms of a beta distribution (but then I...
Bingo! Exactly what I sought. Nassir's earlier reply was also instructive. Thanks to you both, Nassir and Sander.
Perfect. That's exactly what I sought. Others will undoubtedly find it valuable, too. Thanks again, Gianluca. Bruce