181 search results - page 37 / 37 » Programming Language Techniques for Cryptographic Proofs |
165
Voted
TPHOL
2007
IEEE
16 years 2 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...