BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Gabriela Jeronimo

Gabriela Jeronimo contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.ACSymbolic ComputationComputational ComplexityComputational GeometryData Structures and Algorithmsmath.NAmath.OCNumerical Analysis

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2026arXiv

Sparse systems and algorithmic equidimensional decomposition

We present a new probabilistic algorithm that characterizes the equidimensional components of the affine algebraic variety defined by an arbitrary sparse polynomial system with prescribed supports. For each equidimensional component, the algorithm computes a witness set, namely a finite set obtained by intersecting the component with a generic linear variety of complementary dimension. The complexity of the algorithm is polynomial in combinatorial invariants associated to the supports of the polynomials involved.

0 citations0 reviewsNo code linkedOpen access
preprint2026arXiv

Variable Projection Methods for Solving Regularized Separable Inverse Problems with Applications to Semi-Blind Image Deblurring

Separable nonlinear least squares problems appear in many inverse problems, including semi-blind image deblurring. The variable projection (VarPro) method provides an efficient approach for solving such problems by eliminating linear variables and reducing the problem to a smaller, nonlinear one. In this work, we extend VarPro to solve minimization problems containing a differentiable regularization term on the nonlinear parameters, along with a general-form Tikhonov regularization term on the linear variables. Furthermore, we develop a quasi-Newton method for solving the resulting reduced problem, and provide a local convergence analysis under standard smoothness assumptions, establishing conditions for superlinear or quadratic convergence. For large-scale settings, we introduce an inexact LSQR-based variant and prove its local convergence despite inner-solve and Hessian approximations. Numerical experiments on semi-blind deblurring show that parameter regularization prevents degenerate no-blur solutions and that the proposed methods achieve accurate reconstructions, with the inexact variant offering a favorable accuracy-cost tradeoff consistent with the theory.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Rational certificates of non-negativity on semialgebraic subsets of cylinders

Let $g_1,\dots, g_s \in \mathbb{R}[X_1,\dots, X_n,Y]$ and $S = \{(\bar{x},y)\in \mathbb{R}^{n+1} \mid g_1(\bar{x},y) \ge 0, \dots, g_s(\bar{x}, y) \ge 0\}$ be a non-empty, possibly unbounded, subset of a cylinder in $\mathbb{R}^{n+1}$. Let $f \in \mathbb{R}[X_1, \dots, X_n, Y]$ be a polynomial which is positive on $S$. We prove that, under certain additional assumptions, for any non-constant polynomial $q \in \mathbb{R}[Y]$ which is positive on $\mathbb{R}$, there is a certificate of the non-negativity of $f$ on $S$ given by a rational function having as numerator a polynomial in the quadratic module generated by $g_1, \dots, g_s$ and as denominator a power of $q$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Effective Differential Nullstellensatz for Ordinary DAE Systems with Constant Coefficients

We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants $K$ of characteristic $0$. Let $\vec{x}$ be a set of $n$ differential variables, $\vec{f}$ a finite family of differential polynomials in the ring $K\{\vec{x}\}$ and $f\in K\{\vec{x}\}$ another polynomial which vanishes at every solution of the differential equation system $\vec{f}=0$ in any differentially closed field containing $K$. Let $d:=\max\{°(\vec{f}), °(f)\}$ and $ε:=\max\{2,{\rm{ord}}(\vec{f}), {\rm{ord}}(f)\}$. We show that $f^M$ belongs to the algebraic ideal generated by the successive derivatives of $\vec{f}$ of order at most $L = (nεd)^{2^{c(nε)^3}}$, for a suitable universal constant $c>0$, and $M=d^{n(ε+L+1)}$. The previously known bounds for $L$ and $M$ are not elementary recursive.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A probabilistic symbolic algorithm to find the minimum of a polynomial function on a basic closed semialgebraic set

We consider the problem of computing the minimum of a polynomial function g on a basic closed semialgebraic set E in R^n. We present a probabilistic symbolic algorithm to find a finite set of sample points of the subset E^{min} of E where the minimum of g is attained, provided that E^{min} is non-empty and has at least one compact connected component.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Effective Differential Lüroth's Theorem

This paper focuses on effectivity aspects of the Lüroth&#39;s theorem in differential fields. Let $\mathcal{F}$ be an ordinary differential field of characteristic 0 and $\mathcal{F}<u>$ be the field of differential rational functions generated by a single indeterminate $u$. Let be given non constant rational functions $v_1,...,v_n\in \mathcal{F}<u>$ generating a differential subfield $\mathcal{G}\subseteq \mathcal{F}<e u>$. The differential Lüroth&#39;s theorem proved by Ritt in 1932 states that there exists $v\in \mathcal G$ such that $\mathcal{G}= \mathcal{F}<v>$. Here we prove that the total order and degree of a generator $v$ are bounded by $\min_j \textrm{ord} (v_j)$ and $(nd(e+1)+1)^{2e+1}$, respectively, where $e:=\max_j \textrm{ord} (v_j)$ and $d:=\max_j \textrm{deg} (v_j)$. As a byproduct, our techniques enable us to compute a Lüroth generator by dealing with a polynomial ideal in a polynomial ring in finitely many variables.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Affine solution sets of sparse polynomial systems

This paper focuses on the equidimensional decomposition of affine varieties defined by sparse polynomial systems. For generic systems with fixed supports, we give combinatorial conditions for the existence of positive dimensional components which characterize the equidimensional decomposition of the associated affine variety. This result is applied to design an equidimensional decomposition algorithm for generic sparse systems. For arbitrary sparse systems of n polynomials in n variables with fixed supports, we obtain an upper bound for the degree of the affine variety defined and we present an algorithm which computes finite sets of points representing its equidimensional components.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the minimum of a polynomial function on a basic closed semialgebraic set and applications

We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is not zero. As an application, we obtain a lower bound for the separation of two disjoint connected components of basic closed semialgebraic sets, when at least one of them is compact.

0 citations0 reviewsNo code linkedOpen access