BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Henri Lombardi

Henri Lombardi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGmath.LO

Catalog footprint

What is connected

11works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2024arXiv

Anneaux à diviseurs et anneaux de Krull (une approche constructive)

We give give an elementary and constructive version of the theory of "Prüfer v-Multiplication Domains" (which we call "anneaux à diviseurs" in the paper) and Krull Domains. The main results of these theories are revisited from a constructive point of view, following the Bishop style, and without assuming properties of complete factorizations. Nous présentons dans cet article une approche constructive, dans le style de Bishop, de la théorie des diviseurs et des anneaux de Krull. Nous accordons une place centrale aux "anneaux à diviseurs," appelés PvMD dans la littérature anglaise. Les résultats classiques sont obtenus comme résultats d'algorithmes explicites sans faire appel aux hypothèses de factorisation complète.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Construction du hensélisé d'un corps valué

We give an explicit construction of the henselization of a valued field, with a constructive proof. It is analogous to the construction of the real closure of a discrete ordered field. Nous donnons une construction explicite, et constructivement prouvée, du hensélisé d'un corps valué. Cette construction peut être considérée comme l'analogue, dans le cas valué, de la construction de la clôture rééelle d'un corps ordonné.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Dimension de Heitmann des treillis distributifs et des anneaux commutatifs

We study a notion of dimension which was introduced by R. Heitmann in his remarkable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these notions in the general framework of distributive lattices and spectral spaces. We obtain in this way constructive versions of important theorems in commutative algebra, with simpler proofs than the classical ones, and some new results.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case

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 recent result by de Felipe and Teissier referred to in the title. We give a new proof that simplifies the original one by using purely algebraic arguments. This proof is moreover constructive in the sense of Bishop and previous work of the authors, and allows us to obtain as a by-product a (slight) generalisation of the theorem by de Felipe and Teissier.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Virtual Roots of Real Polynomials

The fact that a real univariate polynomial misses some real roots is usually overcame by considering complex roots, but the price to pay for, is a complete lost of the sign structure that a set of real roots is endowed with (mutual position on the line, signs of the derivatives, etc...). In this paper we present real substitutes for these missing roots which keep sign properties and which extend of course the existing roots. Moreover these "virtual roots" are the values of semialgebraic continuous -- rather uniformly -- functions defined on the set of monic polynomials. We present some applications.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regular entailment relations

Inspired by the work of Lorenzen on the theory of preordered groups in the forties and fifties, we define regular entailment relations and show a crucial theorem for this structure. We also describe equivariant systems of ideals {à} la Lorenzen and show that the remarkable regularisation process invented by him yields a regular entailment relation. By providing constructive objects and arguments, we pursue Lorenzen's aim of "bringing to light the basic, pure concepts in their simple and transparent clarity"

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Local Bézout Theorem for Henselian rings

This paper gives an elementary proof of an improved version of the algebraic Local Bézout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the theorem. Given a system of $n$ polynomials in $n$ indeterminates with coefficients in a local normal domain $(A, m,k)$ with an algebraically closed quotient field, which residually defines an isolated point in $k^n$ of multiplicity $r$, we prove that there are finitely many zeroes of the system above the residual zero (i.e., with coordinates in $m$), and the sum of their multiplicities is $r$. Our proof is based on the border basis technique of computational algebra. Here we state and prove an {\em algebraic version} of this theorem in the setting of arbitrary Henselian rings and $m$-adic topology. We are somehow inspired by Arnold, exploiting an abstract version of Weierstrass division (in a Henselian ring) and we introduce also an abstract version of which he called the "multilocal ring". Roughly speaking we consider a finitely presented $A$-algebra, where $(A, m, k)$ is a local ring such that the special point is a $k$-algebra with an isolated zero of multiplicity $r$ and we prove that the "multilocal ring" determined by this point is a free $A$-module of rank $r$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Méthodes Matricielles Introduction à la Complexité Algébrique

The main purpose of this book is to propose an introduction to the modern tools of algebraic complexity. To remain as simple as possible while providing meaningful examples, we chose to focus on effective linear algebra; this is certainly one of the best possible choices to give an idea of the main problems in algebraic complexity. The contents of the book are the following: classical results of linear algebra and basic algorithms in linear algebra, straight-line programs as a model of computation, with an emphasis on Strassen's method known as "elimination of divisions", a discussion on various notions of complexity, a presentation of the general algorithmic strategy "divide and conquer", a first important example: the fast multiplication of polynomials, the very heart of the book: the fast multiplication of matrices, with a discussion of derived fast algorithms for various problems of linear algebra. The particular case of the computation of the determinant is then discussed, and the last chapter deals with the difficult computation of the permanent (Valiant's conjecture). This book gives an introduction to a fascinating subject at a reasonable level. . . for French-speaking people.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Calcul matriciel généralisé sur les domaines de Prüfer

In this paper, we first present an algorithm for computing the Hermite normal form of pseudo-matrices over Prüfer domains. This algorithm allows us to provide constructive proofs of the main theoretical results on finitely presented modules over Prüfer domains and to discuss the resolution of linear systems. In some sense, we generalize the methodology developed by Henri Cohen for Dedekind domains. Finally, we present some results over Prüfer domains of dimension one about the Smith normal form.

0 citations0 reviewsNo code linkedOpen access