Login / Signup

Examples for the algorithmic calculation of formal Puisieux, Laurent and power series.

Wolfram Koepf
Published in: SIGSAM Bull. (1993)
Keyphrases
  • power consumption
  • feature selection
  • training examples
  • formal methods
  • formal analysis