42 search results - page 6 / 9 » jsc 2010 |
JSC
2010
13 years 4 months ago
2010
For a field k with an automorphism and a derivation , we introduce the notion of liouvillian solutions of linear difference-differential systems {(Y ) = AY, (Y ) = BY } over k an...
JSC
2010
13 years 8 months ago
2010
We prove two versions of Stickelberger’s Theorem for positive dimensions and use them to compute the connected and irreducible components of a complex algebraic variety. If the ...
JSC
2010
13 years 8 months ago
2010
Let Xm,n be the Segre-Veronese variety Pm ×Pn embedded by the morphism given by O(1, 2) and let σs(Xm,n) denote the sth secant variety to Xm,n. In this paper, we prove that if m ...
JSC
2010
13 years 8 months ago
2010
In this paper we deal with the verification of safety properties of infinite-state systems modeled by term-rewriting systems. An over-approximation of the set of reachable terms...
JSC
2010
13 years 8 months ago
2010
The topic of this article is decision procedures for satisfiability modulo theories (SMT) of arbitrary quantifier-free formulæ. We propose an approach that decomposes the formu...