WolframAlpha computational knowledge AI
a²<10,b²<10,2ab<10,a>=0,b>=0