2741 search results - page 19 / 549 » Engineering Mathematical Knowledge |
LSO
2001
Springer
14 years 1 months ago
2001
Springer
AC
1998
Springer
14 years 25 days ago
1998
Springer
FSTTCS
2007
Springer
14 years 14 days ago
2007
Springer
AISC
2004
Springer
14 years 2 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...
OTM
2007
Springer
14 years 2 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...