134
Voted
ISSAC
15 years 3 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) · · ...
125
click to vote
MPC
15 years 3 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...
118
click to vote
MPC
15 years 3 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...
109
Voted
ISSAC
15 years 3 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...
108
click to vote
ISSAC
15 years 3 months ago
1995 Springer 
This paper introduces singular value decomposition (SVD) algorithms for some standard polynomial computations, in the case where the coefficients are inexact or imperfectly known....
|
Mathematics