2853 search results - page 290 / 571 » On Coherence in Computer Algebra |
122
click to vote
JC
2007
15 years 4 months ago
2007
We present a deterministic algorithm for computing all irreducible factors of degree ≤ d of a given bivariate polynomial f ∈ K[x, y] over an algebraic number field K and their...
134
click to vote
JSC
2007
15 years 4 months ago
2007
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
157
click to vote
SIAMCOMP
2002
15 years 4 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
136
Voted
CASC
2010
Springer
15 years 3 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
147
Voted
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
A key element of any approach to meeting the climate change challenge is the ability to improve operational efficiency in a pervasive fashion. The notion of a business process is a...