1302 search results - page 143 / 261 » Free-Style Theorem Proving |
129
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
158
click to vote
AIMSA
1998
Springer
15 years 8 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
126
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
134
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
137
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...