Author image not provided
 Amaury Pouly

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article0.71
Citation Count5
Publication count7
Publication years2011-2017
Available for download3
Average downloads per article62.33
Downloads (cumulative)187
Downloads (12 Months)126
Downloads (6 Weeks)30
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


7 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 7 of 7
Sort by:

1 published by ACM
October 2017 Journal of the ACM (JACM): Volume 64 Issue 6, November 2017
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 26,   Downloads (12 Months): 89,   Downloads (Overall): 89

Full text available: PDFPDF
The outcomes of this article are twofold. Implicit complexity. We provide an implicit characterization of polynomial time computation in terms of ordinary differential equations: we characterize the class P of languages computable in polynomial time in terms of differential equations with polynomial right-hand side. This result gives a purely continuous ...
Keywords: computable analysis, continuous-time models of computation, Analog models of computation, computational complexity, ordinary differential equations, implicit complexity

2
October 2016 Journal of Complexity: Volume 36 Issue C, October 2016
Publisher: Academic Press, Inc.
Bibliometrics:
Citation Count: 0

In 1941, Claude Shannon introduced the General Purpose Analog Computer (GPAC) as a mathematical model of Differential Analysers, that is to say as a model of continuous-time analog (mechanical, and later on electronic) machines of that time.Following Shannon's arguments, functions generated by the GPAC must satisfy a polynomial differential algebraic ...
Keywords: General Purpose Analog Computer, Analog computation, Continuous-time computations, Real computations

3 published by ACM
July 2016 LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 4,   Downloads (12 Months): 31,   Downloads (Overall): 43

Full text available: PDFPDF
We consider a continuous analogue of (Babai et al. 1996)'s and (Cai et al. 2000)'s problem of solving multiplicative matrix equations. Given k + 1 square matrices A1, ..., Ak, C, all of the same dimension, whose entries are real algebraic, we examine the problem of deciding whether there exist ...
Keywords: hybrid automata, matrix logarithms, exponential matrices, commuting matrices, matrix reachability

4
May 2016 Theoretical Computer Science: Volume 626 Issue C, May 2016
Publisher: Elsevier Science Publishers Ltd.
Bibliometrics:
Citation Count: 0

In this paper we investigate the computational complexity of solving ordinary differential equations (ODEs) y ' = p ( y ) over unbounded time domains, where p is a vector of polynomials. Contrarily to the bounded (compact) time case, this problem has not been well-studied, apparently due to the "intuition" ...
Keywords: Adaptive Taylor algorithms, Computation with real numbers, Ordinary differential equations, Computational complexity

5
November 2015 MACIS 2015: Revised Selected Papers of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences - Volume 9582
Publisher: Springer-Verlag New York, Inc.
Bibliometrics:
Citation Count: 0

In this abstract we present a rigorous numerical algorithm which solves initial-value problems IVPs defined with polynomial differential equations i.e.﾿IVPs of the type $$y'=pt,y$$, $$yt_0=y_0$$, where p is a vector of polynomials for any value of t. The inputs of the algorithm are the data defining the initial-value problem, the ...

6 published by ACM
July 2012 ISSAC '12: Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Publisher: ACM
Bibliometrics:
Citation Count: 0
Downloads (6 Weeks): 0,   Downloads (12 Months): 6,   Downloads (Overall): 55

Full text available: PDFPDF
In this paper we prove that computing the solution of an initial-value problem y = p ( y ) with initial condition y ( t 0 ) = y 0 ∈ R d at time t 0 + T with precision 2 −μ where p is a vector of polynomials ...

7
August 2011 MFCS'11: Proceedings of the 36th international conference on Mathematical foundations of computer science
Publisher: Springer-Verlag
Bibliometrics:
Citation Count: 2

In this paper we consider the computational complexity of solving initial-value problems defined with analytic ordinary differential equations (ODEs) over unbounded domains of R n and C n , under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of ...



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us