PARDI !

François Boulier; François Lemaire; Marc Moreno Maza

hal-00139354, version 1

PARDI !

François Boulier () ^1, 2, François Lemaire () ^1, 2, Marc Moreno Maza () ³

international symposium on Symbolic and algebraic computation 2001 (2001) 38-47

Abstract: 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.

1: Laboratoire d'Informatique Fondamentale de Lille (LIFL)
CNRS : UMR8022 – Université Lille I - Sciences et technologies – Université Lille III - Sciences humaines et sociales – INRIA
2: CALFOR (LIFL)
Université Lille I - Sciences et technologies – CNRS : UMR8022
3: Ontario Research Center for Computer Algebra (ORCCA)
University of Western Ontario – University of Waterloo

hal-00139354, version 1
http://hal.archives-ouvertes.fr/hal-00139354
oai:hal.archives-ouvertes.fr:hal-00139354
From: François Boulier <>
Submitted on: Friday, 30 March 2007 14:05:31
Updated on: Friday, 22 January 2010 14:10:09

See detailed view

Associated documents

PDF :

DOI: 10.1145/384101.384108

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="hal-00139354"><analytic>
<author><persName><forename>François</forename><surname>Boulier</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">CALFOR</orgName>
<country>FR</country>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
</affiliation>
</author>
<author><persName><forename>François</forename><surname>Lemaire</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">CALFOR</orgName>
<country>FR</country>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
</affiliation>
</author>
<author><persName><forename>Marc</forename><surname>Moreno Maza</surname></persName>
<affiliation>
<orgName type="laboratory">ORCCA</orgName>
<orgName type="team">Ontario Research Center for Computer Algebra</orgName>
<country>CA</country>
<orgName type="institution">University of Western Ontario</orgName>
<orgName type="institution">University of Waterloo</orgName>
</affiliation>
</author>
<title type="main" level="a">PARDI !</title></analytic><monogr><title level="m" type="main">ISSAC'01: Proceedings of the 2001 international symposium on Symbolic and algebraic computation</title><meeting>international symposium on Symbolic and algebraic computation 2001</meeting><imprint><publisher>ACM Press</publisher><pubPlace><country>France</country></pubPlace><biblScope type="publicationDate">2001-00-00</biblScope><biblScope type="pp">38-47</biblScope></imprint></monogr><idno type="doi">10.1145/384101.384108</idno><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00139354</idno><idno type="HALFile">http://hal.archives-ouvertes.fr/hal-00139354/PDF/BLM01.pdf</idno></biblStruct>
</listBibl>
</listBibl>