ries 1.0.0

Find algebraic equations given their solution - Rust implementation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

cff-version: 1.2.0
message: "If you use ries-rs in your research, please cite it as below."
title: "ries-rs"
version: 1.0.0
date-released: 2026-03-14
url: "https://github.com/maxwellsantoro/ries-rs"
authors:
  - given-names: RIES
    family-names: Contributors
repository-code: "https://github.com/maxwellsantoro/ries-rs"
license: MIT
keywords:
  - inverse-symbolic-calculator
  - constant-recognition
  - mathematical-software
  - equation-solver
  - algebraic-equations
  - numerical-methods
abstract: |
  ries-rs is a Rust implementation of Robert Munafo's RIES (RILYBOT Inverse
  Equation Solver) program. Given a numeric target value, it searches for
  algebraic equations that have the target as a solution. Features include
  parallel search, automatic differentiation for Newton-Raphson refinement,
  user-defined constants and functions, multiple output formats, and
  reproducible deterministic mode for research applications.
references:
  - type: software
    title: "RIES: Find Algebraic Equations, Given Their Solution"
    authors:
      - family-names: Munafo
        given-names: Robert
    url: "https://mrob.com/pub/ries/"
  - type: article
    title: "Computing with No Machine Constants, Only Constructive Axioms"
    authors:
      - family-names: Stoutemyer
        given-names: David R.
    year: 2024
    journal: "arXiv preprint arXiv:2402.03304"