Connecting the 3D DGS Calques3D with the CAS Maple
From MaRDI portal
Publication:974253
DOI10.1016/j.matcom.2009.09.008zbMath1207.68450WikidataQ58422945 ScholiaQ58422945MaRDI QIDQ974253
Eugenio Roanes-Lozano, Eugenio Roanes-Macías, Nicolas van Labeke
Publication date: 27 May 2010
Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)
Full work available at URL: http://oro.open.ac.uk/34566/1/2009_Connecting_C3D_Maple_%28MCS%29.pdf
Gröbner bases; computer algebra systems; Wu's method; mechanical theorem proving in geometry; 3D dynamic geometry systems
68W30: Symbolic computation and algebraic computation
Uses Software