User loginNavigation |
Theorem proving and patents ...Patents are supposed to be formal specifications of inventions that contain enough information for someone reasonably skilled in the art to reproduce the invention. I'm curious as to whether anyone is working on automating patent comparisons for the purpose of establishing violations. My shallow understanding is that proving systems might have something to contribute to that problem, or at least a significant enough subset of it - at least for "software patents". Having such a system might be a good weapon against big firms that file suits that take ages to verify and primarily serve to feed the pockets of lawyers (apologies for the cynicism there). By Srikumar Subramanian at 2006-12-15 02:25 | LtU Forum | previous forum topic | next forum topic | other blogs | 6718 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
13 weeks 6 days ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 1 day ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago