User Portlet
Discussions |
---|
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... |
Rohit ... thank you so much, this is great. I embellished by giving dashed borders to the datasets and switching to digraph layout. programNames = suitedata[[;; , 1]]; vsf[width_, fontSize_][pos_, label_, _] := Inset[Framed[ ... |
Hi Mohga, Your result does not match the expected result because you didn't graph the same values for Z. You've also got a vulnerability by using machine numbers in your table, which will often cause Mathematica to lose internal precision because... |
Expanding on David's first suggestion epilog = MapIndexed[ Text[Style[ToString@First@#2, Black], {Last@partitions[[1]] + 3, #1}] &, partitions[[2]]] VSP = ListPlot[ {cat1, cat2, cat3, cat4}, PlotStyle -> ({#,... |
I thought it would be interesting to reveal an outcome from the series found out on this publishing related to the Riemann hypothesis solution. |
Hi h r, I'm not sure what you mean by "expression number". Are you trying to recursively define a function "In", so that In[i] depends on In[i-1] ? Or are you trying to define a List "In", so that In[[i]] depends on In[[i-1]] ?... |
Not that I know of. Someone from Wolfram may comment on this. |
Thank you Daniel, this is an eye-opener on how to use List or other Heads as the function in Outer and mapping operations. |
Wow, thank you! |
For text cleanup, I found that my old friend Regex was needed to clear punctuation. Also, I found occurrences of prefixed and postfixed adjectives (e.g., colors) in the names so I ended up sorting the words within a name: testCase =... |