- scientific article; zbMATH DE number 5356364 (Why is no real title available?)
- Giac and GeoGebra -- improved Gröbner basis computations
- The relation tool in GeoGebra 5
- Understanding more mathematics with GeoGebra. Examples of promoting a deeper understanding of mathematics from the GeoGebra Institute Köln/Bonn
Cited in
(only showing first 100 items - show all)- Anamorphic projection: analogical/digital algorithms
- Parallel coordinates in geometry
- The Importance of Being Zero
- Automated study of a regular trifolium
- Introduction to hyperbolic geometry. Instructions for a discovery journey
- scientific article; zbMATH DE number 5953805 (Why is no real title available?)
- Warm-up drills and tips for mathematical software
- Transition from 2D to 3D with GeoGebra
- From Pascal's theorem to d-constructible curves
- Computer algebra and polynomials. Applications of algebra and number theory
- 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 symbolic dynamic geometry system using the analytical geometry method
- Automated detection of interesting properties in regular polygons
- Using the Universal Math Environment Math-Xpress for teaching and assessment of math courses
- scientific article; zbMATH DE number 5769187 (Why is no real title available?)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- A parametric approach to 3D dynamic geometry
- On maximum-sum matchings of points
- Bisectors and Voronoï Diagram of a Family of Parallel Half-Lines
- On the mechanization of straightedge and compass constructions
- A touch-operation-based dynamic geometry system: design and implementation
- Retrieving geometric information from images: the case of hand-drawn diagrams
- Locus computation in dynamic geometry environment
- Geometry constructions language
- ``Mathemachines via LEGO, GeoGebra and CindyJS
- Artzt parabolas of a triangle
- Applications of square-related theorems
- New dynamics in dynamic geometry: dragging constructed points
- Fair and square: cake-cutting in two dimensions
- scientific article; zbMATH DE number 6801906 (Why is no real title available?)
- Connecting the 3D DGS Calques3D with the CAS Maple
- Taxonomies of geometric problems
- A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
- Introduction to stochastics. The basic facts with numerous explanations, examples and exercises
- On the operational solution of a system of fractional differential equations
- On the order of the operators in the Douglas-Rachford algorithm
- The Gröbner cover
- Symbol-crunching the Harborth graph
- On Slater's condition and finite convergence of the Douglas-Rachford algorithm for solving convex feasibility problems in Euclidean spaces
- Mathematical modeling. Applications with GeoGebra
- A note on theorem of unequal pair of lunes
- How to make geometry more accessible to students
- Detecting truth, just on parts
- The magnitude of the minimal displacement vector for compositions and convex combinations of firmly nonexpansive mappings
- Towards the Automatic Discovery of Theorems in GeoGebra
- Comparison of open source softwares in mathematics education
- Portfolio theorem proving and prover runtime prediction for geometry
- Dynamic Visual Models: Ancient Ideas and New Technologies
- Automated theorem proving in GeoGebra: current achievements
- Loci of points inspired by Viviani's theorem
- On sums and convex combinations of projectors onto convex sets
- scientific article; zbMATH DE number 6440241 (Why is no real title available?)
- Perspective and Projective Geometry
- Drawing interactive Euler diagrams from region connection calculus specifications
- On circular--linear one-factorizations of the complete graph
- On the unavoidable uncertainty of truth in dynamic geometry proving
- On a result of Pazy concerning the asymptotic behaviour of nonexpansive mappings
- On the Douglas-Rachford algorithm
- Sampling \(C^1\)-submanifolds of \(\mathbb{H}^n\)
- On the construction of the \textit{Śrī Yantra}
- Polar flowers
- Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9--11, 2014. Revised selected papers
- Torus and quadrics intersection using GeoGebra
- The intersection graph of the disks with diameters the sides of a convex \(n\)-gon
- Towards a better integration of modelers and black box constraint solvers within the product design process
- scientific article; zbMATH DE number 7047834 (Why is no real title available?)
- BASIC TOPOLOGICAL STRUCTURE OF FAST BASINS
- Matching points with disks with a common intersection
- scientific article; zbMATH DE number 6720754 (Why is no real title available?)
- Automated deduction and knowledge management in geometry
- GeoGebra construction of the roots of quadratic, cubic and quartic equations
- Experimental validation of hypotheses in GeoGebra
- Interactive dynamic tests for evaluating the development of spatial abilities in high school
- The reinterpretation and visualization for geometric methods of solving the cubic equation
- A conformal planar model of the projective plane
- Quadric sections of four-dimensional cones
- Seeing and understanding higher mathematics
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Use of GeoGebra in primary math education: a theoretical approach
- On the design and implementation of a geometric knowledge base
- A Study on the Optimization Problem Solving utilizing the Quadratic Curve using the Dynamic Geometry Software
- The Douglas-Rachford algorithm for two (not necessarily intersecting) affine subspaces
- The creation of the geometrical drawings in TikZ
- Representation of the intersection curve of a quadric and a quartic with GeoGebra
- CASA
- Cinderella
- CoCoA
- Epsilon
- GCLC
- I2Geo
- Maxima
- MMP/Geometer
- Risa/Asir
- SYNRAC
- Xeukleides
- GEOTHER 1.1
- DERIVE
- NETPAD
- AIM@SHAPE
This page was built for software: GeoGebra