The following pages link to (Q3677198):
Displaying 10 items.
- A learning procedure for mathematics. (Q1353940) (← links)
- A computational approach to George Boole's discovery of mathematical logic (Q1392259) (← links)
- Autonomous theory building systems (Q1897404) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- A mechanical geometer (Q2071524) (← links)
- (Q3006508) (← links)
- Machine synthesis of mathematical theorems (Q3485887) (← links)
- (Q3640379) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- Towards an Automated Geometer (Q6108828) (← links)