Différentiation automatique et formes de Taylor en analyse statique de programmes numériques (bibtex)
by Alexandre Chapoutot, Matthieu Martel
Reference:
A. Chapoutot, M. Martel, "Différentiation automatique et formes de Taylor en analyse statique de programmes numériques", Technique et Science Informatiques (TSI), vol. 28, no. 4, 2009, pp. 503-531.
Bibtex Entry:
@article{CM09a,
	Author = {Alexandre Chapoutot and Matthieu Martel},
	Journal = {Technique et Science Informatiques (TSI)},
	Number = {4},
	Pages = {503--531},
	Title = {{Diff\'erentiation automatique et formes de Taylor en
                  analyse statique de programmes num\'eriques}},
	Volume = {28},
	Year = {2009}
}
Powered by bibtexbrowser