Back to Search Start Over

PARDI!

Authors :
Boulier, François
Lemaire, François
Moreno Maza, Marc
Laboratoire d'Informatique Fondamentale de Lille (LIFL)
Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)
Calcul Formel (CALFOR)
Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)
Ontario Research Center for Computer Algebra (ORCCA)
University of Waterloo [Waterloo]-University of Western Ontario (UWO)
Source :
ISSAC'01: Proceedings of the 2001 international symposium on Symbolic and algebraic computation, international symposium on Symbolic and algebraic computation 2001, international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩
Publication Year :
2001
Publisher :
ACM, 2001.

Abstract

International audience; We propose a new algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This differential algebra algorithm computes characteristic sets by change of ranking (ordering) for prime ideals. It identifies the purely algebraic subproblems which arise during differential computations and solves them algebraically. There are two improvements w.r.t. other approaches: formerly unsolved problems could be carried out; it is conceptually simple. Different variants are implemented.

Subjects

Subjects :
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
change of ranking
[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
differential algebra
characteristic set
[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP]
gcd
PDE

Details

Database :
OpenAIRE
Journal :
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Accession number :
edsair.doi.dedup.....2a01427e2df149c8eac0ffeecc56ddde

Tools

Authors Abstract Subjects Details