164
Voted
ISSAC
15 years 7 months ago
1995 Springer 
Abstract. In this paper we derive an algorithm that computes, for a given algebraic hyperelliptic plane curve C of genus p, p > 1, defined by a polynomial y2 = (x−λ1) · · ...
147
click to vote
MPC
15 years 7 months ago
1995 Springer 
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
146
click to vote
MPC
15 years 7 months ago
1995 Springer 
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
142
click to vote
ISSAC
15 years 7 months ago
1995 Springer
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
137
click to vote
MPC
15 years 7 months ago
1995 Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
|
Mathematics