Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Maria Emilia Alonso"'
We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathematics. Although this isomorphism is implicitly accepted as obvious in
Externí odkaz:
http://arxiv.org/abs/2411.18186
Publikováno v:
Atti della Accademia Peloritana dei Pericolanti : Classe di Scienze Fisiche, Matematiche e Naturali, Vol 98, Iss 2, p A3 (2020)
The aim of this note is to discuss the following quite queer problem: to compute the Gröbner basis of an ideal I w.r.t. a term-ordering ≺ without knowing neither the ideal nor the term-ordering but only a degree bound of the required Gröbner basi
Externí odkaz:
https://doaj.org/article/aa21ae16900c4185ad168b206578f7b1
Publikováno v:
Journal of Algebra, Elsevier, 2021, 570, pp.587-594
Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {\~v}, the henselisation of the valuation v, by focussing on the re
Externí odkaz:
http://arxiv.org/abs/2008.12502
Publikováno v:
Bulletin of the London Mathematical Society. 50:649-662
Gabrielov's famous example for the failure of analytic Artin approximation in the presence of nested subring conditions is shown to be due to a growth phenomenon in standard basis computations for echelons, a generalization of the concept of ideals i
Publikováno v:
Foundations of Computational Mathematics. 18:789-833
The division algorithm for ideals of algebraic power series satisfying Hironaka’s box condition is shown to be finite when expressed suitably in terms of the defining polynomial codes of the series. In particular, the codes of the reduced standard
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be interpreted as a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf880a12c4833990a37b4c607dbb6e59
http://arxiv.org/abs/1602.00597
http://arxiv.org/abs/1602.00597
Publikováno v:
Mathematical Logic Quarterly. 54:253-271
We give an elementary theory of Henselian local rings and construct the Henselisation of a local ring. All our theorems have an algorithmic content. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
Publikováno v:
Applicable Algebra in Engineering, Communication and Computing. 17:409-451
We present some interesting computational applications of Macaulay’s notion of inverse systems and Noether equations. In particular, we discuss an algorithm by Macualay which computes the forgotten notion (introduced by Emmy Noether) of reduced irr
Publikováno v:
Communications in Algebra. 31:783-818
Duality was introduced in Computer Algebra in 1982 by Moller and since that has been widely used. We give a survey of Moller algorithm and its applications, presenting a new one to the computation of canonical modules. “Its dual application” allo
Autor:
Maria-Emilia Alonso, Tomas Recio
Publikováno v:
Lectures in Real Geometry
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e98b181d601223830825e0b08df83e76
https://doi.org/10.1515/9783110811117.261
https://doi.org/10.1515/9783110811117.261