.:. Browse > List by subject > Mathematical Software .:.

26 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3

Quasi-optimal multiplication of linear differential operators Benoit A., Bostan A., Van Der Hoeven J. [hal-00685401 - version 1] (2012-04-05)

On the complexity of polynomial reduction Van Der Hoeven J. Research report [hal-00658704 - version 1]

Algebraic synchronization trees and processes Aceto L., Carayol A., Esik Z., Ingolfsdottir A. Dans Proceedings of the 39th International Colloquium on Automata, Languages, and Programming (ICALP 2012) - Part 2 - International Colloquium on Automata, Languages, and Programming (ICALP 2012), Royaume-Uni (2012) [hal-00733449 - version 1]

A language of patterns for subterm selection Gonthier G., Tassi E. ITP, États-Unis (2012) [hal-00652286 - version 2]

Calcul analytique Van Der Hoeven J. [hal-00646381 - version 1] (2011-11-29)

Reliable homotopy continuation Van Der Hoeven J. Rapport de recherche [hal-00589948 - version 3]

Efficient root counting for analytic functions on a disk Van Der Hoeven J. [hal-00583139 - version 1] (2011-04-04)

From implicit to recursive equations Van Der Hoeven J. [hal-00583125 - version 1] (2011-04-04)

Towards semantic mathematical editing Van Der Hoeven J. [hal-00569351 - version 2] (2011-09-09)

Conversion by Evaluation Boespflug M. Twelfth International Symposium on Practical Aspects of Declarative Languages, Spain (2010) [inria-00434282 - version 1]