3457 search results - page 151 / 692 » A Symbol Is Not a Symbol |
92
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
100
Voted
ISSAC
2004
Springer
15 years 6 months ago
2004
Springer
We present a streamlined and refined version of Karr’s summation algorithm. Karr’s original approach constructively decides the telescoping problem in ΠΣ-fields, a very ge...
88
Voted
ISSAC
2004
Springer
15 years 6 months ago
2004
Springer
94
Voted
MICAI
2004
Springer
15 years 6 months ago
2004
Springer
MKM
2004
Springer
15 years 6 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...