4850 search results - page 610 / 970 » Proof and Computation in Geometry |
167
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except for some statistical proof. A new concept of pi series is introd...
171
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
177
Voted
DEXAW
2006
IEEE
16 years 28 days ago
2006
IEEE
A significant challenge for Peer-to-Peer (P2P) systems is maintaining the correctness and consistency of their global data structures and shared contents as peers independently a...
150
click to vote
ETFA
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
207
click to vote
CSFW
2005
IEEE
16 years 15 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...