Interactive Build

Workflow runs for Interactive Build

• Answer a difference of two cubes where the sampled check cannot tell

  completed successfully:
  Interactive Build#3183:Pull request#1907openedbyRafael-SOWNet
  a-difference-of-two-cubes-is-split-over-the-cube-roots-of-unity

  Oct 16, 20263m 45s
  More actions for workflow run 3183

• Integrate a negative power of an inverse function of c + d x^2 in sin…

  completed successfully:
  Interactive Build#3182:Commit90c9d3epushedbyRafael-SOWNet
  master

  Oct 16, 20262m 33s
  More actions for workflow run 3182

• Integrate a negative power of an inverse function of c + d x^2 in sine and cosine integrals

  completed successfully:
  Interactive Build#3181:Pull request#1906openedbyRafael-SOWNet
  a-negative-power-of-an-inverse-function-of-a-quadratic

  Oct 16, 20265m 44s
  More actions for workflow run 3181

• Integrate the reciprocal of a binomial in a high power of a sine, cos…

  completed successfully:
  Interactive Build#3180:Commit2d17cd1pushedbyRafael-SOWNet
  master

  Oct 16, 20263m 39s
  More actions for workflow run 3180

• Integrate the reciprocal of a binomial in a high power of a sine, cosine or hyperbolic one over its roots

  completed successfully:
  Interactive Build#3179:Pull request#1905openedbyRafael-SOWNet
  a-reciprocal-of-a-binomial-in-a-power-of-a-hyperbolic-function-by-its-roots

  Oct 16, 20262m 9s
  More actions for workflow run 3179

• Integrate a power of an inverse function of c + d x^2 by its recurren…

  completed successfully:
  Interactive Build#3178:Commit5b5252bpushedbyRafael-SOWNet
  master

  Oct 16, 20262m 13s
  More actions for workflow run 3178

• Integrate a power of an inverse function of c + d x^2 by its recurrence

  completed successfully:
  Interactive Build#3177:Pull request#1904openedbyRafael-SOWNet
  a-power-of-an-inverse-function-of-a-quadratic-by-the-recurrence

  Oct 16, 20264m 30s
  More actions for workflow run 3177

• Split a biquadratic with surds in it by its roots in the square (#1903)

  completed successfully:
  Interactive Build#3176:Commitc92dbe0pushedbyRafael-SOWNet
  master

  Oct 16, 20265m 28s
  More actions for workflow run 3176

• Split a biquadratic with surds in it by its roots in the square

  completed successfully:
  Interactive Build#3175:Pull request#1903openedbyRafael-SOWNet
  a-biquadratic-with-surds-is-split-by-its-roots-in-the-square

  Oct 16, 20265m 10s
  More actions for workflow run 3175

• Fold a constant sum that comes to a number before the integral is ask…

  completed successfully:
  Interactive Build#3174:Commitbab8c75pushedbyRafael-SOWNet
  master

  Oct 16, 20262m 33s
  More actions for workflow run 3174

• Fold a constant sum that comes to a number before the integral is asked

  completed successfully:
  Interactive Build#3173:Pull request#1902openedbyRafael-SOWNet
  a-constant-sum-is-folded-before-the-question

  Oct 16, 20262m 15s
  More actions for workflow run 3173

• Gather powers of multiples of powers of one linear into one power (#1…

  completed successfully:
  Interactive Build#3172:Commit314a8ccpushedbyRafael-SOWNet
  master

  Oct 16, 20264m 5s
  More actions for workflow run 3172

• Gather powers of multiples of powers of one linear into one power

  completed successfully:
  Interactive Build#3171:Pull request#1901openedbyRafael-SOWNet
  powers-of-one-linear-are-gathered-into-one-power

  Oct 16, 20262m 4s
  More actions for workflow run 3171

• Integrate a linear below a cube root of a quadratic in closed form (#…

  completed successfully:
  Interactive Build#3170:Commitded0d68pushedbyRafael-SOWNet
  master

  Oct 16, 20262m 46s
  More actions for workflow run 3170

• Integrate a linear below a cube root of a quadratic in closed form

  completed successfully:
  Interactive Build#3169:Pull request#1900openedbyRafael-SOWNet
  a-linear-below-a-cube-root-of-a-quadratic-in-closed-form

  Oct 16, 20265m 28s
  More actions for workflow run 3169

• Integrate a linear and a quadratic to one power as one binomial (#1899)

  completed successfully:
  Interactive Build#3168:Commit55a8044pushedbyRafael-SOWNet
  master

  Oct 16, 20264m 28s
  More actions for workflow run 3168

• Integrate a linear and a quadratic to one power as one binomial

  completed successfully:
  Interactive Build#3167:Pull request#1899openedbyRafael-SOWNet
  a-linear-and-a-quadratic-to-one-power-are-one-binomial

  Oct 16, 20263m 9s
  More actions for workflow run 3167

• Integrate a whole power of the square of a polynomial over its root (…

  completed successfully:
  Interactive Build#3166:Commit35c9ba5pushedbyRafael-SOWNet
  master

  Oct 16, 20264m 33s
  More actions for workflow run 3166

• Integrate a whole power of the square of a polynomial over its root

  completed successfully:
  Interactive Build#3165:Pull request#1898openedbyRafael-SOWNet
  a-whole-power-of-a-square-is-written-over-its-root

  Oct 16, 20263m 54s
  More actions for workflow run 3165

• Integrate two linears to one power as one quadratic to that power (#1…

  completed successfully:
  Interactive Build#3164:Commitd05d20dpushedbyRafael-SOWNet
  master

  Oct 16, 20262m 20s
  More actions for workflow run 3164

• Integrate two linears to one power as one quadratic to that power

  completed successfully:
  Interactive Build#3163:Pull request#1897openedbyRafael-SOWNet
  two-linears-to-one-power-are-one-quadratic

  Oct 16, 20265m 3s
  More actions for workflow run 3163

• Split a power of an even quadratic over a binomial in it over the bin…

  completed successfully:
  Interactive Build#3162:Commit384be90pushedbyRafael-SOWNet
  master

  Oct 15, 20263m 53s
  More actions for workflow run 3162

• Split a power of an even quadratic over a binomial in it over the binomial's roots

  completed successfully:
  Interactive Build#3161:Pull request#1896openedbyRafael-SOWNet
  a-binomial-in-an-even-quadratic-is-split-over-its-roots

  Oct 15, 20266m 1s
  More actions for workflow run 3161

• Split a power of x over a sum of two cubes over the cube roots of uni…

  completed successfully:
  Interactive Build#3160:Commit7e5768bpushedbyRafael-SOWNet
  master

  Oct 15, 20262m 36s
  More actions for workflow run 3160

• Split a power of x over a sum of two cubes over the cube roots of unity

  completed successfully:
  Interactive Build#3159:Pull request#1895openedbyRafael-SOWNet
  a-sum-of-two-cubes-is-split-over-the-cube-roots-of-unity

  Oct 15, 20262m 34s
  More actions for workflow run 3159