Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Xia, Bican
Yang, Lu

dblp
dblp

Not MPG Author(s):

Yang, Lu

BibTeX cite key*:

XiaYang02

Title

Title*:

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Journal

Journal Title*:

Journal of Symbolic Computation

Journal's URL:

http://www.academicpress.com/jsc

Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Academic Press

Publisher's URL:

http://www.academicpress.com/

Publisher's
Address:

Orlando, USA

ISSN:


Vol, No, pp, Date

Volume*:

34

Number:

5

Publishing Date:

November 2002

Pages*:

461-477

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:


URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

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


BibTeX Entry:

@ARTICLE{XiaYang02,
AUTHOR = {Xia, Bican and Yang, Lu},
TITLE = {An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Academic Press},
YEAR = {2002},
NUMBER = {5},
VOLUME = {34},
PAGES = {461--477},
ADDRESS = {Orlando, USA},
MONTH = {November},
}


Entry last modified by Christine Kiesel, 03/12/2010
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)
Christine Kiesel
Created
11/27/2002 10:18:34 AM
Revision
1.
0.


Editor
Christine Kiesel
Christine Kiesel


Edit Date
01.09.2003 17:11:41
27.11.2002 10:35:10


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section