• Member for 8 years, 10 months
  • Last seen more than 3 years ago
  • Los Angeles, CA
Symbolically prove that two expressions are identical
4 votes

This solution gets a trivial step away from the answer. (Strikeout after addressing the comments.) You can consider the difference diff = int - intpaper, and check that it vanishes. Rather than ...

View answer
Making multi-linear polynomial change of variables (simplifications) by updating `replacementFunction`
Accepted answer
1 votes

I figured out how to update this function to correctly work on multi-linear expressions. All that's required is one additional call of PolynomialReduce in the third nested If statement. This mirrors ...

View answer
NSolve gives additional solutions that don't satisfy the equations!
1 votes

I wanted to comment a "Thank You" to @dbm for asking and @Daniel Lichtblau for answering, but don't have the necessary reputation yet. There's also a way to bypass this problem in certain cases that ...

View answer
How to compute the automorphisms of graphs with multiple edges?
0 votes

Came across this question while looking for something else, but it looks like the graph functions in Mathematica 10 and higher can do this trivially now: m = ({{0, 1, 1, 1}, {1, 0, 1, 1}, {1, 1, 0, 1}...

View answer