README- ::to_reprRootError::to_repr
- TAssessment
- TCertificate
- TConstraint
- TConstraintModel
- TEvaluation
- ::to_reprExpr::to_repr
- TFeasibilityAssessment
- TFeasibilityRequest
- TFeasibleBox
- ::addInterval::add
- ::containsInterval::contains
- ::equalInterval::equal
- ::finiteInterval::finite
- ::intersectionInterval::intersection
- ::magnitudeInterval::magnitude
- ::midpointInterval::midpoint
- ::mulInterval::mul
- ::negInterval::neg
- ::not_equalInterval::not_equal
- ::powerInterval::power
- ::subInterval::sub
- ::to_reprInterval::to_repr
- ::widthInterval::width
- TOptions
- TPavingResult
- TRequest
- TRootBox
- TSolveResult
- TSystem
- TUnresolvedBox
- Vassess
- Vclassify_constraints
- Vdecode_feasibility_request
- Vdecode_request
- Vdefault_options
- Venclose
- Vinterval
- Vnext_down
- Vnext_up
- Vparse_polynomial
- Vpave
- Vsolve
- Vsolve_json
- Vvalidate_constraints
- Vvalidate_system
LMK-ai-nb/rootcover/cmd/demo does not have a README file
Source Files
Install
Download zipPolynomial root enclosures and bounded-observation feasible regions, with outward intervals, automatic Jacobians, Krawczyk contraction and explicit unresolved coverage.
intervalpolynomialroot-findingnumerical-analysisset-inversion
MIT
Updated 22 hours ago
14 downloads