SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...
UndirectedEdge[u, v] or u \[UndirectedEdge] v represents an undirected edge of a graph with vertices u and v.
VarianceEstimatorFunction is an option for LinearModelFit and NonlinearModelFit which specifies the variance estimator to use.
FITS
(Mathematica Import/Export Format) MIME types: application/fits, image/fits FITS scientific image and data format. Standard format for the exchange and archival storage of astronomical data. Endorsed by NASA ...
FindIndependentVertexSet[g] finds an independent vertex set of the graph g with a maximum number of vertices.
ResetScheduledTask[obj] resets scheduled task object obj to the original parameter values.ResetScheduledTask[obj, timespec] resets scheduled task timing to ...
RidgeFilter[image] computes a measure for the presence of a ridge for each pixel in image.RidgeFilter[image, \[Sigma]] uses the specified ridge scale \[Sigma].
VectorPoints is an option to VectorPlot, ListVectorPlot, and related functions that determines how many field vectors to draw.
$LibraryPath gives the default list of directories to search in attempting to find a library.
Constructors[javaclass] returns a list of the Java declarations for all constructors of the specified JavaClass. Constructors["classname"] lists the constructor for the named ...