polya icon indicating copy to clipboard operation
polya copied to clipboard

Published 7 years ago • verified publisher icon avigad
→

Metadata

A heuristic procedure for proving inequalities

Results 0 polya issues
Sort by recently updated
recently updated
newest added

← Metadata

34
Stars
6
Forks
34
Watchers

Owner

verified publisher icon avigad

Metadata

A heuristic procedure for proving inequalities

Back