Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jverzani/realpolynomialroots.jl


https://github.com/jverzani/realpolynomialroots.jl

Last synced: 18 days ago
JSON representation

Awesome Lists containing this project

README

        

# RealPolynomialRoots

[![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://jverzani.github.io/RealPolynomialRoots.jl/stable)
[![Dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://jverzani.github.io/RealPolynomialRoots.jl/dev)
[![Build Status](https://github.com/jverzani/RealPolynomialRoots.jl/workflows/CI/badge.svg)](https://github.com/jverzani/RealPolynomialRoots.jl/actions)
[![codecov](https://codecov.io/gh/jverzani/RealPolynomialRoots.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/jverzani/RealPolynomialRoots.jl)

A package to find isolating intervals for the real roots of a square free polynomial.

The algorithm used is based on:

*Computing Real Roots of Real Polynomials ... and now For Real!*
by Alexander Kobel, Fabrice Rouillier, Michael Sagraloff
[arXiv](1605.00410) [DOI](https://doi.org/10.1145/2930889.2930937)

More detail on the algorithm is found in:

Computing real roots of real polynomials
Michael Sagraloff, Kurt Mehlhorn
[DOI](https://doi.org/10.1016/j.jsc.2015.03.004)