search

mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings
BSD 2-Clause "Simplified" License
11 stars 5 forks source link

Overapproximations of SL-sets #12

Closed mschlund closed 10 years ago

mschlund commented 11 years ago

Find suitable abstractions for SL-sets that lead to small representations without loosing too much precision.