The following pages link to Francisco Botana (Q286773):
Displaying 20 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- A proposal for the automatic computation of envelopes of families of plane curves (Q1730307) (← links)
- (Q1861519) (redirect page) (← links)
- A software tool for the investigation of plane loci (Q1861521) (← links)
- Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
- A mechanical geometer (Q2071524) (← links)
- Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)'' (Q2228803) (← links)
- Some issues on the automatic computation of plane envelopes in interactive environments (Q2228804) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- A Singular web service for geometric computations (Q2354915) (← links)
- Computing envelopes in dynamic geometry environments (Q2398266) (← links)
- (Q2753828) (← links)
- (Q2760193) (← links)
- (Q2775974) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes (Q2843037) (← links)
- Software Using the Gröbner Cover for Geometrical Loci Computation and Classification (Q2879167) (← links)
- Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci (Q2879168) (← links)
