The following pages link to (Q4245756):
Displaying 12 items.
- Automatic generation of diagrammatic subway maps for any date with Maple (Q782660) (← links)
- Gröbner bases and Diophantine analysis (Q950419) (← links)
- Introduction to the GiNaC framework for symbolic computation within the \(\text{C}^{++}\) programming language (Q1599529) (← links)
- Rational parameterizations approach for solving equations in some dynamical systems problems (Q2274333) (← links)
- Some reflections about the success and impact of the computer algebra system \textit{DERIVE} with a 10-year time perspective (Q2324407) (← links)
- An algebraic approach to DC railway electrification verification (Q2324411) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Linear syntax for communicating elementary mathematics (Q2470063) (← links)
- A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations (Q2656109) (← links)
- Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method (Q5453487) (← links)
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems (Q6157643) (← links)
- SODES: solving ordinary differential equations step by step (Q6169714) (← links)
