1581 search results - page 13 / 317 » Mechanizing Inductive Reasoning |
CADE
2007
Springer
15 years 12 months ago
2007
Springer
CPHYSICS
2008
14 years 11 months ago
2008
We examine parallel algorithms for molecular dynamics simulations involving long-range induction interactions. The algorithms are tested by performing molecular dynamics simulatio...
113
click to vote
ENTCS
2006
14 years 11 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
101
click to vote
CADE
2008
Springer
15 years 12 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE