2853 search results - page 8 / 571 » On Coherence in Computer Algebra |
104
Voted
ISSAC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we give a necessary and sufficient condition for an algebraic ODE to have an algebraic general solution. For an autonomous first order ODE, we give an optimized bo...
COMPUTING
2004
15 years 14 days ago
2004
We develop methods for the variational design of algebraic curves. Our approach is based on truly geometric fairness criteria, such as the elastic bending energy. In addition, we ...
96
Voted
IJAC
2002
15 years 11 days ago
2002
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...
94
Voted
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
A generalization of deFinetti’s Fundamental Theorem of Probability facilitates coherent assessment, by iterated natural extension, of imprecise probabilities or expectations, co...
104
click to vote
LREC
2008
15 years 2 months ago
2008
This paper investigates a new evaluation method for assessing the coherence of computer-aided summaries, justified by the inappropriacy of existing evaluation methods for this tas...