Publication:4234188
From MaRDI portal
zbMath0964.65514MaRDI QIDQ4234188
Publication date: 10 July 2001
68W30: Symbolic computation and algebraic computation
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
03B35: Mechanization of proofs and logical operations
65H99: Nonlinear algebraic or transcendental equations