Abstract
Intelligent calculations can already assist in the completion of mathematical proofs. We have completed a partial verification of an important theory with data calculation as the main method. When the dimension is ten, free group generated by two elements with linear representation is unipotent when the primitive elements are unipotent and the maximum Jordan block does not exceed the eighth order, at the same time there is a primitive element with the maximum Jordan block not exceeding the second order.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
