1730 search results - page 184 / 346 » Algebra and Computation |
113
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
146
click to vote
MKM
2009
Springer
15 years 10 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
133
click to vote
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...
130
click to vote
COCOON
2001
Springer
15 years 8 months ago
2001
Springer
: We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are conta...
128
click to vote
JSC
2007
15 years 3 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...