Harnesses

459 workflow runs

Integrate a function of an inverse times its derivative up to a facto…
completed successfully:
Harnesses#459:Commit87be872pushedbyRafael-SOWNet
master
Oct 16, 20266m 4s
Integrate a function of an inverse times its derivative up to a factor constant though written with x
completed successfully:
Harnesses#458:Pull request#1909openedbyRafael-SOWNet
a-function-of-an-inverse-times-its-derivative-up-to-a-constant
Oct 16, 202610m 0s
Integrate half an odd power of an inverse hyperbolic cosine of c + d …
completed successfully:
Harnesses#457:Commitadba48cpushedbyRafael-SOWNet
master
Oct 16, 20269m 59s
Integrate half an odd power of an inverse hyperbolic cosine of c + d x^2 in error functions
completed successfully:
Harnesses#456:Pull request#1908openedbyRafael-SOWNet
a-half-integer-power-of-an-inverse-hyperbolic-cosine-of-a-quadratic
Oct 16, 202614m 2s
Answer a difference of two cubes where the sampled check cannot tell …
completed successfully:
Harnesses#455:Commit0cc1e5dpushedbyRafael-SOWNet
master
Oct 16, 20269m 45s
Answer a difference of two cubes where the sampled check cannot tell
completed successfully:
Harnesses#454:Pull request#1907openedbyRafael-SOWNet
a-difference-of-two-cubes-is-split-over-the-cube-roots-of-unity
Oct 16, 202610m 7s
Integrate a negative power of an inverse function of c + d x^2 in sin…
completed successfully:
Harnesses#453:Commit90c9d3epushedbyRafael-SOWNet
master
Oct 16, 20269m 33s
Integrate a negative power of an inverse function of c + d x^2 in sine and cosine integrals
completed successfully:
Harnesses#452:Pull request#1906openedbyRafael-SOWNet
a-negative-power-of-an-inverse-function-of-a-quadratic
Oct 16, 20269m 39s
Integrate the reciprocal of a binomial in a high power of a sine, cos…
completed successfully:
Harnesses#451:Commit2d17cd1pushedbyRafael-SOWNet
master
Oct 16, 202610m 7s
Integrate the reciprocal of a binomial in a high power of a sine, cosine or hyperbolic one over its roots
completed successfully:
Harnesses#450:Pull request#1905openedbyRafael-SOWNet
a-reciprocal-of-a-binomial-in-a-power-of-a-hyperbolic-function-by-its-roots
Oct 16, 20269m 51s
Integrate a power of an inverse function of c + d x^2 by its recurren…
completed successfully:
Harnesses#449:Commit5b5252bpushedbyRafael-SOWNet
master
Oct 16, 20269m 58s
Integrate a power of an inverse function of c + d x^2 by its recurrence
completed successfully:
Harnesses#448:Pull request#1904openedbyRafael-SOWNet
a-power-of-an-inverse-function-of-a-quadratic-by-the-recurrence
Oct 16, 20266m 40s
Split a biquadratic with surds in it by its roots in the square (#1903)
completed successfully:
Harnesses#447:Commitc92dbe0pushedbyRafael-SOWNet
master
Oct 16, 20267m 38s
Split a biquadratic with surds in it by its roots in the square
completed successfully:
Harnesses#446:Pull request#1903openedbyRafael-SOWNet
a-biquadratic-with-surds-is-split-by-its-roots-in-the-square
Oct 16, 202613m 9s
Fold a constant sum that comes to a number before the integral is ask…
completed successfully:
Harnesses#445:Commitbab8c75pushedbyRafael-SOWNet
master
Oct 16, 202611m 9s
Fold a constant sum that comes to a number before the integral is asked
completed successfully:
Harnesses#444:Pull request#1902openedbyRafael-SOWNet
a-constant-sum-is-folded-before-the-question
Oct 16, 202611m 12s
Gather powers of multiples of powers of one linear into one power (#1…
completed successfully:
Harnesses#443:Commit314a8ccpushedbyRafael-SOWNet
master
Oct 16, 202610m 52s
Gather powers of multiples of powers of one linear into one power
completed successfully:
Harnesses#442:Pull request#1901openedbyRafael-SOWNet
powers-of-one-linear-are-gathered-into-one-power
Oct 16, 20268m 28s
Integrate a linear below a cube root of a quadratic in closed form (#…
completed successfully:
Harnesses#441:Commitded0d68pushedbyRafael-SOWNet
master
Oct 16, 20269m 56s
Integrate a linear below a cube root of a quadratic in closed form
completed successfully:
Harnesses#440:Pull request#1900openedbyRafael-SOWNet
a-linear-below-a-cube-root-of-a-quadratic-in-closed-form
Oct 16, 202613m 24s
Integrate a linear and a quadratic to one power as one binomial (#1899)
completed successfully:
Harnesses#439:Commit55a8044pushedbyRafael-SOWNet
master
Oct 16, 20267m 30s
Integrate a linear and a quadratic to one power as one binomial
completed successfully:
Harnesses#438:Pull request#1899openedbyRafael-SOWNet
a-linear-and-a-quadratic-to-one-power-are-one-binomial
Oct 16, 20267m 44s
Integrate a whole power of the square of a polynomial over its root (…
completed successfully:
Harnesses#437:Commit35c9ba5pushedbyRafael-SOWNet
master
Oct 16, 20269m 55s
Integrate a whole power of the square of a polynomial over its root
completed successfully:
Harnesses#436:Pull request#1898openedbyRafael-SOWNet
a-whole-power-of-a-square-is-written-over-its-root
Oct 16, 20265m 47s
Integrate two linears to one power as one quadratic to that power (#1…
completed successfully:
Harnesses#435:Commitd05d20dpushedbyRafael-SOWNet
master
Oct 16, 202610m 2s