The following pages link to (Q3798768):
Displaying 21 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- A new algebraic model for implementing expert systems represented under the `concept-attribute-value' paradigm (Q417951) (← links)
- A bridge between dynamic geometry and computer algebra (Q597561) (← links)
- Implementing the Baumslag-Cannonito-Miller polycyclic quotient algorithm (Q915859) (← links)
- Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
- On the synthetic factorization of projectively invariant polynomials (Q1176388) (← links)
- Computing combinatorial decompositions of rings (Q1180429) (← links)
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases (Q1195755) (← links)
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (Q1404692) (← links)
- Nonclassical symmetry reductions of the Boussinesq equation (Q1591676) (← links)
- Nonclassical reductions of a \((3+1)\)-cubic nonlinear Schrödinger system (Q1807986) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- A parametric approach to 3D dynamic geometry (Q2229885) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- A polynomial model for logics with a prime power number of truth values (Q2429988) (← links)
- Classical invariant theory and the equivalence problem for particle Lagrangians. I: Binary forms (Q2640861) (← links)
- Gröbner bases: An introduction (Q5204332) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra (Q5505483) (← links)
- A new approach to primary decomposition (Q5928893) (← links)
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems (Q6157643) (← links)
