
Prooving Identities with Computer-Algebra -- Example: Algebraic Time-Derivative Estimation
Johann Reger, Jérôme JouffroyVolume:
8
Année:
2008
Langue:
english
Pages:
2
DOI:
10.1002/pamm.200810905
Fichier:
PDF, 77 KB
english, 2008