Geometry Expressions

Geometry ExpressionsDraw the figure get the mathematics. Welcome to computerized mathematical modeling. Create conceptual designs and generate explicit mathematicsCopy the mathematics to Maple or Mathematica for further analysis or optimizationVisualize by pasting results back into Geometry ExpressionsDocument your analysis by exporting drawing and mathematics into your office suite (Source:

References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Peng, Xicheng; Chen, Qihang; Zhang, Jingzhong; Chen, Mao: Automated discovery of geometric theorems based on vector equations (2021)
  2. Todd, Philip: A system for automated deduction in engineering mechanics (2020)
  3. Todd, Philip: A symbolic dynamic geometry system using the analytical geometry method (2020)
  4. Sinclair, Nathalie; Bartolini Bussi, Maria G.; de Villiers, Michael; Jones, Keith; Kortenkamp, Ulrich; Leung, Allen; Owens, Kay: Recent research on geometry education: an ICME-13 survey team report (2016) MathEduc
  5. Baker, T.; Sitharam, M.; Wang, M.; Willoughby, J.: Optimal decomposition and recombination of isostatic geometric constraint systems for designing layered materials (2015)
  6. Schumann, Heinz: Euler’s inequality. A computer-assisted approach (2015) MathEduc
  7. Todd, Philip: Sand curves and symbolic geometry (2015) MathEduc
  8. Wang, Menghan; Sitharam, Meera: Algorithm 951: Cayley analysis of mechanism configuration spaces using CayMos: software functionalities and architecture (2015)
  9. Botana, Francisco; Abánades, Miguel A.: Automatic deduction in (dynamic) geometry: Loci computation (2014)
  10. Harradine, Anthony: The laundry-bucket nephroid, a punch to the kidney and some student-level mathematical research (2014) MathEduc
  11. Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio: Connecting the 3D DGS Calques3D with the CAS Maple (2010)
  12. Todd, Philip; Lyublinskaya, Irina; Ryzhik, Valeriy: Symbolic geometry software and proofs (2010) MathEduc
  13. Todd, Philip: Geometry Expressions: an interactive constraint based symbolic geometry system (2008) MathEduc
  14. Abánades, Miguel A.; Escribano, Jesús; Botana, Francisco: First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems (2007)
  15. Roanes Lozano, Eugenio: On the colaboration of dynamic geometry systems and computer algebra and the new system Geometry Expressions (2007) MathEduc
  16. Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio: A Maple package for automatic theorem proving and discovery in 3D-geometry (2007)
  17. Todd, Philip: Geometry expressions: A constraint based interactive symbolic geometry system (2007)