Sciweavers

5510 search results - page 7 / 1102
» Mathematics
Sort
View
93
Voted
EUROCAL
1987
104views Mathematics» more  EUROCAL 1987»
15 years 6 months ago
Properties of Gröbner bases under specializations
Patrizia M. Gianni
91
Voted
ITP
2010
126views Mathematics» more  ITP 2010»
15 years 5 months ago
A Formally Verified OS Kernel. Now What?
Gerwin Klein