5510 search results - page 253 / 1102 » Mathematics |
143
click to vote
ISSAC
2005
Springer
15 years 11 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...
161
click to vote
MKM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
151
click to vote
MKM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
145
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a mathematical model to analyse the establishment and maintenance of communication between mobile agents. We assume that the agents move through a fixed envir...
165
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...