Pages that link to "Item:Q832000"
From MaRDI portal
The following pages link to Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000):
Displaying 3 items.
- Computational complexity of classical solutions of partial differential equations (Q2104279) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- Verified exact real computation with nondeterministic functions and limits (Q6546605) (← links)