9532 search results - page 277 / 1907 » Logic, Graphs, and Algorithms |
SODA
2003
ACM
15 years 8 months ago
2003
ACM
181
click to vote
AEI
1999
15 years 6 months ago
1999
Multihop lightwave networks are a means of utilizing the large bandwidth of optical fibers. In these networks, each node has a fixed number of transmitters and receivers connected...
136
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We describe here a formal proof in the Coq system of the structure theorem for subresultants, which allows to prove formally the correctness of our implementation of the subresulta...