Skip to main content
Adam Strzebonski's user avatar
Adam Strzebonski's user avatar
Adam Strzebonski's user avatar
Adam Strzebonski
  • Member for 11 years, 3 months
  • Last seen more than a month ago
28 votes
Accepted

Why is SatisfiabilityCount faster than SatisfiableQ?

20 votes
Accepted

FindInstance returns Indeterminate in version 9, but not in 8

17 votes
Accepted

ToNumberField won't recognize Root as an explicit algebraic number

15 votes
Accepted

Why does Abs return negative values?

15 votes
Accepted

Internal`CopyListStructure makes fatal error sometimes

14 votes
Accepted

Mathematica not honoring the distributive property of multiplication?

13 votes
Accepted

Backslide in NSolve in V11.1?

13 votes
Accepted

Why is Mathematica showing a root twice from Reduce or Solve?

12 votes
Accepted

MMA has an error in calculating the minimum polynomial of a rational number

11 votes
Accepted

Faster variant of Reduce for finding zeros of holomorphic functions in a region

11 votes
Accepted

Why is FindInstance failing when I relax a set of constraints?

11 votes

Checking inequalities: How can $x>0,y>0$ yet $x+y$ indeterminate?

10 votes
Accepted

Why is RegionMeasure so slow when calculating intersection area of a 2D and a 3D object?

8 votes
Accepted

How can I stop Solve returning the value of a root encapsulated in a list?

8 votes
Accepted

Can Mathematica factor a polynomial over an algebraic number field?

8 votes

Incorrect answer of FunctionAnalytic

7 votes

Constructing a RootSum object changes existing internal syntax

7 votes
Accepted

Solving quadratic equations bug in Mathematica 12.3

7 votes
Accepted

Simplify not evaluating completely with Square roots

6 votes
Accepted

Can I absolutely rely on CountRoots and RootIntervals?

6 votes
Accepted

Quantifier elimination by using Resolve outputs a formula that is "too complicated"

6 votes

What does this result of Limit mean?

6 votes

Why Mathematica can not factorize polynomials over algebraic fields?

5 votes
Accepted

Resolve Error or Mathematica's Bug?

5 votes
Accepted

Solving matrix equations over a finite field

5 votes

Not able to get a solution to a Lagrange Multiplier Equation

4 votes
Accepted

Arithmetic on algebraic numbers

4 votes

Finding all complex polynomial roots in a specified range efficiently

4 votes

Resolve returns False on two contradicting statements

4 votes
Accepted

How to minimize that expression in four variables?