Wu, Jiahao; Wu, Yuxin; Zhang, Guihua; Zhang, Yang Variable linear transformation improved physics-informed neural networks to solve thin-layer flow problems. (English) Zbl 07811343 J. Comput. Phys. 500, Article ID 112761, 21 p. (2024). MSC: 68Txx 65Mxx 65-XX PDFBibTeX XMLCite \textit{J. Wu} et al., J. Comput. Phys. 500, Article ID 112761, 21 p. (2024; Zbl 07811343) Full Text: DOI
Xu, Fangzhou; Li, Jincheng; Dong, Gege; Li, Jianfei; Chen, Xinyi; Zhu, Jianqun; Hu, Jinglu; Zhang, Yang; Yue, Shouwei; Wen, Dong; Leng, Jiancai EEG decoding method based on multi-feature information fusion for spinal cord injury. (English) Zbl 1525.92045 Neural Netw. 156, 135-151 (2022). MSC: 92C55 92B20 68T07 PDFBibTeX XMLCite \textit{F. Xu} et al., Neural Netw. 156, 135--151 (2022; Zbl 1525.92045) Full Text: DOI
Moghaddam, G. I.; Padmanabhan, R.; Zhang, Yang Automated reasoning with power maps. (English) Zbl 1468.03016 J. Autom. Reasoning 64, No. 4, 689-697 (2020). MSC: 03B35 20K15 20M10 68V15 68V20 PDFBibTeX XMLCite \textit{G. I. Moghaddam} et al., J. Autom. Reasoning 64, No. 4, 689--697 (2020; Zbl 1468.03016) Full Text: DOI
Padmanabhan, Ranganathan; Zhang, Yang Commutativity theorems in groups with power-like maps. (English) Zbl 1451.03017 J. Formaliz. Reason. 12, 1-10 (2019). MSC: 03B35 20A05 68V15 PDFBibTeX XMLCite \textit{R. Padmanabhan} and \textit{Y. Zhang}, J. Formaliz. Reason. 12, 1--10 (2019; Zbl 1451.03017) Full Text: DOI
Padmanabhan, Ranganathan; Zhang, Yang Automated deduction in ring theory. (English) Zbl 1434.68642 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 67-74 (2016). MSC: 68V15 03B35 16Z05 PDFBibTeX XMLCite \textit{R. Padmanabhan} and \textit{Y. Zhang}, Lect. Notes Comput. Sci. 9725, 67--74 (2016; Zbl 1434.68642) Full Text: DOI
Huang, Liji; Wang, Qing-Wen; Zhang, Yang The Moore-Penrose inverses of matrices over quaternion polynomial rings. (English) Zbl 1312.15006 Linear Algebra Appl. 475, 45-61 (2015). MSC: 15A09 68W30 PDFBibTeX XMLCite \textit{L. Huang} et al., Linear Algebra Appl. 475, 45--61 (2015; Zbl 1312.15006) Full Text: DOI
Huang, Liji; Shivakumar, Pappur N.; Zhang, Yang Solving quadratic quaternion equations via Maple. (English) Zbl 1360.11125 Can. Appl. Math. Q. 21, No. 2, 213-244 (2013). MSC: 11R52 68W30 PDFBibTeX XMLCite \textit{L. Huang} et al., Can. Appl. Math. Q. 21, No. 2, 213--244 (2013; Zbl 1360.11125)
Sun, Yao; Wang, Dingkang; Ma, Xiaodong; Zhang, Yang A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras. (English) Zbl 1308.68193 van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 351-358 (2012). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{Y. Sun} et al., in: Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22--25, 2012. New York, NY: Association for Computing Machinery (ACM). 351--358 (2012; Zbl 1308.68193) Full Text: DOI
Giesbrecht, Mark; Labahn, George; Zhang, Yang Computing Popov forms of matrices over PBW extensions (extended abstract). (English) Zbl 1192.68927 Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 54-57 (2009). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., COE Lect. Note 22, 54--57 (2009; Zbl 1192.68927)
Giesbrecht, Mark; Labahn, George; Zhang, Yang Computing valuation Popov forms. (English) Zbl 1120.68465 Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. Berlin: Springer (ISBN 3-540-26044-7/pbk). Lecture Notes in Computer Science 3516, 619-626 (2005). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., Lect. Notes Comput. Sci. 3516, 619--626 (2005; Zbl 1120.68465) Full Text: DOI
Giesbrecht, Mark; Zhang, Yang Factoring and decompositing Ore polynomials over \(\mathbb{F}_q(t)\). (English) Zbl 1072.68670 Sendra, J. Rafael (ed.), ISSAC 2003. Proceedings of the 2003 international symposium on symbolic and algebraic computation, Philadelphia, PA, USA, August 3–6, 2003. New York, NY: ACM Press (ISBN 1-58113-641-2/pbk). 127-134 (2003). MSC: 68W30 13P05 PDFBibTeX XMLCite \textit{M. Giesbrecht} and \textit{Y. Zhang}, in: Proceedings of the 2003 international symposium on symbolic and algebraic computation, ISSAC 2003, Philadelphia, PA, USA, August 3--6, 2003. New York, NY: ACM Press. 127--134 (2003; Zbl 1072.68670)