Representation for the radical of a finitely generated differential ideal

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Representation for the radical of a finitely generated differential ideal

Full text

Pdf (997 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1995 international symposium on Symbolic and algebraic computation table of contents

Montreal, Quebec, Canada

Pages: 158 - 166

Year of Publication: 1995

ISBN:0-89791-699-9

Authors

F. Boulier	LIFL, Université Lille I, F-59655 Villeneuve d'Ascq Cedex
D. Lazard	LITP, Institut Blaise Pascal, Université Paris VI, F-75252 Paris, Cedex
F. Ollivier	GAGE, École Polytechnique, F-91128 Palaiseau, Cedex
M. Petitot	LSS, École SUPELEC, F-91192 Gif-Sur-Yvette, Cedex

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 28, Citation Count: 39

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/220346.220367 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Bo	F. Boulier.- Etude et implantation de queIques algorithmes en alg~bre diff@rentielle (Th~se de l'Universit@ des Sciences et Technologies de Lille, (1994))
	Bu	B. Buchberger.- An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal (German) (Ph. D. Thesis. Math. Inst. Univ. of Innsbruck, Austria 1965, and Aequationes Math. 4/3 (1970), 374-383)
	Ca	G. Carra'Ferro, Groebner bases and differential algebra, Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, p.129-140, June 1987, Menorca, Spain
	F	M. Fliess.- A utomatique et corps diffgrentiets (Forum Math. I, 227-238)
	FGLM	J. C. Faugère , P. Gianni , D. Lazard , T. Mora, Efficient computation of zero-dimensional Gro¨bner bases by change of ordering, Journal of Symbolic Computation, v.16 n.4, p.329-344, Oct. 1993 [doi>10.1006/jsco.1993.1051]
	GMO	Giovanni Gallo , Bhubaneswar Mishra , François Ollivier, Some Constructions in Rings of Differential Polynomials, Proceedings of the 9th International Symposium, on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, p.171-182, October 07-11, 1991
	Ko	E. R. Kolchin.- Differential Algebra and Algebraic Groups (Academic Press, New York (1973))
	Ma	E. Mansfield.- Differential GrSbner bases (PhD thesis, University of Sydney, (1991))
	Ol	F. Ollivier.- Le probl~me de l~identifiabiIitd structurelle globale : approche thdorique, mdthodes effectives et bornes de complexitd (Th~se de doctorat, Ecole Polytechnique (1990))
	Ri	J. F. Ritt.- Differential Algebra (Amer. Math. Soc, New York (1950))
	Ro	A. Rosenfeld.- Specializations in differential algebra (Trans. Amer. Math. Soc. 90 (1959), 394-407)
	Se1	A. Seidenberg.- An elimination theory for differential algebra (Univ. California Publ. Math. (N.S.) (1956), 31- 38)
	Se2	A. Seidenberg.- Some basic theorems in differential algebra (characteristic p arbitrary) (Trans. Amer. Math. Soc. 7'3 (1952), 174-190)
	Tr	W. L. Trinks.- ~}ber B. Buchbergers Verfahren Systeme algebraischer Gleichungen zu 15sen (J. Number Theory 10 (1978), 475-488)

CITED BY 39

	C. J. Rust , G. J. Reid , A. D. Wittkopf, Existence and uniqueness theorems for formal power series solutions of analytic differential systems, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.105-112, July 28-31, 1999, Vancouver, British Columbia, Canada
	Greg Reid , Chris Smith , Jan Verschelde, Geometric completion of differential systems using numeric-symbolic continuation, ACM SIGSAM Bulletin, v.36 n.2, p.1-17, June 2002
	Evelyne Hubert, The general solution of an ordinary differential equation, Proceedings of the 1996 international symposium on Symbolic and algebraic computation, p.189-195, July 24-26, 1996, Zurich, Switzerland
	C. J. Rust , G. J. Reid, Rankings of partial derivatives, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.9-16, July 21-23, 1997, Kihei, Maui, Hawaii, United States
	S. P. Tsarev, On factorization of nonlinear ordinary differential equations, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.159-164, July 28-31, 1999, Vancouver, British Columbia, Canada
	Alexandre Sedoglavic, A probabilistic algorithm to test local algebraic observability in polynomial time, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.309-317, July 2001, London, Ontario, Canada
	François Boulier , François Lemaire, Computing canonical representatives of regular differential ideals, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.38-47, July 2000, St. Andrews, Scotland
	Thomas Wolf, The integration of systems of linear PDEs using conservation laws of syzygies, Journal of Symbolic Computation, v.35 n.5, p.499-526, May 2003
	Guillermo Matera , Alexandre Sedoglavic, The differential Hilbert function of a differential rational mapping can be computed in polynomial time, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.184-191, July 07-10, 2002, Lille, France
	François Boulier , François Lemaire , Marc Moreno Maza, PARDI!, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.38-47, July 2001, London, Ontario, Canada
	Alexandre Sedoglavic, A probabilistic algorithm to test local algebraic observability in polynomial time, Journal of Symbolic Computation, v.33 n.5, p.735-755, May 2002
	E. Hubert , N. Le Roux, Computing power series solutions of a nonlinear PDE system, Proceedings of the 2003 international symposium on Symbolic and algebraic computation, p.148-155, August 03-06, 2003, Philadelphia, PA, USA
	Éric Schost, Degree bounds and lifting techniques for triangular sets, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.238-245, July 07-10, 2002, Lille, France
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	Ziming Li , Fritz Schwarz , Serguei P. Tsarev, Factoring systems of linear PDEs with finite-dimensional solution spaces, Journal of Symbolic Computation, v.36 n.3-4, p.443-471, September 2003
	Éric Schost, Complexity results for triangular sets, Journal of Symbolic Computation, v.36 n.3-4, p.555-594, September 2003
	G. Matera , A. Sedoglavic, Fast computation of discrete invariants associated to a differential rational mapping, Journal of Symbolic Computation, v.36 n.3-4, p.473-499, September 2003
	Xiao-Shan Gao, Implicitization of differential rational parametric equations, Journal of Symbolic Computation, v.36 n.5, p.811-824, November 2003
	Gregory J. Reid , Allan D. Wittkopf, Determination of maximal symmetry groups of classes of differential equations, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.272-280, July 2000, St. Andrews, Scotland
	Evelyne Hubert, Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases, Proceedings of the 2004 international symposium on Symbolic and algebraic computation, p.191-198, July 04-07, 2004, Santander, Spain
	Thomas Wolf, Size reduction and partial decoupling of sytems of equations, Journal of Symbolic Computation, v.33 n.3, p.367-383, March 2002
	Greg Reid , Jan Verschelde , Allan Wittkopf , Wenyuan Wu, Symbolic-numeric completion of differential systems by homotopy continuation, Proceedings of the 2005 international symposium on Symbolic and algebraic computation, p.269-276, July 24-27, 2005, Beijing, China
	M. V. Kondrat'eva, Examples of Computation of Generators of a Differential Ideal by Its Characteristic Set, Programming and Computing Software, v.28 n.2, p.81-83, March-April 2002
	M. V. Kondratieva , V. A. Mityunin, Computation of the Differential Dimension Polynomial When Changing Generators in the Dirac Equations, Programming and Computing Software, v.27 n.1, p.25-28, January-February 2001
	Marc Moreno Maza, Triangular decompositions of polynomial systems: from theory to practice, Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09-12, 2006, Genoa, Italy
	Wenyuan Wu , Greg Reid, Application of numerical algebraic geometry and numerical linear algebra to PDE, Proceedings of the 2006 international symposium on Symbolic and algebraic computation, July 09-12, 2006, Genoa, Italy
	M. V. Kondratieva , A. I. Ovchinnikov, Characteristic sets for ordinary differential equations, Programming and Computing Software, v.31 n.2, p.91-96, March 2005
	A. I. Ovchinnikov, Characterizable Radical Differential Ideals and Some Properties of Characteristic Sets, Programming and Computing Software, v.30 n.3, p.141-149, May-June 2004
	Wenyuan Wu , Greg Reid , Silvana Ilie, Implicit Riquier Bases for PDAE and their semi-discretizations, Journal of Symbolic Computation, v.44 n.7, p.923-941, July, 2009
	Raouf Dridi , Michel Petitot, Towards a new ode solver based on cartan's equivalence method, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada
	Raouf Dridi , Michel Petitot, Towards a new ode solver based on cartan's equivalence method, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada
	Wenyuan Wu , Greg Reid, Symbolic-numeric computation of implicit riquier bases for PDE, Proceedings of the 2007 international symposium on Symbolic and algebraic computation, July 29-August 01, 2007, Waterloo, Ontario, Canada
	Oleg Golubitsky , Marina Kondratieva , Marc Moreno Maza , Alexey Ovchinnikov, A bound for the Rosenfeld–Gröbner algorithm, Journal of Symbolic Computation, v.43 n.8, p.582-610, August, 2008
	Manuel Kauers, Solving difference equations whose coefficients are not transcendental, Theoretical Computer Science, v.401 n.1-3, p.217-227, July, 2008
	Sylvain Neut , Michel Petitot , Raouf Dridi, Élie Cartan's geometrical vision or how to avoid expression swell, Journal of Symbolic Computation, v.44 n.3, p.261-270, March, 2009
	Oleg Golubitsky , Marina Kondratieva , Alexey Ovchinnikov, Algebraic transformation of differential characteristic decompositions from one ranking to another, Journal of Symbolic Computation, v.44 n.4, p.333-357, April, 2009
	Xiao-Shan Gao , Yong Luo , Chunming Yuan, A characteristic set method for ordinary difference polynomial systems, Journal of Symbolic Computation, v.44 n.3, p.242-260, March, 2009
	X. S. Gao , J. Van der Hoeven , C. M. Yuan , G. L. Zhang, Characteristic set method for differential-difference polynomial systems, Journal of Symbolic Computation, v.44 n.9, p.1137-1163, September, 2009
	Raouf Dridi , Michel Petitot, New classification techniques for ordinary differential equations, Journal of Symbolic Computation, v.44 n.7, p.836-851, July, 2009