Sciweavers

4463 search results - page 28 / 893
» computer 2000
Sort
View
ISSAC
2000
Springer
103views Mathematics» more  ISSAC 2000»
14 years 1 months ago
Computing the Galois group of a polynomial using linear differential equations
Olivier Cormier, Michael F. Singer, Felix Ulmer
SAIG
2000
Springer
14 years 1 months ago
Reasoning about Staged Computation
Frank Pfenning