The following pages link to (Q4525303):
Displaying 13 items.
- Implicit functions and parametrizations in dimension three: generalized solutions (Q255646) (← links)
- Improved Jacobian elliptic function method and its applications. (Q1419150) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. (Q1426144) (← links)
- New exact solutions for three nonlinear evolution equations (Q1598602) (← links)
- New multiple soliton-like solutions to the generalized \((2+1)\)-dimensional KP equation (Q1888254) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- A \textit{Maple} package for finding interaction solutions of nonlinear evolution equations (Q2012718) (← links)
- Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
- A computer-aided proof of a conjecture in Euclidean geometry (Q2389464) (← links)
- Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms (Q2489154) (← links)
- Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation (Q2570765) (← links)
- Algorithm and mechanization to Cauchy problem of parabolic equation (Q2571955) (← links)
