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 |