David Pfannholzer

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
LEMA: towards a language for reliable arithmetic. ACM Commun. Comput. Algebra 44 (1/2) (2010)