Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

El Kahoui, M'hammed

dblp

Not MPG Author(s):

Weber, Andreas

BibTeX cite key*:

ElKahoui2000

Title

Title*:

Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Journal

Journal Title*:

Journal of Symbolic Computation

Journal's URL:

http://www.elsevier.com/wps/find/journaldescription.cws_home/622902/description#description

Download URL
for the article:

http://www.sciencedirect.com/science?_ob=IssueURL&_tockey=%23TOC%236927%232000%23999699997%23294181%23FLP%23Volume_30,_Issue_2,_Pages_129-237_(August_2000)&_auth=y&view=c&_acct=C000004638&_version=1&_urlVersion=0&_userid=43521&md5=eed1fda034ba5a240f50d550d711ee9c

Language:

English

Publisher

Publisher's
Name:

Elsevier

Publisher's URL:

http://www.elsevier.com/wps/find/homepage.cws_home

Publisher's
Address:


ISSN:

0747-7171

Vol, No, pp, Date

Volume*:

30

Number:

2

Publishing Date:

2000

Pages*:

161-179

Number of
VG Pages:

19

Page Start:

161

Page End:

179

Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

In this paper we give a semi-algebraic description of Hopf bifurcation fixed points for
a given parameterized polynomial vector field. The description is carried out by use of
the Hurwitz determinants, and produces a first-order formula which is transformed into
a quantifier free formula by use of usual quantifier elimination algorithms. We apply
techniques from the theory of sub-resultant sequences and of Gr¨obner bases to come up
with efficient reductions, which lead to quantifier elimination questions that can often
be handled by existing quantifier elimination packages.
We could implement the algorithms for the conditions on Hopf bifurcations by combining
the computer algebra system Maple with packages for quantifier elimination using
a Java based component architecture recently developed by the second author. In addition
to some textbook examples we applied our software system to an example discussed
in a recent research paper.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Intranet

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Algorithms and Complexity Group

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort


BibTeX Entry:

@ARTICLE{ElKahoui2000,
AUTHOR = {El Kahoui, M'hammed},
TITLE = {Deciding {H}opf bifurcations by quantifier elimination in a software-component architecture},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Elsevier},
YEAR = {2000},
NUMBER = {2},
VOLUME = {30},
PAGES = {161--179},
ISBN = {0747-7171},
}


Entry last modified by Christine Kiesel, 05/30/2005
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
M'hammed El Kahoui
Created
02/25/2005 11:01:20 AM
Revisions
2.
1.
0.

Editor(s)
Christine Kiesel
M'hammed El Kahoui
M'hammed El Kahoui

Edit Dates
30.05.2005 16:25:29
02/25/2005 02:34:30 PM
02/25/2005 11:01:20 AM