Search Results for ""

The diminished rhombicosidodecahedron is a convex equilateral solid that is Johnson solid J_(76). This solid is the diminished polyhedron obtained by diminishing a small ...

A variable that appears in a calculation only as a placeholder and which disappears completely in the final result. For example, in the integral int_0^xf(x^')dx^', x^' is a ...

The elongated pentagonal gyrobicupola is a convex equilateral solid that is Johnson solid J_(39). The unit elongated pentagonal gyrobicupola has volume ...

The elongated pentagonal gyrobirotunda is a convex equilateral gyrobirotunda having regular pentagonal upper and lower birotundas arranged rotated 1/10 of a turn with respect ...

The elongated pentagonal orthobicupola is a convex equilateral solid that is Johnson solid J_(38). The unit elongated pentagonal orthobicupola has volume ...

The elongated pentagonal orthobirotunda is a convex equilateral orthobirotunda having regular pentagonal upper and lower rotundas arranged symmetrically with respect to each ...

The elongated triangular gyrobicupola is a convex equilateral solid that is Johnson solid J_(36). The unit elongated triangular gyrobicupola has volume ...

The elongated triangular orthobicupola is a convex equilateral solid that is Johnson solid J_(35). The unit longated triangular orthobicupola has volume ...

The extangents circle is the circumcircle of the extangents triangle. Its center function is a complicated 9th-order polynomial and its circle function is a complicated ...

A reduction system is called finitely terminating (or Noetherian) if there are no infinite rewriting sequences. This property guarantees that any rewriting algorithm will ...