The following pages link to Yang Xu (Q209286):
Displaying 3 items.
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)
- Incremental quaternion singular value decomposition and its application for low rank quaternion matrix completion (Q6590214) (← links)
- Bounds of the solution set to the polynomial complementarity problem (Q6636781) (← links)