English
Related papers

Related papers: Solving Multivariate Polynomial Systems and Rectan…

200 papers

This article makes the key observation that when using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is not always the signs of those polynomials that are of paramount importance but…

Symbolic Computation · Computer Science 2013-07-10 Russell Bradford , James H. Davenport , Matthew England , Scott McCallum , David Wilson

Resampling algorithms are a useful approach to deal with imbalanced learning in multilabel scenarios. These methods have to deal with singularities in the multilabel data, such as the occurrence of frequent and infrequent labels in the same…

Machine Learning · Computer Science 2025-01-22 Antonio J. Rivera , Miguel A. Dávila , David Elizondo , María J. del Jesus , Francisco Charte

Multimodal Large Language Models (MLLMs) excel in solving text-based mathematical problems, but they struggle with mathematical diagrams since they are primarily trained on natural scene images. For humans, visual aids generally enhance…

Computation and Language · Computer Science 2024-09-26 Wenwen Zhuang , Xin Huang , Xiantao Zhang , Jin Zeng

MulAtoLEG (Multi-Atom Liouville Equation Generator) is an open-source Mathematica package for generating Liouville superoperators and Liouville equations, specialized for multilevel atomic systems comprising an arbitrary number of atoms.…

Routines for computation of Weber's parabolic cylinder functions and their derivatives are implemented in Matlab for both moderate and great values of the argument. Standard, real solutions are considered. Tables of values are included.

Mathematical Physics · Physics 2009-01-16 E. Cojocaru

In this research paper, structured bi-matrix variate, matrix quadratic equations are considered. Some lemmas related to determining the eigenvalues of unknown matrices are proved. Also, a method of determining the diagonalizabe unknown…

General Mathematics · Mathematics 2012-07-26 Garimella Rama Murthy

Despite data's crucial role in machine learning, most existing tools and research tend to focus on systems on top of existing data rather than how to interpret and manipulate data. In this paper, we propose DataLab, a unified data-oriented…

Machine Learning · Computer Science 2022-02-28 Yang Xiao , Jinlan Fu , Weizhe Yuan , Vijay Viswanathan , Zhoumianze Liu , Yixin Liu , Graham Neubig , Pengfei Liu

Pattern recognition and machine learning are becoming integral parts of algorithms in a wide range of applications. Different algorithms and approaches for machine learning include different tradeoffs between performance and computation, so…

Machine Learning · Statistics 2014-06-24 Kenneth D. Morton , Peter Torrione , Leslie Collins , Sam Keene

A suitable piece of software is presented to connect Abaqus, a sophisticated finite element package, with Matlab, the most comprehensive program for mathematical analysis. This interface between these well-known codes not only benefits from…

Mathematical Software · Computer Science 2017-11-29 George Papazafeiropoulos , Miguel Muñiz-Calvente , Emilio Martínez-Pañeda

In the past two decades, some major efforts have been made to reduce exact (e.g. integer, rational, polynomial) linear algebra problems to matrix multiplication in order to provide algorithms with optimal asymptotic complexity. To provide…

Symbolic Computation · Computer Science 2009-01-14 Jean-Guillaume Dumas , Pascal Giorgi , Clément Pernet

Loop invariants are properties of a program loop that hold before and after each iteration of the loop. They are often employed to verify programs and ensure that algorithms consistently produce correct results during execution.…

Symbolic Computation · Computer Science 2024-05-16 Erdenebayar Bayarmagnai , Fatemeh Mohammadi , Rémi Prébet

We present a MATLAB toolbox for five different classes of exponential integrators for solving (mildly) stiff ordinary differential equations or time-dependent partial differential equations. For the efficiency of such exponential…

Numerical Analysis · Mathematics 2014-04-18 Georg Jansing

Numerical algebraic geometry provides a number of efficient tools for approximating the solutions of polynomial systems. One such tool is the parameter homotopy, which can be an extremely efficient method to solve numerous polynomial…

Algebraic Geometry · Mathematics 2018-04-13 Daniel J. Bates , Danielle Brake , Matthew Niemerg

Linear programming (LP) is an extremely useful tool and has been successfully applied to solve various problems in a wide range of areas, including operations research, engineering, economics, or even more abstract mathematical areas such…

Data Structures and Algorithms · Computer Science 2020-03-19 Agniva Chowdhury , Palma London , Haim Avron , Petros Drineas

Multiple polylogarithms appear in analytic calculations of higher order corrections in quantum field theory. In this article we study the numerical evaluation of multiple polylogarithms. We provide algorithms, which allow the evaluation for…

High Energy Physics - Phenomenology · Physics 2009-11-10 Jens Vollinga , Stefan Weinzierl

This work aims to accelerate the convergence of proximal gradient methods used to solve regularized linear inverse problems. This is achieved by designing a polynomial-based preconditioner that targets the eigenvalue spectrum of the normal…

GlobalBioIm is an open-source MATLAB library for solving inverse problems. The library capitalizes on the strong commonalities between forward models to standardize the resolution of a wide range of imaging inverse problems. Endowed with an…

Mathematical Software · Computer Science 2023-09-12 Emmanuel Soubies , Ferréol Soulez , Michael T. McCann , Thanh-an Pham , Laurène Donati , Thomas Debarre , Daniel Sage , Michael Unser

Many nonlinear differential equations arising from practical problems may permit nontrivial multiple solutions relevant to applications, and these multiple solutions are helpful to deeply understand these practical problems and to improve…

Optimization and Control · Mathematics 2025-04-17 Lin Li , Yuheng Zhou , Pengcheng Xie , Huiyuan Li

In this article we show how to compute a matrix representation and the implicit equation by means of the method developed in [Botbol: arXiv:1007.3437], using the computer algebra system Macaulay2 \cite{M2}. As it is probably the most…

Algebraic Geometry · Mathematics 2010-07-22 Nicolas Botbol

A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a…

Systems and Control · Computer Science 2017-02-21 Lennon Chaves , Iury Bessa , Lucas Cordeiro , Daniel Kroening , Eddie Filho