Vol-3457⫷ Vol-3458 ⫸Vol-3459
urn:nbn:de:0074-3458-0


Vol-3458/paper1⫷Vol-3458/paper2⫸Vol-3458/paper3
Ali Kemal UncuJames H. DavenportMatthew England 0001

SMT-Solving Induction Proofs of Inequalities