Information om | Engelska ordet CALCULATIONAL

Exempel på hur man kan använda CALCULATIONAL i en mening

• Skipping the imaginary part saves half the calculational effort in summations, a factor of four in multiplications and often factors of eight or even more when it comes to computations involving matrices.
• Buchdahl's interest in tensor and spinor analysis was related to dealing with formalisms and calculational procedures, be it spherical and spheroidal harmonics.
• Verification proofs are supported by a mathematical toolbox that includes mathematical integers and reals, bit-vectors, sequences, sets, multisets, infinite sequences and sets, induction, co-induction, and calculational proofs.

Förberedelsen av sidan tog: 316,14 ms.