On irreducible components of real exponential hypersurfaces
- Submitting institution
-
The University of Bath
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 157285343
- Type
- D - Journal article
- DOI
-
10.1007/s40598-017-0073-y
- Title of journal
- Arnold Mathematical Journal
- Article number
- -
- First page
- 423
- Volume
- 3
- Issue
- -
- ISSN
- 2199-6792
- Open access status
- Compliant
- Month of publication
- August
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- In computer algebra, a classical problem is polynomial factorization. Its far-reaching generalization is the problem of computing irreducible components of an algebraic set over an algebraically closed or over a real closed field. This paper extends the study of irreducible components to exponential-algebraic sets over real algebraic extensions of rationals. Previously, this area was studied mainly from geometric or model-theoretic rather than algebraic point of view. We start with establishing some structural properties of irreducible components of codimension 1, which hold under Schanuel’s conjecture over the reals. The knowledge of this structure clears the way to computing of irreducible components.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -