Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Characteristic Decomposition: From Regular Sets to Normal Sets., and . J. Systems Science & Complexity, 32 (1): 37-46 (2019)GEOTHER: A Geometry Theorem Prover.. CADE, volume 1104 of Lecture Notes in Computer Science, page 166-170. Springer, (1996)Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints., , , and . SAC, page 94-101. ACM, (2012)The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems.. Algorithmic Algebra and Logic, page 269-274. Books on Demand, (2005)Special Issue on Program Verification, Automated Debugging and Symbolic Computation., , and . J. Symb. Comput., (2017)A method based on an improved immune genetic algorithm for the feature fusion of the infrared and visible images., and . J. Comput. Methods Sci. Eng., 18 (3): 591-603 (2018)Foreword to the Special Focus on Mathematics, Data and Knowledge., , and . Math. Comput. Sci., 7 (4): 379-386 (2013)GeoText: an intelligent dynamic geometry textbook., , and . ACM Commun. Comput. Algebra, 46 (3/4): 171-175 (2012)Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving., and . Fundam. Informaticae, 39 (1-2): 85-104 (1999)Novel Scheme for Joint Estimation of SNR, Doppler, and Carrier Frequency Offset in Double-Selective Wireless Channels., , , , and . IEEE Trans. Veh. Technol., 58 (3): 1204-1217 (2009)