1056 search results - page 70 / 212 » Handbook of mathematical functions |
140
click to vote
ISSAC
2009
Springer
15 years 12 months ago
2009
Springer
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
120
Voted
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
120
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...
132
Voted
ISSAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
177
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...