scientific article; zbMATH DE number 1297631
From MaRDI portal
Publication:4245756
zbMath0924.68102MaRDI QIDQ4245756
No author found.
Publication date: 9 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations ⋮ Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems ⋮ SODES: solving ordinary differential equations step by step ⋮ Hidden verification for computational mathematics ⋮ Gröbner bases and Diophantine analysis ⋮ Linear syntax for communicating elementary mathematics ⋮ Rational parameterizations approach for solving equations in some dynamical systems problems ⋮ Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method ⋮ Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective ⋮ An algebraic approach to DC railway electrification verification ⋮ Automatic generation of diagrammatic subway maps for any date with Maple ⋮ Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language
Uses Software
