Integral equations, systems of quadratic equations, and exponential time completeness
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Towards computability of elliptic boundary value problems in variational formulation
Journal of Complexity
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Computational Logic (TOCL)
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
Electronic Notes in Theoretical Computer Science (ENTCS)
Complexity theory for operators in analysis
Proceedings of the forty-second ACM symposium on Theory of computing
A domain theoretic account of euler's method for solving initial value problems
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Complexity Theory for Operators in Analysis
ACM Transactions on Computation Theory (TOCT)
Computational complexity of smooth differential equations
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
On Effective Convergence of Numerical Solutions for Differential Equations
ACM Transactions on Computation Theory (TOCT)
| Hi-index | 0.00 |