Solving polynomial systems (invited talk abstract): a complexity theory viewpoint
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
A theory of complexity for continuous time systems
Journal of Complexity
Real computations with fake numbers
Journal of Complexity
Real Computations with Fake Numbers
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
On the Complexity of Integer Programming in the Blum-Shub-Smale Computational Model
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Algorithmic analysis of irrational rotations in a single neuron model
Journal of Complexity
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Approximate computation and implicit regularization for very large-scale data analysis
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
| Hi-index | 0.00 |