XMethods.com is a website that lists publicly available web services. It is a great place for finding web services and advertising web services that you provide. This example ...

ListCorrelate[ker, list] forms the correlation of the kernel ker with list. ListCorrelate[ker, list, k] forms the cyclic correlation in which the k \[Null]^th element of ker ...

CompileEvaluate[expr] compiles expr and then evaluates the resulting compiled code.

ExistsRealQ[ineqs, {x_1, x_2, ...}] tests whether there exist real values of the x_i for which the inequalities and equations ineqs are satisfied.

ForAllRealQ[ineqs, {x_1, x_2, ...}] tests whether for all real values of the x_i the inequalities and equations ineqs are satisfied.

ImpliesRealQ[ineqs_1, ineqs_2] tests whether the inequalities and equations ineqs_1 imply the ineqs_2 for all real values of all variables.

 

Mathematica 6.0 defined a major new paradigm for computing, centered around the concept of the symbolic dynamic interface. Built on Mathematica's unique symbolic ...

Everything that Mathematica does can be thought of as derived from its ability to apply general transformation rules to arbitrary symbolic expressions. The Mathematica ...

Rules are a key part of Mathematica 's powerful expression transformation language. These "How tos" give step-by-step instructions for using rules in Mathematica .