Skip to main content

implicit_method_stability_ty

oxilean_std::numerical_analysis::functions

Function implicit_method_stability_ty 

Source 
pub fn implicit_method_stability_ty() -> Expr
Expand description

ImplicitMethodStability : (Real → Real → Real) → Prop An implicit method is A-stable for the given ODE.