From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

GeoText: an intelligent dynamic geometry textbook., , и . ACM Commun. Comput. Algebra, 46 (3/4): 171-175 (2012)Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving., и . Fundam. Informaticae, 39 (1-2): 85-104 (1999)Foreword to the Special Focus on Mathematics, Data and Knowledge., , и . Math. Comput. Sci., 7 (4): 379-386 (2013)A method based on an improved immune genetic algorithm for the feature fusion of the infrared and visible images., и . J. Comput. Methods Sci. Eng., 18 (3): 591-603 (2018)Characteristic Decomposition: From Regular Sets to Normal Sets., и . J. Systems Science & Complexity, 32 (1): 37-46 (2019)The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.. Algorithmic Algebra and Logic, стр. 269-274. Books on Demand, (2005)GEOTHER: A Geometry Theorem Prover.. CADE, том 1104 из Lecture Notes in Computer Science, стр. 166-170. Springer, (1996)Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints., , , и . SAC, стр. 94-101. ACM, (2012)Special Issue on Program Verification, Automated Debugging and Symbolic Computation., , и . J. Symb. Comput., (2017)Spanning Tree Method for Over-the-Air Channel Calibration in 6G Cell-Free Massive MIMO., , , , и . IEEE Trans. Wirel. Commun., 22 (8): 5567-5582 (августа 2023)