17 citations · 115 across the 43 of their papers we have counts for
28 papers · 1 filter
Projective Plane Subdivision Method For Initial Orbit Determination
Ruiqi Huang, Anton Leykin, Michela Mancini
Initial Orbit Determination (IOD) is the classical problem of estimating the orbit of a body in space without any presumed information about the orbit. The geometric formulation of…
State estimation of a moving frequency source from observations at multiple receivers
Michela Mancini, Anton Leykin, John A. Christian
The task of position and velocity estimation of a moving transmitter (with either a known or unknown frequency) is a common problem arising in many different application domains. B…
Effective Whitney Stratification of Real Algebraic Varieties
Martin Helmer, Anton Leykin, Vidit Nanda
We describe new algorithms to compute Whitney stratifications of real algebraic varieties. Using either conormal or polar techniques, these algorithms stratify a complexification o…
Isolating clusters of zeros of analytic systems using arbitrary-degree inflation
Michael Burr, Kisun Lee, Anton Leykin
Given a system of analytic functions and an approximation to a cluster of zeros, we wish to construct two regions containing the cluster and no other zeros of the system. The small…
Numerical Nonlinear Algebra
Daniel J. Bates, Paul Breiding, Tianran Chen +3
Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equation…
Smale's 6th problem for generic masses
Anders N. Jensen, Anton Leykin
We give a new method to attempt to prove that, for a given , there are finitely many equivalence classes of planar central configurations in the Newtonian -body problem for g…