5510 search results - page 254 / 1102 » Mathematics |
166
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
153
click to vote
CHES
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this article we present a low-cost coprocessor for smartcards which supports all necessary mathematical operations for a fast calculation of the Elliptic Curve Digital...
182
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
160
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
179
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...