DeepAI AI Chat
Log In Sign Up

The NumericalCertification package in Macaulay2

08/02/2022
by   Kisun Lee, et al.
University of California, San Diego
0

The package implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale's α-theory and Krawczyk method. For a singular solution, we implement soft verification using the iterative deflation method. We demonstrate the functionalities of the package focusing on interaction with current numerical solvers in .

READ FULL TEXT

page 1

page 2

page 3

page 4

06/04/2020

Decomposable sparse polynomial systems

The Macaulay2 package DecomposableSparseSystems implements methods for s...
02/11/2021

The vote Package: Single Transferable Vote and Other Electoral Systems in R

We describe the vote package in R, which implements the plurality (or fi...
10/10/2016

Numerical Implicitization for Macaulay2

We present the Macaulay2 package NumericalImplicitization, which allows ...
06/19/2021

Fasano-Franceschini Test: an Implementation of a 2-Dimensional Kolmogorov-Smirnov test in R

The univariate Kolmogorov-Smirnov (KS) test is a non-parametric statisti...
10/28/2019

qFunctions – A Mathematica package for q-series and partition theory applications

We describe the qFunctions Mathematica package for q-series and partitio...
02/23/2018

ZpL: a p-adic precision package

We present a new package ZpL for the mathematical software system SM. It...
10/30/2019

NESSi: The Non-Equilibrium Systems Simulation package

The nonequilibrium dynamics of correlated many-particle systems is of in...