English
Related papers

Related papers: Choosing a variable ordering for truth-table invar…

200 papers

In this work, we develop a fully implicit Hybrid High-Order algorithm for the Cahn-Hilliard problem in mixed form. The space discretization hinges on local reconstruction operators from hybrid polynomial unknowns at elements and faces. The…

Numerical Analysis · Mathematics 2016-07-01 Florent Chave , Daniele A. Di Pietro , Fabien Marche , Franck Pigeonneau

Many problems in Physics and Chemistry are formulated as the minimization of a functional. Therefore, methods for solving these problems typically require differentiating maps whose input and/or output are functions -- commonly referred to…

Mathematical Software · Computer Science 2024-06-25 Kangbo Li , Anil Damle

In in this paper we show how using D.A. it is found a simple change of variables (c.v.) that brings us to obtain differential equations simpler than the original one. In a pedagogical way (at least we try to do that) and in order to make…

Physics Education · Physics 2007-05-23 José Antonio Belinchón

We are concerned with the problem of decomposing the parameter space of a parametric system of polynomial equations, and possibly some polynomial inequality constraints, with respect to the number of real solutions that the system attains.…

Symbolic Computation · Computer Science 2022-02-11 AmirHosein Sadeghimanesh , Matthew England

We propose a conservative algorithm to test the geometrical validity of simplicial (triangles, tetrahedra), tensor product (quadrilaterals, hexahedra), and mixed (prisms) elements of arbitrary polynomial order as they deform over a…

Computational Geometry · Computer Science 2025-07-10 Federico Sichetti , Zizhou Huang , Marco Attene , Denis Zorin , Enrico Puppo , Daniele Panozzo

The Jordan Canonical Form of a matrix is highly sensitive to perturbations, and its numerical computation remains a formidable challenge. This paper presents a regularization theory that establishes a well-posed least squares problem of…

Numerical Analysis · Mathematics 2021-03-04 Zhonggang Zeng , Tien-Yien Li

A high-order quadrature algorithm is presented for computing integrals over curved surfaces and volumes whose geometry is implicitly defined by the level sets of (one or more) multivariate polynomials. The algorithm recasts the implicitly…

Numerical Analysis · Mathematics 2021-11-24 Robert I. Saye

Image recognition is a classic and common task in the computer vision field, which has been widely applied in the past decade. Most existing methods in literature aim to learn discriminative features from labeled images for classification,…

Computer Vision and Pattern Recognition · Computer Science 2023-09-26 Jiayin Sun , Hong Wang , Qiulei Dong

Chordal and factor-width decomposition methods for semidefinite programming and polynomial optimization have recently enabled the analysis and control of large-scale linear systems and medium-scale nonlinear systems. Chordal decomposition…

Optimization and Control · Mathematics 2021-11-23 Yang Zheng , Giovanni Fantuzzi , Antonis Papachristodoulou

Stable computational algorithms for the approximate solution of the Cauchy problem for nonstationary problems are based on implicit time approximations. Computational costs for boundary value problems for systems of coupled multidimensional…

Numerical Analysis · Mathematics 2024-03-28 P. N. Vabishchevich

Matrix decompositions are fundamental tools in the area of applied mathematics, statistical computing, and machine learning. In particular, low-rank matrix decompositions are vital, and widely used for data analysis, dimensionality…

Computation · Statistics 2019-11-28 N. Benjamin Erichson , Sergey Voronin , Steven L. Brunton , J. Nathan Kutz

Linear projection schemes like Proper Orthogonal Decomposition can efficiently reduce the dimensions of dynamical systems but are naturally limited, e.g., for convection-dominated problems. Nonlinear approaches have shown to outperform…

Dynamical Systems · Mathematics 2022-10-03 Peter Benner , Pawan Goyal , Jan Heiland , Igor Pontes

Geometric Deep Learning techniques have become a transformative force in the field of Computer-Aided Design (CAD), and have the potential to revolutionize how designers and engineers approach and enhance the design process. By harnessing…

Computational Geometry · Computer Science 2025-07-08 Negar Heidari , Alexandros Iosifidis

Quantum computing and modern tensor-based computing have a strong connection, which is especially demonstrated by simulating quantum computations with tensor networks. The other direction is less studied: quantum computing is not often…

Quantum Physics · Physics 2025-09-03 Valter Uotila

The Hadamard decomposition is a powerful technique for data analysis and matrix compression, which decomposes a given matrix into the element-wise product of two or more low-rank matrices. In this paper, we develop an efficient algorithm to…

Machine Learning · Computer Science 2025-04-23 Samuel Wertz , Arnaud Vandaele , Nicolas Gillis

Quantum computing (QC) has gained popularity due to its unique capabilities that are quite different from that of classical computers in terms of speed and methods of operations. This paper proposes hybrid models and methods that…

Quantum Physics · Physics 2019-11-12 Akshay Ajagekar , Travis Humble , Fengqi You

We consider the problem of identifying the signal shared between two one-dimensional target variables, in the presence of additional multivariate observations. Canonical Correlation Analysis (CCA)-based methods have traditionally been used…

Machine Learning · Computer Science 2023-06-28 Alexander Rakowski , Christoph Lippert

Many high-dimensional uncertainty quantification problems are solved by polynomial dimensional decomposition (PDD), which represents Fourier-like series expansion in terms of random orthonormal polynomials with increasing dimensions. This…

Numerical Analysis · Mathematics 2018-04-06 Sharif Rahman

This paper is devoted to the construction of order reduced method of fourth order problems. A framework is presented such that a problem on a high-regularity space can be deduced in a constructive way to an equivalent problem on three…

Numerical Analysis · Mathematics 2016-11-02 Shuo Zhang

Cubic invariants for two-dimensional degenerate Hamiltonian systems are considered by using variables of separation of the associated St\"ackel problems with quadratic integrals of motion. For the superintegrable St\"ackel systems the cubic…

Exactly Solvable and Integrable Systems · Physics 2009-10-31 A. V. Tsiganov