GeoGebra

swMATH4203MaRDI QIDQ16387FDOQ16387

Author name not available (Why is that?)

Described by source

• Giac and GeoGebra – Improved Gröbner Basis Computations
• Mit GeoGebra mehr Mathematik verstehen
• The Relation Tool in GeoGebra 5
• Unnamed Publication

Cited In (only showing first 100 items - show all)

• Automated study of a regular trifolium
• An extension of the Kaliszewski cone to non-polyhedral pointed cones in infinite-dimensional spaces
• A proposal for a consistent introduction of the derivative using the zoom-in method
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• A symbolic dynamic geometry system using the analytical geometry method
• Automated detection of interesting properties in regular polygons
• A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes
• ``Mathemachines via LEGO, GeoGebra and CindyJS
• New dynamics in dynamic geometry: dragging constructed points
• Fair and square: cake-cutting in two dimensions
• Taxonomies of geometric problems
• Introduction to stochastics. The basic facts with numerous explanations, examples and exercises
• Detecting truth, just on parts
• Portfolio theorem proving and prover runtime prediction for geometry
• Contemporary Interpretation of a Historical Locus Problem with the Use of Computer Algebra
• On the construction of the \textit{Śrī Yantra}
• Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9--11, 2014. Revised selected papers
• BASIC TOPOLOGICAL STRUCTURE OF FAST BASINS
• Torus and quadrics intersection using GeoGebra
• The intersection graph of the disks with diameters the sides of a convex \(n\)-gon
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated determination of isoptics with dynamic geometry
• Finding and proving new geometry theorems in regular polygons with dynamic geometry and automated reasoning tools
• Intersecting two quadrics with GeoGebra
• Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
• Generating irreducible copositive matrices using the stable set problem
• Sections and shadows of four-dimensional objects
• A Symbolic Companion for Interactive Geometric Systems
• From Pascal’s Theorem to <em>d</em>-Constructible Curves
• On the Design and Implementation of a Geometric Knowledge Base
• Loci of Points Inspired by Viviani′s Theorem
• A mechanical geometer
• Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
• Two almost-circles, and two real ones
• Title not available (Why is that?)
• Exploring the isoptics of Fermat curves in the affine plane using DGS and CAS
• Title not available (Why is that?)
• A new class of monohedral pentagonal spherical tilings with GeoGebra
• An automated study of isoptic curves of an astroid
• Reasoning about linkages with dynamic geometry
• Title not available (Why is that?)
• Catacaustics of a hypersurface in the Euclidean \(n\)-space
• Stable conical regularization by constructible dilating cones with an application to \(L^{p}\)-constrained optimization problems
• Task mathematical modelling design in a dynamic geometry environment: Archimedean spiral's algorithm
• Rewriting input expressions in complex algebraic geometry provers
• Geometric multicut: shortest fences for separating groups of objects in the plane
• Title not available (Why is that?)
• On the illumination of centrally symmetric cap bodies in small dimensions
• The Importance of Being Zero
• Parallel coordinates in geometry
• Anamorphic projection: analogical/digital algorithms
• Computer algebra and polynomials. Applications of algebra and number theory
• Using the Universal Math Environment Math-Xpress for teaching and assessment of math courses
• Bisectors and Voronoï Diagram of a Family of Parallel Half-Lines
• A parametric approach to 3D dynamic geometry
• On the mechanization of straightedge and compass constructions
• Locus computation in dynamic geometry environment
• Retrieving geometric information from images: the case of hand-drawn diagrams
• Geometry constructions language
• OpenGeo: An Open Geometric Knowledge Base
• Connecting the 3D DGS Calques3D with the CAS Maple
• The Gröbner cover
• Symbol-crunching the Harborth graph
• On the order of the operators in the Douglas-Rachford algorithm
• On Slater's condition and finite convergence of the Douglas-Rachford algorithm for solving convex feasibility problems in Euclidean spaces
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• Towards the Automatic Discovery of Theorems in GeoGebra
• The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings
• Automated theorem proving in GeoGebra: current achievements
• On sums and convex combinations of projectors onto convex sets
• On circular--linear one-factorizations of the complete graph
• On the Douglas-Rachford algorithm
• Title not available (Why is that?)
• On the unavoidable uncertainty of truth in dynamic geometry proving
• On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings
• Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
• Matching points with disks with a common intersection
• Automated deduction and knowledge management in geometry
• Formalization of the arithmetization of Euclidean plane geometry and applications
• The Douglas-Rachford algorithm for two (not necessarily intersecting) affine subspaces
• Title not available (Why is that?)
• A proposal for the automatic computation of envelopes of families of plane curves
• A novel dynamic mathematics system based on the Internet
• Title not available (Why is that?)
• Formalization and specification of geometric knowledge objects
• A Euclidean approach to eggs and polycentric curves
• What Borromini might have known about ovals. Ruler and compass constructions
• Software for Discussing Parametric Polynomial Systems: The Gröbner Cover
• Software Using the Gröbner Cover for Geometrical Loci Computation and Classification
• Automated generation of geometric theorems from images of diagrams
• Modeling and fitting two-way tables containing outliers
• The Douglas-Rachford algorithm in the affine-convex case
• Exploring the lunes of Hippocrates in a dynamic geometry environment
• Exploring Classical Greek Construction Problems with Interactive Geometry Software
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• Algorithm 951: Cayley analysis of mechanism configuration spaces using CayMos: software functionalities and architecture
• Title not available (Why is that?)
• Some issues on the automatic computation of plane envelopes in interactive environments
• Development of automatic reasoning tools in GeoGebra

This page was built for software: GeoGebra