Related papers: Solving the Gibbs Problem with Algebraic Projectiv…
A short review will be made of elliptic integrals, widely applied in GPS (Global Positioning System) communications (accounting for General Relativity Theory-effects), cosmology, Black hole physics and celestial mechanics. Then a novel…
We present a new extensive analysis of the old problem of finding a satisfactory calibration of the relation between the geometric albedo and some measurable polarization properties of the asteroids. To achieve our goals, we use all…
We construct a highly-symmetric periodic orbit of six bodies in three dimensions. In this orbit, binary collisions occur at the origin in a regular periodic fashion, rotating between pairs of bodies located on the coordinate axes.…
We present a simplified solution to orbit determination of a binary system from astrometric observations. An exact solution was found by Asada, Akasaka and Kasai by assuming no observational errors. We extend the solution considering…
A variational principle is applied to 4D Euclidean space provided with a tensor refractive index, defining what can be seen as 4-dimensional optics (4DO). The geometry of such space is analysed, making no physical assumptions of any kind.…
The transition from a classical to quantum theory is investigated within the context of orthogonal and symplectic Clifford algebras, first for particles, and then for fields. It is shown that the generators of Clifford algebras have the…
Many fundamental questions in theoretical computer science are naturally expressed as special cases of the following problem: Let $G$ be a complex reductive group, let $V$ be a $G$-module, and let $v,w$ be elements of $V$. Determine if $w$…
We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite…
Timelike geodesics on a hyperplane orthogonal to the symmetry axis of the G\"odel spacetime appear to be elliptic-like if standard coordinates naturally adapted to the cylindrical symmetry are used. The orbit can then be suitably described…
The three-body problem, which describes three masses interacting through Newtonian gravity without any restrictions imposed on the initial positions and velocities of these masses, has attracted the attention of many scientists for more…
Since the discovery of the figure-8 orbit for the three-body problem [Moore 1993] a large number of periodic orbits of the n-body problem with equal masses and beautiful symmetries have been discovered. However, most of those that have…
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple…
Geometric distortion (GD) critically constrains the precision of astrometry. Using well-established methods to correct GD requires calibration observations, which can only be obtained using a special dithering strategy during the…
Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…
We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the…
When a group acts on a set, it naturally partitions it into orbits, giving rise to orbit problems. These are natural algorithmic problems, as symmetries are central in numerous questions and structures in physics, mathematics, computer…
The Lambert problem is to determine the gravitational orbit between two points that has a specified time of flight, allowing the second point to be a moving target such as a satellite. After a review of gravitational orbits, a solution of…
We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines…
For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and…
A combination $\mathbf{a}+\mathrm{i}\mathbf{b}$ where ${\mathrm i}^2=-1$ and $\mathbf{a}, \, \mathbf{b}$ are real vectors is called a bivector. Gibbs developed a theory of bivectors, in which he associated an ellipse with each bivector. He…