Sciweavers

431 search results - page 1 / 87
» Abstract Data Types in Computer Algebra
Sort
View
67
Voted
MFCS
2000
Springer
15 years 1 months ago
Abstract Data Types in Computer Algebra
James H. Davenport
76
Voted
JACM
2007
85views more  JACM 2007»
14 years 9 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
POPL
2010
ACM
15 years 7 months ago
Decision Procedures for Algebraic Data Types with Abstractions
Philippe Suter, Mirco Dotta, Viktor Kuncak
185
Voted
GIS
2004
ACM
15 years 10 months ago
An abstract model of three-dimensional spatial data types
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
Markus Schneider, Brian E. Weinrich
ECCC
2007
144views more  ECCC 2007»
14 years 9 months ago
Algebraic Lower Bounds for Computing on Encrypted Data
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
Rafail Ostrovsky, William E. Skeith III