Chih-Hong Cheng |
 |
| Most Downloaded Software: Non-linear arithmetic property checker via Bernstein polynomial |
| Most Famous Software: Non-linear arithmetic property checker via Bernstein polynomial |
| Total Software Listed: 1 |
| Website: http://www6.in.tum.de/~chengch/efsmt/jbernstein.html |
| Services:
|
| March Downloads:0 |
|
 |
|
 |
|  |
|
 |
Are you a Software Publisher?
|  |
Famous Software Categories
Famous Software Tags
|
