The following pages link to GeoGebra (Q16387):
Displaying 50 items.
- On the order of the operators in the Douglas-Rachford algorithm (Q279805) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- On Slater's condition and finite convergence of the Douglas-Rachford algorithm for solving convex feasibility problems in Euclidean spaces (Q288232) (← links)
- On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
- On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings (Q300577) (← links)
- Nearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions (Q344937) (← links)
- Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
- A Euclidean approach to eggs and polycentric curves (Q468471) (← links)
- What Borromini might have known about ovals. Ruler and compass constructions (Q468472) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Symbol-crunching the Harborth graph (Q550261) (← links)
- Affine properties of convex equal-area polygons (Q714992) (← links)
- Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares (Q782688) (← links)
- Exploration of dual curves using a dynamic geometry and computer algebra system (Q782690) (← links)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
- Anamorphic projection: analogical/digital algorithms (Q895613) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- A novel dynamic mathematics system based on the Internet (Q1662280) (← links)
- Using conics to construct geometric 3-configurations. II: The generalized Steiner construction (Q1685546) (← links)
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- A brief note on the approach to the conic sections of a right circular cone from dynamic geometry (Q1701660) (← links)
- On the mechanization of straightedge and compass constructions (Q1730306) (← links)
- A proposal for the automatic computation of envelopes of families of plane curves (Q1730307) (← links)
- On sums and convex combinations of projectors onto convex sets (Q1740660) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- The Gröbner cover (Q1755631) (← links)
- The Douglas-Rachford algorithm in the affine-convex case (Q1790199) (← links)
- Automated determination of isoptics with dynamic geometry (Q1798947) (← links)
- Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools (Q1798965) (← links)
- The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings (Q1800437) (← links)
- Sections and shadows of four-dimensional objects (Q1800568) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- Torus and quadrics intersection using GeoGebra (Q2019808) (← links)
- On the construction of the \textit{Śrī Yantra} (Q2034739) (← links)
- On the illumination of centrally symmetric cap bodies in small dimensions (Q2035123) (← links)
- A mechanical geometer (Q2071524) (← links)
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
- Two almost-circles, and two real ones (Q2071537) (← links)
- ``Mathemachines'' via LEGO, GeoGebra and CindyJS (Q2110234) (← links)
- Intersecting two quadrics with GeoGebra (Q2175430) (← links)
- Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS (Q2183737) (← links)
- Task mathematical modelling design in a dynamic geometry environment: Archimedean spiral's algorithm (Q2200402) (← links)
- Geometric multicut: shortest fences for separating groups of objects in the plane (Q2207588) (← links)
- Some issues on the automatic computation of plane envelopes in interactive environments (Q2228804) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- The intersection graph of the disks with diameters the sides of a convex \(n\)-gon (Q2279992) (← links)
