Search Results for ""
201 - 210 of 895 for Symbolic ComputingSearch Results
Two figures are said to be similar when all corresponding angles are equal and all distances are increased (or decreased) in the same ratio, called the ratio of magnification ...
Consider a formula in prenex normal form, Q_1x_1...Q_nx_nN. If Q_i is the existential quantifier (1<=i<=n) and x_k, ..., x_m are all the universal quantifier variables such ...
The space groups in two dimensions are called wallpaper groups. In three dimensions, the space groups are the symmetry groups possible in a crystal lattice with the ...
Subtraction is the operation of taking the difference d=x-y of two numbers x and y. Here, x is called the minuend, y is called the subtrahend, and the symbol between the x ...
An irregular icosagon, also called the gammadion or fylfot, which symbolized good luck in ancient Arabic and Indian cultures. The mirror image of the above, sometimes called ...
A tetractys, also called a tetraktys or decad, is an arrangement of 10 points in the form of a triangle with 1 point in the first row, two in the second, three in the third, ...
An exchange of two elements of an ordered list with all others staying the same. A transposition is therefore a permutation of two elements. For example, the swapping of 2 ...
A truncated polyhedron is a polyhedron with truncated faces, given by the Schläfli symbol t{p; q}. The operation implemented as Truncate[polyhedron, r] in the Wolfram ...
A variable is a symbol on whose value a function, polynomial, etc., depends. For example, the variables in the function f(x,y) are x and y. A function having a single ...
The connective in logic corresponding to the exclusive nor operation. A XNOR B is equivalent to (A ^ B) v (!A ^ !B), where ^ denotes AND, v denotes OR, and !A denotes NOT. ...
...
View search results from all Wolfram sites (194123 matches)

