Skip to main content
edited tags
Link
user9072
user9072
deleted 5 characters in body; edited title
Source Link
Manu
  • 393
  • 1
  • 6

Software to decide inequalityequality between expressions involving powers and trigonometry

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A >= B? (Note in particular this could be used to determine ifPrevious question asked A => B or not, but the bottleneck is equality.)

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of a sound algorithm, which may take a long time or even not always terminate. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

Software to decide inequality between expressions involving powers and trigonometry

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A > B? (Note in particular this could be used to determine if A = B or not.)

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of a sound algorithm, which may take a long time or even not always terminate. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

Software to decide equality between expressions involving powers and trigonometry

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A = B? (Previous question asked A > B, but the bottleneck is equality.)

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of a sound algorithm, which may take a long time or even not always terminate. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

added 118 characters in body
Source Link
Manu
  • 393
  • 1
  • 6

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A > B? (Note in particular this could be used to determine if A = B or not.)

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of the (slow) knowna sound algorithm, which may take a long time or even not always terminate. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A > B?

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of the (slow) known algorithm. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

Given two expressions A and B involving integers, $\pi$, powers to rational exponents, and cosine, is there a software that determines if A > B? (Note in particular this could be used to determine if A = B or not.)

I am aware of the long-standing sum-of-square-roots problem in complexity theory. I am asking if there is a software implementation of a sound algorithm, which may take a long time or even not always terminate. As far as I know, standard math software, even if symbolic, resorts to decimal expansion to determine if A > B; but without mathematical guarantee.

Source Link
Manu
  • 393
  • 1
  • 6
Loading