Numerical calculations - Verification.

Virtual immersive and 3D learning spacesemerging technologies and trends / by: (書目-電子資源)

Accuracy verification methodstheory and algorithms / by: (書目-電子資源)

Numerical verification methods and computer-assisted proofs for partial differential equations by: (書目-電子資源)

Computer managed instruction.

Numerical Analysis.

Mathematical Applications in Computer Science.

Education, Elementary

Education, Secondary

Fluid dynamics

Numerical and Computational Physics.

Numeric Computing.

Computational Science and Engineering.

Computational Intelligence.

Automatic theorem proving.

Partial Differential Equations.

Mathematical models.

Computer Science.

Numerical calculations

Differential equations, Partial.