988 search results - page 1 / 198 » Tarski's system of geometry |
BSL
1999
13 years 6 months ago
1999
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
ADG
2006
Springer
14 years 26 days ago
2006
Springer
HYBRID
2009
Springer
13 years 10 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
WSPI
2004
13 years 8 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
JAR
2010
13 years 5 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...