Results 61 to 70 of about 40,102 (181)
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition [PDF]
, 2014 Cylindrical algebraic decompositions (CADs) are a key tool for solving problems in real algebraic geometry and beyond. We recently presented a new CAD algorithm combining two advances: truth-table invariance, making the CAD invariant with respect to the ...
Matthew England +11 more
core +1 more source
Evolution and Conceptual Insights into the Geometric Phase of Light: A Comprehensive Review
Advanced Photonics Research, Volume 7, Issue 6, June 2026.This review presents a unified account of the geometric phase of light, linking its fundamental principles to diverse manifestations in polarization, spatial, and vector modes. By connecting theoretical frameworks with key experimental realizations, it reveals a coherent physical picture that deepens understanding and stimulates new directions in ...
A. Srinivasa Rao
wiley +1 more source
Mathematical Methods in the Applied Sciences, Volume 49, Issue 9, Page 9814-9831, June 2026.ABSTRACT Nonlinear differential equations play a fundamental role in modeling complex physical phenomena across solid‐state physics, hydrodynamics, plasma physics, nonlinear optics, and biological systems. This study focuses on the Shynaray II‐A equation, a relatively less‐explored parametric nonlinear partial differential equation that describes ...
Aamir Farooq +4 more
wiley +1 more source
Implementing the cylindrical algebraic decomposition within the Coq system
, 2007 International audienceThe Coq system is a Curry-Howard based proof assistant. Therefore, it contains a full functional, strongly typed programming language, which can be used to enhance the system with powerful automation tools through the implementation
ASSIA MAHBOUBI, Mahboubi, Assia
core +1 more source
Optimal Control‐Based Generic Framework for Radiofrequency Pulse Design in MRI
NMR in Biomedicine, Volume 39, Issue 6, June 2026.This paper presents an open‐source Python‐based optimal control RF design framework, which can tackle various problems (short‐T2 selective excitation or B1‐robust excitation/inversion). It features three main methodological contributions: a specific cost is introduced to reduce pulse peak amplitude; consistent integration of various hard constraints on
Emilio Molina +2 more
wiley +1 more source
An Augmented Lagrangian Preconditioner for Navier–Stokes Equations With Runge–Kutta in Time
Numerical Linear Algebra with Applications, Volume 33, Issue 3, June 2026.ABSTRACT We consider an implicit Runge–Kutta method for the numerical time integration of the nonstationary incompressible Navier–Stokes equations. This yields a sequence of nonlinear problems to be solved for the stages of the Runge–Kutta method. The resulting nonlinear system of differential equations is discretized using a finite element method.
Santolo Leveque +2 more
wiley +1 more source
Input design using cylindrical algebraic decomposition
IEEE Conference on Decision and Control and European Control Conference, 2011 Experiment design for system identification has seen significant progress in the last decade. One contribution has been to derive convex relaxations of such problems. Consider that only a scalar function of the system parameters is of interest. A standard step in such a case is to first linearize this function with respect to the estimated parameters ...
Håkan Hjalmarsson, Freja Egebrand
openaire +3 more sources
Proceedings in Applied Mathematics and Mechanics, Volume 26, Issue 2, June 2026.ABSTRACT In this work, we present an anisotropic multi‐goal error control based on the dual weighted residual (DWR) method for time‐dependent convection–diffusion–reaction (CDR) equations. Motivated by former work, we combine multiple goals to single error functionals with weights chosen as algorithmic parameters.
Markus Bause +5 more
wiley +1 more source
Cohomogeneity‐one solitons in Laplacian flow: Local, smoothly‐closing and steady solitons
Journal of the London Mathematical Society, Volume 113, Issue 6, June 2026.Abstract We initiate a systematic study of cohomogeneity‐one solitons in Bryant's Laplacian flow of closed G2$\text{G}_2$‐structures on a 7‐manifold, motivated by the problem of understanding finite‐time singularities of that flow. Here, we focus on solitons with symmetry groups Sp(2)${\rm Sp}(2)$ and SU(3)${\rm SU}(3)$; in both cases, we prove the ...
Mark Haskins, Johannes Nordström
wiley +1 more source
A Successive Resultant Projection for Cylindrical Algebraic Decomposition
CoRR, 2014 6 ...
Yong Yao, Jia Xu, Lu Yang
openaire +2 more sources