Holonomic systems and automatic proofs of identities

Frédéric Chyzak 1
1 ALGO - Algorithms
Inria Paris-Rocquencourt
Résumé : Résumé disponible dans le fichier PDF
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00074305
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:01:14 PM
Last modification on : Friday, May 25, 2018 - 12:02:02 PM
Long-term archiving on : Tuesday, April 12, 2011 - 4:28:50 PM

Identifiers

  • HAL Id : inria-00074305, version 1

Collections

Citation

Frédéric Chyzak. Holonomic systems and automatic proofs of identities. [Research Report] RR-2371, INRIA. 1994. ⟨inria-00074305⟩

Share

Metrics

Record views

116

Files downloads

267