Results 1 to 10 of about 519,259 (281)
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +2 more sources
From combinatorial optimization to real algebraic geometry and back
Croatian Operational Research Review, 2014 In this paper, we explain the relations between combinatorial optimization and real algebraic geometry with a special focus to the quadratic assignment problem.
Janez Povh
doaj +3 more sources
An analytical approach to bistable biological circuit discrimination using real algebraic geometry. [PDF]
J R Soc Interface, 2015 Siegal-Gaskins D +3 more
europepmc +3 more sources
Mathematics, 2021 Recently developed GeoGebra tools for the automated deduction and discovery of geometric statements combine in a unique way computational (real and complex) algebraic geometry algorithms and graphic features for the introduction and visualization of ...
Tomás Recio +3 more
doaj +1 more source
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Nondeterministic polynomial-time Blum-Shub-Smale Machines over the reals give rise to a discrete complexity class between NP and PSPACE. Several problems, mostly from real algebraic geometry / polynomial systems, have been shown complete (under many-one ...
Christian Herrmann +2 more
doaj +1 more source
Point-free Construction of Real Exponentiation [PDF]
Logical Methods in Computer Science, 2022 We define a point-free construction of real exponentiation and logarithms, i.e.\ we construct the maps $\exp\colon (0, \infty)\times \mathbb{R} \rightarrow \!(0,\infty),\, (x, \zeta) \mapsto x^\zeta$ and $\log\colon (1,\infty)\times (0, \infty ...
Ming Ng, Steven Vickers
doaj +1 more source
Quantum correlations are weaved by the spinors of the Euclidean primitives [PDF]
Royal Society Open Science, 2018 The exceptional Lie group E8 plays a prominent role in both mathematics and theoretical physics. It is the largest symmetry group associated with the most general possible normed division algebra, namely, that of the non-associative real octonions, which—
Joy Christian
doaj +1 more source
Dynamic behavior of earth dams under different kinematic impacts [PDF]
E3S Web of Conferences, 2023 The paper provides a detailed analysis of the current state of the problem. A mathematical model is presented to determine the dynamic behavior of earth dams, considering the viscoelastic properties of soil, using the hereditary Boltzmann-Volterra theory
Mirsaidov M.M., Toshmatov E.S.
doaj +1 more source
The Non-Tightness of a Convex Relaxation to Rotation Recovery
Sensors, 2021 We study the Perspective-n-Point (PNP) problem, which is fundamental in 3D vision, for the recovery of camera translation and rotation. A common solution applies polynomial sum-of-squares (SOS) relaxation techniques via semidefinite programming. Our main
Yuval Alfassi +2 more
doaj +1 more source
The Hodge conjecture: The complications of understanding the shape of geometric spaces
Mètode Science Studies Journal: Annual Review, 2018 The Hodge conjecture is one of the seven millennium problems, and is framed within differential geometry and algebraic geometry. It was proposed by William Hodge in 1950 and is currently a stimulus for the development of several theories based on ...
Vicente Muñoz Velázquez
doaj +1 more source