5456 search results - page 91 / 1092 » General Equilibrium Theory |
139
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
139
click to vote
COMPGEOM
2007
ACM
15 years 8 months ago
2007
ACM
We prove an optimal generalization of the centerpoint theorem: given a set P of n points in the plane, there exist two points (not necessarily among input points) that hit all con...
120
Voted
AMC
2007
15 years 4 months ago
2007
We develop several iterative methods for computing generalized inverses using both first and second order optimization methods in C∗ -algebras. Known steepest descent iterative...
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
124
Voted
DAM
2007
15 years 4 months ago
2007
A Skolem sequence is a sequence a1, a2, . . . , a2n (where ai ∈ A = {1, . . . , n}), each ai occurs exactly twice in the sequence and the two occurrences are exactly ai position...