1005 search results - page 5 / 201 » Patterns for Refinement Automation |
ECAI
2004
Springer
15 years 1 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
IMR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents an automated tool for local, conformal refinement of all-hexahedral meshes based on the insertion of multidirectional twist planes into the spatial twist conti...
ILP
2000
Springer
15 years 1 months ago
2000
Springer
CADE
2009
Springer
15 years 4 months ago
2009
Springer
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE