Pages that link to "Item:Q783254"

The following pages link to Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254):

Displaying 1 item.

• Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)