2741 search results - page 19 / 549 » Engineering Mathematical Knowledge |
136
click to vote
AISC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
132
click to vote
OTM
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...