1158 search results - page 114 / 232 » Software is discrete mathematics |
JAR
2010
14 years 8 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
SIMPRA
2011
14 years 5 months ago
2011
In this paper we present a GPU-based multigrid approach for simulating elastic deformable objects in real time. Our method is based on a finite element discretization of the defo...
101
click to vote
SIAMJO
2011
14 years 4 months ago
2011
We present a class of inexact adaptive multilevel trust-region SQP-methods for the efficient solution of optimization problems governed by nonlinear partial differential equations...
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...