FamousWhy
USA
ROM
Famous People Famous Regions Famous Articles Famous Software FamousWhy Web Services Famous Forum Submit Content
|

  Chih-Hong Cheng
Chih-Hong Cheng motto:
add motto




Publisher Description

add description

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:
November Downloads:0


 
        
 
 
Non-linear arithmetic property checker via Bernstein polynomial 0.2 Alpha
Nov Downloads: 0  Votes: 0 ↑
 
 
 

Most Popular Software
Non-linear arithmetic property checker via Bernstein polynomial


Nov Downloads: 0  Votes: 0 ↑

Are you a Software Publisher?
Register

Famous Software Categories

Famous Software Tags
Expression #1 of SELECT list is not in GROUP BY clause and contains nonaggregated column 'famousw_famousdata.tags.tag_id' which is not functionally dependent on columns in GROUP BY clause; this is incompatible with sql_mode=only_full_group_by