Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Second derivative rule for inverse function  + (22:57:00, 21 September 2011)
• Logarithmic derivative  + (23:02:06, 21 September 2011)
• Positive part of sine function  + (17:33:41, 22 September 2011)
• Even part  + (20:05:13, 22 September 2011)
• Odd part  + (21:18:09, 22 September 2011)
• Freshman product rule  + (15:44:38, 15 October 2011)
• Intermediate value theorem  + (17:05:35, 15 October 2011)
• Mean value theorem  + (00:21:04, 16 October 2011)
• Limit is linear  + (01:27:58, 16 October 2011)
• Limit of quotient equals quotient of limits  + (01:49:44, 16 October 2011)
• Limit is multiplicative  + (01:52:09, 16 October 2011)
• Continuous functions form a unital algebra  + (15:54:51, 16 October 2011)
• Continuous functions form a vector space  + (15:55:38, 16 October 2011)
• Differentiable function  + (16:16:43, 16 October 2011)
• Higher derivative  + (16:41:45, 16 October 2011)
• Differentiable functions form a vector space  + (16:47:33, 16 October 2011)
• Infinitely differentiable function  + (16:55:49, 16 October 2011)
• Rolle's theorem  + (19:43:15, 20 October 2011)
• Lagrange mean value theorem  + (20:19:01, 20 October 2011)
• Uniqueness theorem for limits  + (20:51:38, 20 October 2011)
• Tangent line  + (01:41:51, 25 October 2011)
• Nonnegative derivative that is not identically zero on any interval implies increasing  + (17:41:39, 13 December 2011)
• Cube function  + (17:45:05, 13 December 2011)
• Inverse function integration formula  + (18:23:41, 16 December 2011)
• Rational functions can be repeatedly integrated within elementarily expressible functions  + (18:30:41, 16 December 2011)

• Algebra containing all functions of a given algebra containing the identity function and their antiderivatives contains all their iterated antiderivatives  + (18:33:52, 16 December 2011)

• Integration of rational function whose denominator has distinct linear factors  + (18:44:15, 16 December 2011)
• Integration of rational function with quadratic denominator  + (21:05:12, 16 December 2011)
• Product rule for differentiation of dot product  + (01:47:20, 18 December 2011)
• Second derivative  + (03:15:04, 18 December 2011)
• Increasing and differentiable implies nonnegative derivative that is not identically zero on any interval  + (03:28:17, 18 December 2011)
• Inverse of increasing function is increasing  + (03:36:27, 18 December 2011)
• Increasing functions form a cone in a vector space  + (03:47:47, 18 December 2011)
• Composite of increasing functions is increasing  + (03:49:01, 18 December 2011)
• Product of increasing functions need not be increasing  + (03:49:43, 18 December 2011)
• Composite of any function with even function is even  + (03:50:43, 18 December 2011)
• Cosine-squared function  + (01:47:03, 19 December 2011)
• Integration of linear transform of function  + (02:01:14, 19 December 2011)
• Arc tangent function  + (16:34:38, 19 December 2011)
• Sinc function  + (18:50:32, 19 December 2011)
• Sinc-squared function  + (18:56:41, 19 December 2011)
• Sine integral  + (19:24:03, 19 December 2011)
• Sine of square function  + (19:38:37, 19 December 2011)
• Sine-squared function  + (22:05:34, 12 February 2012)
• Absolute value of sine function  + (22:41:55, 12 February 2012)
• Natural logarithm of absolute value of sine function  + (22:43:12, 12 February 2012)
• Sinc-cubed function  + (23:53:37, 12 February 2012)
• Tangent-squared function  + (00:01:38, 13 February 2012)
• Gamma function  + (00:11:42, 13 February 2012)
• Zeta function  + (00:14:06, 13 February 2012)
• Leibniz integral rule  + (00:30:38, 13 February 2012)