1005 search results - page 5 / 201 » Patterns for Refinement Automation |
136
Voted
ECAI
2004
Springer
15 years 6 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...
107
Voted
IMR
2004
Springer
15 years 8 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...
94
Voted
ILP
2000
Springer
15 years 6 months ago
2000
Springer
111
Voted
CADE
2009
Springer
15 years 9 months ago
2009
Springer
75
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE