scientific article; zbMATH DE number 2009901
From MaRDI portal
Publication:4434825
zbMath1033.68596MaRDI QIDQ4434825
Publication date: 26 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2657/26570801.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Learning and adaptive systems in artificial intelligence (68T05) Euclidean analytic geometry (51N20)
Related Items (3)
Geometry constructions language ⋮ A software tool for the investigation of plane loci ⋮ Automated generation of geometric theorems from images of diagrams
Uses Software
This page was built for publication:
