2741 search results - page 19 / 549 » Engineering Mathematical Knowledge |
146
Voted
AISC
2004
Springer
16 years 3 days 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...
144
Voted
OTM
2007
Springer
16 years 25 days 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...