7 research outputs found
An object-oriented model for the certified computer algebra library
International audienc
Sémantique des traits orientés objet de Focal
PARIS-BIUSJ-Thèses (751052125) / SudocPARIS-BIUSJ-Mathématiques rech (751052111) / SudocSudocFranceF