GeoGebra
From MaRDI portal
Software:16387
No author found.
Related Items (only showing first 100 items - show all)
Fair and square: cake-cutting in two dimensions ⋮ On the order of the operators in the Douglas-Rachford algorithm ⋮ On the Douglas-Rachford algorithm ⋮ Automated theorem proving in GeoGebra: current achievements ⋮ On Slater's condition and finite convergence of the Douglas-Rachford algorithm for solving convex feasibility problems in Euclidean spaces ⋮ On the unavoidable uncertainty of truth in dynamic geometry proving ⋮ On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings ⋮ Drawing interactive Euler diagrams from region connection calculus specifications ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Nearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions ⋮ Computing envelopes in dynamic geometry environments ⋮ Geometry constructions language ⋮ A novel dynamic mathematics system based on the Internet ⋮ Intersecting two quadrics with GeoGebra ⋮ Generating irreducible copositive matrices using the stable set problem ⋮ Automated discovery of geometric theorems based on vector equations ⋮ A new class of monohedral pentagonal spherical tilings with GeoGebra ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS ⋮ Using conics to construct geometric 3-configurations. II: The generalized Steiner construction ⋮ An extension of the Kaliszewski cone to non-polyhedral pointed cones in infinite-dimensional spaces ⋮ On maximum-sum matchings of points ⋮ Matching points with disks with a common intersection ⋮ Anamorphic projection: analogical/digital algorithms ⋮ Catacaustics of a hypersurface in the Euclidean \(n\)-space ⋮ Detecting truth, just on parts ⋮ Modeling and fitting two-way tables containing outliers ⋮ Task mathematical modelling design in a dynamic geometry environment: Archimedean spiral's algorithm ⋮ Towards an intelligent and dynamic geometry book ⋮ A brief note on the approach to the conic sections of a right circular cone from dynamic geometry ⋮ Unnamed Item ⋮ Geometric multicut: shortest fences for separating groups of objects in the plane ⋮ Unnamed Item ⋮ A Euclidean approach to eggs and polycentric curves ⋮ What Borromini might have known about ovals. Ruler and compass constructions ⋮ On the mechanization of straightedge and compass constructions ⋮ A proposal for the automatic computation of envelopes of families of plane curves ⋮ Unnamed Item ⋮ Some issues on the automatic computation of plane envelopes in interactive environments ⋮ A parametric approach to 3D dynamic geometry ⋮ Representation and automated transformation of geometric statements ⋮ On sums and convex combinations of projectors onto convex sets ⋮ Retrieving geometric information from images: the case of hand-drawn diagrams ⋮ Algorithm 951 ⋮ Automated deduction and knowledge management in geometry ⋮ A symbolic dynamic geometry system using the analytical geometry method ⋮ Automated detection of interesting properties in regular polygons ⋮ The Gröbner cover ⋮ Formalization and specification of geometric knowledge objects ⋮ Symbol-crunching the Harborth graph ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Torus and quadrics intersection using GeoGebra ⋮ Affine properties of convex equal-area polygons ⋮ The intersection graph of the disks with diameters the sides of a convex \(n\)-gon ⋮ The Douglas-Rachford algorithm in the affine-convex case ⋮ On the local convergence of the Douglas-Rachford algorithm ⋮ On the construction of the \textit{Śrī Yantra} ⋮ On the illumination of centrally symmetric cap bodies in small dimensions ⋮ Use of GeoGebra in primary math education: a theoretical approach ⋮ Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations ⋮ The Douglas--Rachford Algorithm for Two (Not Necessarily Intersecting) Affine Subspaces ⋮ Automated determination of isoptics with dynamic geometry ⋮ Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools ⋮ The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings ⋮ Sections and shadows of four-dimensional objects ⋮ Dynamic investigation of loci with surprising outcomes and their mathematical explanations ⋮ Exploring the lunes of Hippocrates in a dynamic geometry environment ⋮ Towards the Automatic Discovery of Theorems in GeoGebra ⋮ Cooperation of KeTCindy and Computer Algebra System ⋮ Exploring Classical Greek Construction Problems with Interactive Geometry Software ⋮ DISCOVERING NEW GEOMETRIC PROPERTIES BY SPIRAL INDUCTIVE-DEDUCTIVE INVESTIGATION ⋮ Stable conical regularization by constructible dilating cones with an application to \(L^{p}\)-constrained optimization problems ⋮ Kurven erkunden und verstehen ⋮ A mechanical geometer ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Two almost-circles, and two real ones ⋮ Locus computation in dynamic geometry environment ⋮ Automated study of a regular trifolium ⋮ Using the Universal Math Environment Math-Xpress for teaching and assessment of math courses ⋮ A proposal for a consistent introduction of the derivative using the zoom-in method ⋮ Using a CAS/DGS to analyze computationally the configuration of planar bar linkage mechanisms based on partial Latin squares ⋮ Exploration of dual curves using a dynamic geometry and computer algebra system ⋮ Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick ⋮ On circular--linear one-factorizations of the complete graph ⋮ New dynamics in dynamic geometry: dragging constructed points ⋮ Reasoning about linkages with dynamic geometry ⋮ Taxonomies of geometric problems ⋮ An automated study of isoptic curves of an astroid ⋮ Introduction to stochastics. The basic facts with numerous explanations, examples and exercises ⋮ Computer algebra and polynomials. Applications of algebra and number theory ⋮ On the operational solutions of fuzzy fractional differential equations ⋮ ``Mathemachines via LEGO, GeoGebra and CindyJS ⋮ Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9--11, 2014. Revised selected papers ⋮ Automated generation of geometric theorems from images of diagrams ⋮ A Singular web service for geometric computations ⋮ Unnamed Item ⋮ Some inequalities in a triangle in which the length of one side and the inradius are given
This page was built for software: GeoGebra
