Pages that link to "Item:Q4286593"
From MaRDI portal
The following pages link to Computation of Topological Degree Using Interval Arithmetic, and Applications (Q4286593):
Displaying 10 items.
- Verifying topological indices for higher-order rank deficiencies (Q700182) (← links)
- On the complexity of isolating real roots and computing with certainty the topological degree (Q700184) (← links)
- A framework for existence tests based on the topological degree and homotopy (Q1006842) (← links)
- Can we approximate zeros of functions with nonzero topological degree? (Q1119338) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- (Q3750924) (← links)
- Effective topological degree computation based on interval arithmetic (Q5179223) (← links)
- (Q5298092) (← links)
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test (Q6160909) (← links)