Data

Tools

Indexes

Applications

Experiments

Open Source Science

radiipolynomial.jl

Library for computer-assisted proofs in dynamical systems

https://github.com/olivierhnt/radiipolynomial.jl

Science Score: 77.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 4 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: zenodo.org
  • ✓
    Committers with academic emails
    1 of 3 committers (33.3%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (7.7%) to scientific vocabulary

Keywords

computer-assisted-proofs dynamical-systems infinite-dimensions julia nonlinear-equations rigorous-numerics
Last synced: 6 months ago · JSON representation ·

Repository

Library for computer-assisted proofs in dynamical systems

Basic Info
Statistics
  • Stars: 22
  • Watchers: 1
  • Forks: 4
  • Open Issues: 2
  • Releases: 70
Topics
computer-assisted-proofs dynamical-systems infinite-dimensions julia nonlinear-equations rigorous-numerics
Created over 4 years ago · Last pushed 7 months ago
Metadata Files
Readme License Citation

README.md

RadiiPolynomial [![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://OlivierHnt.github.io/RadiiPolynomial.jl/stable) [![DOI](https://img.shields.io/badge/DOI-10.5281/zenodo.5705258-_?colorA=363a4f&colorB=f5a97f)](https://zenodo.org/doi/10.5281/zenodo.5705258) [![Build Status](https://github.com/OlivierHnt/RadiiPolynomial.jl/workflows/CI/badge.svg)](https://github.com/OlivierHnt/RadiiPolynomial.jl/actions/workflows/ci.yml)

RadiiPolynomial.jl is a Julia package for computer-assisted proofs in dynamical systems.

📚 Documentation

The official documentation is available online: https://OlivierHnt.github.io/RadiiPolynomial.jl/stable.

🛠️ Installation

The RadiiPolynomial.jl package requires to install Julia (v1.9 or above).

Then, start Julia and execute the following command in the REPL:

julia using Pkg; Pkg.add("RadiiPolynomial")

🎓 Citation

If you use the RadiiPolynomial library in your publication, research, teaching, or other activities, please use the BibTeX template CITATION.bib (more information).

Owner

  • Name: Olivier Hénot
  • Login: OlivierHnt
  • Kind: user

Citation (CITATION.bib) 

@software{RadiiPolynomial.jl,
  author = {Olivier Hénot},
  title  = {RadiiPolynomial.jl},
  url    = {https://github.com/OlivierHnt/RadiiPolynomial.jl},
  year   = {2021},
  doi    = {10.5281/zenodo.5705258}
}

GitHub Events

Total
  • Create event: 7
  • Commit comment event: 15
  • Release event: 8
  • Watch event: 3
  • Issue comment event: 8
  • Push event: 68
  • Pull request event: 2
  • Fork event: 1
Last Year
  • Create event: 7
  • Commit comment event: 15
  • Release event: 8
  • Watch event: 3
  • Issue comment event: 8
  • Push event: 68
  • Pull request event: 2
  • Fork event: 1

Committers

Last synced: 8 months ago

All Time
  • Total Commits: 447
  • Total Committers: 3
  • Avg Commits per committer: 149.0
  • Development Distribution Score (DDS): 0.105
Past Year
  • Commits: 83
  • Committers: 2
  • Avg Commits per committer: 41.5
  • Development Distribution Score (DDS): 0.012
Top Committers
Name Email Commits
OlivierHnt 3****t 400
Olivier o****t@m****a 46
MaximePayan 1****n 1
Committer Domains (Top 20 + Academic)
mail.mcgill.ca: 1

Issues and Pull Requests

Last synced: 7 months ago

All Time
  • Total issues: 1
  • Total pull requests: 5
  • Average time to close issues: less than a minute
  • Average time to close pull requests: about 1 month
  • Total issue authors: 1
  • Total pull request authors: 2
  • Average comments per issue: 69.0
  • Average comments per pull request: 0.2
  • Merged pull requests: 2
  • Bot issues: 0
  • Bot pull requests: 3
Past Year
  • Issues: 0
  • Pull requests: 2
  • Average time to close issues: N/A
  • Average time to close pull requests: 3 days
  • Issue authors: 0
  • Pull request authors: 1
  • Average comments per issue: 0
  • Average comments per pull request: 0.5
  • Merged pull requests: 1
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • JuliaTagBot (1)
Pull Request Authors
  • github-actions[bot] (3)
  • MaximePayan (3)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/ci.yml actions
  • actions/cache v1 composite
  • actions/checkout v2 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/CompatHelper.yml actions