The following pages link to Francisco Botana (Q286773):
Displayed 34 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)
- Item:Q286773 (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)
- Automated Discovery in Elementary Extrema Problems (Q3545112) (← links)
- (Q3580112) (← links)
- (Q3580135) (← links)
- (Q4434825) (← links)
- (Q4434833) (← links)
- (Q4737737) (← links)
- Computing bisectors in a dynamic geometry environment (Q4920309) (← links)
- (Q5133355) (← links)
- A Symbolic Companion for Interactive Geometric Systems (Q5200127) (← links)
- Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5307230) (← links)
- First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems (Q5428266) (← links)
- Automated Deduction in Geometry (Q5493322) (← links)
- Towards an Automated Geometer (Q6108828) (← links)