The following pages link to (Q4548193):
Displaying 4 items.
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- New uses of linear arithmetic in automated theorem proving by induction (Q1915133) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- (Q4489486) (← links)