3745 search results - page 29 / 749 » Sonic: System Description |
117
Voted
CADE
2008
Springer
15 years 3 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
141
click to vote
CLIMA
2006
15 years 3 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
151
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
89
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CADE
2002
Springer
16 years 2 months ago
2002
Springer