The following pages link to (Q2765620):
Displaying 6 items.
- Fast verified solutions of linear systems (Q849174) (← links)
- Super-fast validated solution of linear systems (Q861871) (← links)
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity (Q1774296) (← links)
- (Q4254906) (← links)
- (Q4321536) (← links)
- (Q4568078) (← links)