English
Related papers

Related papers: A Novel Formula for Solving Quadratic Equations ov…

200 papers

Let $\A_0, \A_1, \ldots, \A_n$ be given square matrices of size $m$ with rational coefficients. The paper focuses on the exact computation of one point in each connected component of the real determinantal variety $\{\X \in\RR^n \: :\:…

Symbolic Computation · Computer Science 2014-12-19 Didier Henrion , Simone Naldi , Mohab Safey El Din

We study real quadratic fields $\mathbb{Q}(\sqrt{D})$ such that, for a given rational integer $m$, all $m$-multiples of totally positive integers are sums of squares. We prove quite sharp necessary and sufficient conditions for this to…

Number Theory · Mathematics 2022-10-18 Martin Raška

This paper addresses the numerical solution of the matrix square root problem. Two fixed point iterations are proposed by rearranging the nonlinear matrix equation $A - X^2 = 0$ and incorporating a positive scaling parameter. The proposals…

Numerical Analysis · Mathematics 2020-02-21 Harry F. Oviedo , Hugo J. Lara , Oscar S. Dalmau

In this paper, we study the complexity of solving generic over-determined bilinear systems over a finite field $\mathbb{F}$. Given a generic bilinear sequence $B \in \mathbb{F}[\mathbf{x},\mathbf{y}]$, with respect to a partition of…

Symbolic Computation · Computer Science 2020-06-18 John B. Baena , Daniel Cabarcas , Javier Verbel

A standard quadratic program is an optimization problem that consists of minimizing a (nonconvex) quadratic form over the unit simplex. We focus on reformulating a standard quadratic program as a mixed integer linear programming problem. We…

Optimization and Control · Mathematics 2018-10-05 Jacek Gondzio , E. Alper Yildirim

There are four division algebras over $\mathbb{R}$, namely real numbers, complex numbers, quaternions, and octonions. Lack of commutativity and associativity make it difficult to investigate algebraic and geometric properties of octonions.…

General Mathematics · Mathematics 2021-01-01 T. Kalpa Madhawa

Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…

Mathematical Physics · Physics 2025-09-30 Derek Courchesne , Sébastien Tremblay

We give an algorithm for computing all roots of polynomials over a univariate power series ring over an exact field $\mathbb{K}$. More precisely, given a precision $d$, and a polynomial $Q$ whose coefficients are power series in $x$, the…

Symbolic Computation · Computer Science 2017-05-31 Vincent Neiger , Johan Rosenkilde , Eric Schost

Solving a quadratic equation $P(x)=ax^2+bx+c=0$ with real coefficients is known to middle school students. Solving the equation over the quaternions is not straightforward. Huang and So \cite{Huang} give a complete set of formulas, breaking…

Numerical Analysis · Computer Science 2014-09-09 Fedor Andreev , Bahman Kalantari

Quadratic Unconstrained Binary Optimization (QUBO) is a broad class of optimization problems with many practical applications. To solve its hard instances in an exact way, known classical algorithms require exponential time and several…

Quantum Physics · Physics 2021-01-21 Gian Giacomo Guerreschi

Normal basis is used in many applications because of the efficiency of the implementation. However, most space complexity reduction techniques for binary field multiplier are applicable for only optimal normal basis or Gaussian normal basis…

Hardware Architecture · Computer Science 2025-08-12 Kittiphon Phalakarn , Athasit Surarerks

Solving systems of m multivariate quadratic equations in n variables (MQ-problem) over finite fields is NP-hard. The security of many cryptographic systems is based on this problem. Up to now, the best algorithm for solving the underdefined…

Cryptography and Security · Computer Science 2015-07-15 Heliang Huang , Wansu Bao

We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…

This work formalizes efficient Fast Fourier-based multiplication algorithms for polynomials in quotient rings such as $\mathbb{Z}_{m}[x]/\left<x^{n}-a\right>$, with $n$ a power of 2 and $m$ a non necessarily prime integer. We also present a…

Discrete Mathematics · Computer Science 2023-04-19 Ramiro Martínez , Paz Morillo

We are interested in finding a solution to the tensor complementarity problem with a strong M-tensor, which we call the M-tensor complementarity problem. We propose a lower dimensional linear equation approach to solve that problem. At each…

Optimization and Control · Mathematics 2020-07-28 Dong-Hui Li , Cui-Dan Chen , Hong-Bo Guan

We set new speed records for multiplying long polynomials over finite fields of characteristic two. Our multiplication algorithm is based on an additive FFT (Fast Fourier Transform) by Lin, Chung, and Huang in 2014 comparing to previously…

Symbolic Computation · Computer Science 2018-01-08 Ming-Shing Chen , Chen-Mou Cheng , Po-Chun Kuo , Wen-Ding Li , Bo-Yin Yang

Everybody knows from school how to solve a quadratic equation of the form $x^2-px+q=0$ graphically. But this method can become tedious if several equations ought to be solved, as for each pair $(p,q)$ a new parabola has to be drawn.…

History and Overview · Mathematics 2020-12-15 Michael Schmitz , André Streicher

The main goal of this article is to study the existence of a unique positive definite common solution to a pair of matrix equations of the form \begin{eqnarray*} X^r=Q_1 + \displaystyle \sum_{i=1}^{m} {A_i}^*F(X)A_i \mbox{ and } X^s=Q_2 +…

Functional Analysis · Mathematics 2020-06-22 Hiranmoy Garai , Lakshmi Kanta Dey , Wutiphol Sintunavarat , Sumit Som , Sayandeepa Raha

It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of…

Number Theory · Mathematics 2016-04-25 Michele Elia , Federico Pintore

Let $m$ be any integer $\geq 3$. We consider the polynomial equation $$X^n + a_{n-1}\cdot X^{n-1} + \dots + a_1 \cdot X + a_0 \cdot I = O,$$ over $(m \times m)$-matrices $X$ with the real entries, where $I$ is the identity matrix, $O$ is…

Rings and Algebras · Mathematics 2025-07-10 Vitalij A. Chatyrko , Alexandre Karassev