Skip to main content
API REFERENCE/omnibias-core

omnibias.core.verified

0.5.0rc1Release candidatePython >=3.10Apache-2.0

Coefficient recurrences, activation contracts, jet algebra, and verified arithmetic shared by the numerical backends.

import omnibias.core.verified
Module contract & mathematical conventions

Verified (interval / Taylor-model) arithmetic backend for omnibias.

This subpackage lifts omnibias's *bit-stable* closed-form derivative tower into a *rigorous* one: every quantity is returned as a guaranteed ~omnibias.core.verified.interval.Interval enclosure produced by outward directed rounding. It is the dependency-free substrate the certified-evidence stack needs to replace float64 padding with theorem-grade bounds.

Layers

  • ~omnibias.core.verified.interval -- rigorous interval arithmetic.
  • ~omnibias.core.verified.transcend -- directed exp/tanh/sigmoid enclosures with optional mpmath; the libm fallback is conditional and refused in certificate mode.
  • ~omnibias.core.verified.clamped_biharmonic -- exact full Green-operator constants and a conditional rational contraction gate for a clamped cubic beam.
  • ~omnibias.core.verified.coeffs -- exact-integer tower coefficients + interval Horner.
  • ~omnibias.core.verified.sigma -- rigorous sigma^(k) tower enclosure.
  • ~omnibias.core.verified.jet -- verified directional jets.
  • ~omnibias.core.verified.taylor_model -- Taylor models (interval polynomial + rigorous remainder) for enclosing functions over a whole cell.
  • ~omnibias.core.verified.taylor_model_mv -- the multivariate generalisation: total-degree Taylor models over a box in R^n.

mpmath is an optional accelerator (pip install omnibias-core[verified]); the package imports and runs without it.

Shared formulas do not imply universal floating-point identity. Verify dtype, shape, derivative-order support, and the stated numerical assumptions for the path you use.

Module source ↗Source revision 9a2d73df0573Running reference examples →
affineModule ↗asymptotic_jetModule ↗bandedModule ↗clamped_biharmonicModule ↗coeffsModule ↗complex_intervalModule ↗complex_odeModule ↗complex_rootfindModule ↗conditioningModule ↗dfinite_continuationModule ↗eigModule ↗eig_operatorModule ↗enclosure_collapseModule ↗euler_maclaurinModule ↗fourierModule ↗frobeniusModule ↗ftcModule ↗hardy_lineModule ↗hermite_basisModule ↗intervalModule ↗interval_arrayModule ↗invariant_subspaceModule ↗jetModule ↗jet_flowModule ↗jet_mvModule ↗kantorovichModule ↗laguerre_basisModule ↗linalgModule ↗linalg_arrayModule ↗lineModule ↗lohnerModule ↗odeModule ↗pde_certificateModule ↗quadratureModule ↗radii_seriesModule ↗radii_spectralModule ↗rieszModule ↗rootfindModule ↗sampledModule ↗sequence_spaceModule ↗seriesModule ↗sigmaModule ↗spectralModule ↗sqgModule ↗taylor_modelModule ↗taylor_model_mvModule ↗tm_neuronModule ↗transcendModule ↗

Imports & aliases​

These names share a definition with another public module. Follow a name for its full contract, parameters, and examples.

Import from this moduleCanonical reference
AffineFormomnibias.core.verified.AffineForm
BandedLinearPartomnibias.core.verified.BandedLinearPart
Bilinearomnibias.core.verified.Bilinear
BlockOperatorGapCertificateomnibias.core.verified.BlockOperatorGapCertificate
BoundaryFaceomnibias.core.verified.BoundaryFace
CONTINUUM_PDE_CLAIM_KEYomnibias.core.verified.CONTINUUM_PDE_CLAIM_KEY
CRAMER_UNIFORM_BOUNDomnibias.core.verified.CRAMER_UNIFORM_BOUND
ClampedCubicContractionomnibias.core.verified.ClampedCubicContraction
Coeffomnibias.core.verified.Coeff
ComplexFnomnibias.core.verified.ComplexFn
ComplexIntervalomnibias.core.verified.ComplexInterval
ComplexLikeomnibias.core.verified.ComplexLike
ComplexNewtonResultomnibias.core.verified.ComplexNewtonResult
ComplexNewtonStatusomnibias.core.verified.ComplexNewtonStatus
ComplexTaylorSeriesomnibias.core.verified.ComplexTaylorSeries
ComplexVectorFieldomnibias.core.verified.ComplexVectorField
ConcentrationReportomnibias.core.verified.ConcentrationReport
DFiniteContinuationomnibias.core.verified.DFiniteContinuation
DerivOracleomnibias.core.verified.DerivOracle
E_IVomnibias.core.verified.E_IV
EigenvalueLowerBoundomnibias.core.verified.EigenvalueLowerBound
FINITE_RESIDUAL_CLAIMomnibias.core.verified.FINITE_RESIDUAL_CLAIM
GAUSS_LEGENDRE_MAX_Nomnibias.core.verified.GAUSS_LEGENDRE_MAX_N
HermiteExpansionomnibias.core.verified.HermiteExpansion
Inertiaomnibias.core.verified.Inertia
Intervalomnibias.core.verified.Interval
IntervalArrayomnibias.core.verified.IntervalArray
IntervalArrayLikeomnibias.core.verified.IntervalArrayLike
IntervalFnomnibias.core.verified.IntervalFn
IntervalLDLTomnibias.core.verified.IntervalLDLT
IntervalLikeomnibias.core.verified.IntervalLike
InvariantSubspaceCertificateomnibias.core.verified.InvariantSubspaceCertificate
JacobianEnclosureomnibias.core.verified.JacobianEnclosure
KantorovichAcceptomnibias.core.verified.KantorovichAccept
KrawczykCertificateomnibias.core.verified.KrawczykCertificate
LaguerreExpansionomnibias.core.verified.LaguerreExpansion
LehmannCertificateomnibias.core.verified.LehmannCertificate
LinearPDEomnibias.core.verified.LinearPDE
LohnerSetomnibias.core.verified.LohnerSet
MVJetomnibias.core.verified.MVJet
NKBoundsomnibias.core.verified.NKBounds
NuLikeomnibias.core.verified.NuLike
PINNErrorCertificateomnibias.core.verified.PINNErrorCertificate
PI_IVomnibias.core.verified.PI_IV
PerronGapCertificateomnibias.core.verified.PerronGapCertificate
QuadEstimateomnibias.core.verified.QuadEstimate
RadiiCertificateomnibias.core.verified.RadiiCertificate
RecommendedActionomnibias.core.verified.RecommendedAction
SerializedOperatoromnibias.core.verified.SerializedOperator
SeriesProblemomnibias.core.verified.SeriesProblem
SeriesRadiiResultomnibias.core.verified.SeriesRadiiResult
SeriesSymbolomnibias.core.verified.SeriesSymbol
SpectralGapCertificateomnibias.core.verified.SpectralGapCertificate
SpectralProblemomnibias.core.verified.SpectralProblem
SpectralRadiiResultomnibias.core.verified.SpectralRadiiResult
Symbolomnibias.core.verified.Symbol
SymmetricGapCertificateomnibias.core.verified.SymmetricGapCertificate
TaylorModelomnibias.core.verified.TaylorModel
TaylorModelMVomnibias.core.verified.TaylorModelMV
TaylorSeriesomnibias.core.verified.TaylorSeries
ValidatedFourierSeriesomnibias.core.verified.ValidatedFourierSeries
ValidatedSeriesomnibias.core.verified.ValidatedSeries
VectorFieldomnibias.core.verified.VectorField
Wavevectoromnibias.core.verified.Wavevector
WidthLawomnibias.core.verified.WidthLaw
advection_diffusionomnibias.core.verified.advection_diffusion
affine_jetomnibias.core.verified.affine_jet
antiderivative_jetomnibias.core.verified.antiderivative_jet
aposteriori_error_certificateomnibias.core.verified.aposteriori_error_certificate
atan_ivomnibias.core.verified.atan_iv
atan_pointomnibias.core.verified.atan_point
backend_nameomnibias.core.verified.backend_name
banded_row_sum_bound_nuomnibias.core.verified.banded_row_sum_bound_nu
banded_tail_inverse_boundomnibias.core.verified.banded_tail_inverse_bound
bernoulli_number_exactomnibias.core.verified.bernoulli_number_exact
bernoulli_polynomial_exactomnibias.core.verified.bernoulli_polynomial_exact
besseli_ivomnibias.core.verified.besseli_iv
besseli_pointomnibias.core.verified.besseli_point
birkhoff_contraction_ratioomnibias.core.verified.birkhoff_contraction_ratio
birkhoff_projective_diameteromnibias.core.verified.birkhoff_projective_diameter
bisection_bracketomnibias.core.verified.bisection_bracket
blobomnibias.core.verified.blob
blob_gradientomnibias.core.verified.blob_gradient
certificate_modeomnibias.core.verified.certificate_mode
certified_block_operator_gapomnibias.core.verified.certified_block_operator_gap
certified_boundary_residualomnibias.core.verified.certified_boundary_residual
certified_condition_numberomnibias.core.verified.certified_condition_number
certified_dampingomnibias.core.verified.certified_damping
certified_ftc_residualomnibias.core.verified.certified_ftc_residual
certified_geometric_series_sumomnibias.core.verified.certified_geometric_series_sum
certified_interior_residualomnibias.core.verified.certified_interior_residual
certified_invariant_subspaceomnibias.core.verified.certified_invariant_subspace
certified_max_eigenvalueomnibias.core.verified.certified_max_eigenvalue
certified_min_eigenvalueomnibias.core.verified.certified_min_eigenvalue
certified_partialsomnibias.core.verified.certified_partials
certified_partials_subdividedomnibias.core.verified.certified_partials_subdivided
certified_perron_spectral_gapomnibias.core.verified.certified_perron_spectral_gap
certified_ratio_series_sumomnibias.core.verified.certified_ratio_series_sum
certified_regularization_erroromnibias.core.verified.certified_regularization_error
certified_residual_boundomnibias.core.verified.certified_residual_bound
certified_sign_changeomnibias.core.verified.certified_sign_change
certified_spectral_gapomnibias.core.verified.certified_spectral_gap
certified_symmetric_spectral_gapomnibias.core.verified.certified_symmetric_spectral_gap
certify_zero_radiiomnibias.core.verified.certify_zero_radii
clamped_biharmonic_green_kernelomnibias.core.verified.clamped_biharmonic_green_kernel
clamped_biharmonic_inverse_normomnibias.core.verified.clamped_biharmonic_inverse_norm
clamped_cubic_contractionomnibias.core.verified.clamped_cubic_contraction
clear_libm_fallback_usedomnibias.core.verified.clear_libm_fallback_used
clenshaw_curtis_integralomnibias.core.verified.clenshaw_curtis_integral
collatz_wielandt_perron_boundsomnibias.core.verified.collatz_wielandt_perron_bounds
companion_matrixomnibias.core.verified.companion_matrix
compose_jetomnibias.core.verified.compose_jet
compose_jet_mvomnibias.core.verified.compose_jet_mv
conditioning_certificateomnibias.core.verified.conditioning_certificate
conjugate_poissonomnibias.core.verified.conjugate_poisson
conjugate_poisson_derivomnibias.core.verified.conjugate_poisson_deriv
conjugate_poisson_deriv_matrixomnibias.core.verified.conjugate_poisson_deriv_matrix
conjugate_poisson_matrixomnibias.core.verified.conjugate_poisson_matrix
constant_coefficient_bandomnibias.core.verified.constant_coefficient_band
constant_jacobianomnibias.core.verified.constant_jacobian
constant_symbolomnibias.core.verified.constant_symbol
constant_tail_inverse_boundomnibias.core.verified.constant_tail_inverse_bound
continue_dfiniteomnibias.core.verified.continue_dfinite
continue_dfinite_pathomnibias.core.verified.continue_dfinite_path
convolveomnibias.core.verified.convolve
cos_ivomnibias.core.verified.cos_iv
cos_matrixomnibias.core.verified.cos_matrix
cos_pointomnibias.core.verified.cos_point
cosh_ivomnibias.core.verified.cosh_iv
count_eigenvalues_belowomnibias.core.verified.count_eigenvalues_below
derivative_jetomnibias.core.verified.derivative_jet
diagnose_widthomnibias.core.verified.diagnose_width
digamma_ivomnibias.core.verified.digamma_iv
dotomnibias.core.verified.dot
ell1_nu_normomnibias.core.verified.ell1_nu_norm
erf_ivomnibias.core.verified.erf_iv
erf_pointomnibias.core.verified.erf_point
euler_maclaurin_quadratureomnibias.core.verified.euler_maclaurin_quadrature
euler_maclaurin_sumomnibias.core.verified.euler_maclaurin_sum
euler_number_exactomnibias.core.verified.euler_number_exact
evaluate_complex_polynomialomnibias.core.verified.evaluate_complex_polynomial
evaluate_residualomnibias.core.verified.evaluate_residual
evaluate_series_residualomnibias.core.verified.evaluate_series_residual
even_profileomnibias.core.verified.even_profile
even_profile_derivomnibias.core.verified.even_profile_deriv
even_profile_tail_constantomnibias.core.verified.even_profile_tail_constant
exp_ivomnibias.core.verified.exp_iv
finite_band_row_sum_boundomnibias.core.verified.finite_band_row_sum_bound
fourier_nu_normomnibias.core.verified.fourier_nu_norm
from_intervalsomnibias.core.verified.from_intervals
ftc_certificateomnibias.core.verified.ftc_certificate
gauss_cdf_ivomnibias.core.verified.gauss_cdf_iv
gauss_cdf_pointomnibias.core.verified.gauss_cdf_point
gauss_legendre_integralomnibias.core.verified.gauss_legendre_integral
gauss_legendre_nodesomnibias.core.verified.gauss_legendre_nodes
gaussian_weightomnibias.core.verified.gaussian_weight
generalized_bernoulli_exactomnibias.core.verified.generalized_bernoulli_exact
generalized_eigenvalue_enclosureomnibias.core.verified.generalized_eigenvalue_enclosure
geometric_band_row_sum_boundomnibias.core.verified.geometric_band_row_sum_bound
geometric_series_closed_formomnibias.core.verified.geometric_series_closed_form
geometric_tail_boundomnibias.core.verified.geometric_tail_bound
geometric_tail_enclosureomnibias.core.verified.geometric_tail_enclosure
hardy_angleomnibias.core.verified.hardy_angle
hardy_evenomnibias.core.verified.hardy_even
hardy_even_dalphaomnibias.core.verified.hardy_even_dalpha
hardy_even_derivomnibias.core.verified.hardy_even_deriv
hardy_even_deriv_matrixomnibias.core.verified.hardy_even_deriv_matrix
hardy_even_deriv_nomnibias.core.verified.hardy_even_deriv_n
hardy_even_deriv_n_ivomnibias.core.verified.hardy_even_deriv_n_iv
hardy_even_matrixomnibias.core.verified.hardy_even_matrix
hardy_even_profileomnibias.core.verified.hardy_even_profile
hardy_even_profile_derivomnibias.core.verified.hardy_even_profile_deriv
hardy_oddomnibias.core.verified.hardy_odd
hardy_odd_dalphaomnibias.core.verified.hardy_odd_dalpha
hardy_odd_derivomnibias.core.verified.hardy_odd_deriv
hardy_odd_deriv_matrixomnibias.core.verified.hardy_odd_deriv_matrix
hardy_odd_deriv_nomnibias.core.verified.hardy_odd_deriv_n
hardy_odd_deriv_n_ivomnibias.core.verified.hardy_odd_deriv_n_iv
hardy_odd_matrixomnibias.core.verified.hardy_odd_matrix
hardy_omega_velocity_atomomnibias.core.verified.hardy_omega_velocity_atom
hardy_omega_velocity_atom_ivomnibias.core.verified.hardy_omega_velocity_atom_iv
hardy_pairomnibias.core.verified.hardy_pair
hardy_radiusomnibias.core.verified.hardy_radius
hardy_tail_constantomnibias.core.verified.hardy_tail_constant
helmholtzomnibias.core.verified.helmholtz
hermite_coeffs_exactomnibias.core.verified.hermite_coeffs_exact
hermite_functionomnibias.core.verified.hermite_function
hermite_function_normalizedomnibias.core.verified.hermite_function_normalized
hermite_poly_coeffs_exactomnibias.core.verified.hermite_poly_coeffs_exact
hilbert_circulantomnibias.core.verified.hilbert_circulant
hilbert_even_profileomnibias.core.verified.hilbert_even_profile
hilbert_even_profile_derivomnibias.core.verified.hilbert_even_profile_deriv
hilbert_hardy_even_profileomnibias.core.verified.hilbert_hardy_even_profile
hilbert_hardy_even_profile_derivomnibias.core.verified.hilbert_hardy_even_profile_deriv
hilbert_of_conjugateomnibias.core.verified.hilbert_of_conjugate
hilbert_of_hardy_evenomnibias.core.verified.hilbert_of_hardy_even
hilbert_of_hardy_even_deriv_nomnibias.core.verified.hilbert_of_hardy_even_deriv_n
hilbert_of_hardy_oddomnibias.core.verified.hilbert_of_hardy_odd
hilbert_of_hardy_odd_deriv_nomnibias.core.verified.hilbert_of_hardy_odd_deriv_n
hilbert_of_poissonomnibias.core.verified.hilbert_of_poisson
hilbert_symbolomnibias.core.verified.hilbert_symbol
hilbert_tail_boundomnibias.core.verified.hilbert_tail_bound
hoeffding_enclosureomnibias.core.verified.hoeffding_enclosure
horner_intervalomnibias.core.verified.horner_interval
hullomnibias.core.verified.hull
identity_jetomnibias.core.verified.identity_jet
identity_matrixomnibias.core.verified.identity_matrix
inf_norm_matrixomnibias.core.verified.inf_norm_matrix
inf_norm_vectoromnibias.core.verified.inf_norm_vector
integrate_complex_ivpomnibias.core.verified.integrate_complex_ivp
integrate_ivpomnibias.core.verified.integrate_ivp
interval_ldlt_factoromnibias.core.verified.interval_ldlt_factor
interval_ldlt_factor_arrayomnibias.core.verified.interval_ldlt_factor_array
interval_ldlt_inertiaomnibias.core.verified.interval_ldlt_inertia
interval_ldlt_inertia_arrayomnibias.core.verified.interval_ldlt_inertia_array
interval_ldlt_pivotsomnibias.core.verified.interval_ldlt_pivots
interval_ldlt_pivots_arrayomnibias.core.verified.interval_ldlt_pivots_array
interval_matrix_expomnibias.core.verified.interval_matrix_exp
interval_newtonomnibias.core.verified.interval_newton
interval_solveomnibias.core.verified.interval_solve
interval_triangular_solveomnibias.core.verified.interval_triangular_solve
is_positive_definiteomnibias.core.verified.is_positive_definite
is_positive_definite_arrayomnibias.core.verified.is_positive_definite_array
jet_gradientomnibias.core.verified.jet_gradient
jet_hessianomnibias.core.verified.jet_hessian
jet_laplacianomnibias.core.verified.jet_laplacian
jet_multiplyomnibias.core.verified.jet_multiply
jet_partialsomnibias.core.verified.jet_partials
jet_to_toweromnibias.core.verified.jet_to_tower
kantorovich_accept_stepomnibias.core.verified.kantorovich_accept_step
krawczyk_certificateomnibias.core.verified.krawczyk_certificate
krawczyk_searchomnibias.core.verified.krawczyk_search
laguerre_functionomnibias.core.verified.laguerre_function
laguerre_poly_coeffs_exactomnibias.core.verified.laguerre_poly_coeffs_exact
laguerre_weightomnibias.core.verified.laguerre_weight
laplaceomnibias.core.verified.laplace
laplacian_symbolomnibias.core.verified.laplacian_symbol
laplacian_tail_inverse_boundomnibias.core.verified.laplacian_tail_inverse_bound
layer_jetomnibias.core.verified.layer_jet
layer_jet_mvomnibias.core.verified.layer_jet_mv
lehmann_maehly_lower_boundsomnibias.core.verified.lehmann_maehly_lower_bounds
leray_blob_fieldomnibias.core.verified.leray_blob_field
leray_divergence_residualomnibias.core.verified.leray_divergence_residual
leray_symbolomnibias.core.verified.leray_symbol
lhopital_ratio_ivomnibias.core.verified.lhopital_ratio_iv
libm_fallback_usedomnibias.core.verified.libm_fallback_used
linear_fieldomnibias.core.verified.linear_field
ln_ivomnibias.core.verified.ln_iv
ln_pointomnibias.core.verified.ln_point
log_gamma_ivomnibias.core.verified.log_gamma_iv
lohner_flowomnibias.core.verified.lohner_flow
lohner_stepomnibias.core.verified.lohner_step
mat_subomnibias.core.verified.mat_sub
matmulomnibias.core.verified.matmul
matvecomnibias.core.verified.matvec
measured_critical_widthomnibias.core.verified.measured_critical_width
measured_mean_value_widthomnibias.core.verified.measured_mean_value_width
measured_taylor_remainderomnibias.core.verified.measured_taylor_remainder
midpoint_integralomnibias.core.verified.midpoint_integral
mlp_jetomnibias.core.verified.mlp_jet
mlp_jet_mvomnibias.core.verified.mlp_jet_mv
naive_interval_flowomnibias.core.verified.naive_interval_flow
neg_i_poweromnibias.core.verified.neg_i_power
neumann_inverse_norm_boundomnibias.core.verified.neumann_inverse_norm_bound
new_noise_symbolomnibias.core.verified.new_noise_symbol
newton_kantorovich_boundsomnibias.core.verified.newton_kantorovich_bounds
newtonian_potentialomnibias.core.verified.newtonian_potential
normalize_operatoromnibias.core.verified.normalize_operator
operator_comparison_boundsomnibias.core.verified.operator_comparison_bounds
parametric_complex_interval_newtonomnibias.core.verified.parametric_complex_interval_newton
path_jetomnibias.core.verified.path_jet
pochhammeromnibias.core.verified.pochhammer
pochhammer_ivomnibias.core.verified.pochhammer_iv
poissonomnibias.core.verified.poisson
poisson_kernelomnibias.core.verified.poisson_kernel
poisson_kernel_derivomnibias.core.verified.poisson_kernel_deriv
poisson_matrixomnibias.core.verified.poisson_matrix
poisson_primitiveomnibias.core.verified.poisson_primitive
poisson_primitive_matrixomnibias.core.verified.poisson_primitive_matrix
polynomial_sqrt2_mapsomnibias.core.verified.polynomial_sqrt2_maps
positive_definite_pivots_certificateomnibias.core.verified.positive_definite_pivots_certificate
potential_gradientomnibias.core.verified.potential_gradient
predicted_widthomnibias.core.verified.predicted_width
qr_gram_schmidtomnibias.core.verified.qr_gram_schmidt
quadratic_radii_certificateomnibias.core.verified.quadratic_radii_certificate
radii_polynomial_certificateomnibias.core.verified.radii_polynomial_certificate
radii_polynomial_residual_certificateomnibias.core.verified.radii_polynomial_residual_certificate
rayleigh_quotientomnibias.core.verified.rayleigh_quotient
realify_complex_matrixomnibias.core.verified.realify_complex_matrix
require_rigorous_backendomnibias.core.verified.require_rigorous_backend
riesz_double_blobomnibias.core.verified.riesz_double_blob
riesz_symbolomnibias.core.verified.riesz_symbol
riesz_tail_boundomnibias.core.verified.riesz_tail_bound
ritz_upper_boundomnibias.core.verified.ritz_upper_bound
romberg_integralomnibias.core.verified.romberg_integral
rounding_floor_witnessomnibias.core.verified.rounding_floor_witness
screened_poissonomnibias.core.verified.screened_poisson
sech_ivomnibias.core.verified.sech_iv
sech_poly_coeffs_exactomnibias.core.verified.sech_poly_coeffs_exact
select_accepted_paramsomnibias.core.verified.select_accepted_params
series_mulomnibias.core.verified.series_mul
series_radii_certificateomnibias.core.verified.series_radii_certificate
set_strict_backendomnibias.core.verified.set_strict_backend
sigma_tower_intervalomnibias.core.verified.sigma_tower_interval
sigma_value_intervalomnibias.core.verified.sigma_value_interval
sigmoid_ivomnibias.core.verified.sigmoid_iv
sigmoid_poly_coeffs_exactomnibias.core.verified.sigmoid_poly_coeffs_exact
simpson_integralomnibias.core.verified.simpson_integral
sin_ivomnibias.core.verified.sin_iv
sin_matrixomnibias.core.verified.sin_matrix
sin_pointomnibias.core.verified.sin_point
sinh_ivomnibias.core.verified.sinh_iv
softplus_ivomnibias.core.verified.softplus_iv
sparse_matvecomnibias.core.verified.sparse_matvec
spectral_residual_normomnibias.core.verified.spectral_residual_norm
sqg_blobomnibias.core.verified.sqg_blob
sqg_blob_gradientomnibias.core.verified.sqg_blob_gradient
sqg_blob_l2_inneromnibias.core.verified.sqg_blob_l2_inner
sqg_rieszomnibias.core.verified.sqg_riesz
sqg_streamomnibias.core.verified.sqg_stream
sqg_stream_gradientomnibias.core.verified.sqg_stream_gradient
sqg_velocityomnibias.core.verified.sqg_velocity
sqg_velocity_divergence_residualomnibias.core.verified.sqg_velocity_divergence_residual
strict_backendomnibias.core.verified.strict_backend
sum_intervalsomnibias.core.verified.sum_intervals
symmetric_eigenvalue_residual_enclosureomnibias.core.verified.symmetric_eigenvalue_residual_enclosure
tail_inverse_bound_from_bandedomnibias.core.verified.tail_inverse_bound_from_banded
tanh_ivomnibias.core.verified.tanh_iv
tanh_poly_coeffs_exactomnibias.core.verified.tanh_poly_coeffs_exact
tanh_sinh_estimateomnibias.core.verified.tanh_sinh_estimate
temple_lower_boundomnibias.core.verified.temple_lower_bound
temple_lower_bound_vectoromnibias.core.verified.temple_lower_bound_vector
to_interval_matrixomnibias.core.verified.to_interval_matrix
tower_to_jetomnibias.core.verified.tower_to_jet
trapezoid_integralomnibias.core.verified.trapezoid_integral
trapezoid_sumomnibias.core.verified.trapezoid_sum
uniform_nodesomnibias.core.verified.uniform_nodes
width_lawomnibias.core.verified.width_law
← Package overviewRunnable learning examples →