The following pages link to (Q3998374):
Displayed 11 items.
- Problem solving with well posedness analysis. I. (Q856178) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- A system simulating representation change phenomena while problem solving (Q929765) (← links)
- Construction of bound entangled edge states with special ranks (Q942594) (← links)
- The natural reference wavenumber for parabolic approximations in ocean acoustics (Q1067924) (← links)
- Learning by understanding analogies (Q1104112) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- New relations and identities for generalized hypergeometric coefficients (Q1190770) (← links)
- Link concepts and partitioning in model formulation (Q2367552) (← links)
- Variations of a combinatorial problem on finite sets (Q2470896) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)