5510 search results - page 145 / 1102 » Mathematics |
132
click to vote
MKM
2009
Springer
15 years 8 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
160
click to vote
AISC
2010
Springer
15 years 6 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
78
Voted
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Julia Borghoff , Lars R. Knudsen, Gregor Leander, Krystian Matusiewicz Department of Mathematics Technical University of Denmark
110
Voted
MKM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present an overview of the current situation and recent and expected future developments in areas of copyright law and economics relevant to Mathematical Knowledge Man...
124
click to vote
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
A necessary condition for irreducibility of a trinomial over a finite field, based on classical results of Stickelberger and Swan, is established. It is applied in the special ca...