Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

✍ Scribed by RuYong Feng; JianPing Yu

• Book ID: 107347783
• Publisher: SP Science China Press
• Year: 2008
• Tongue: English
• Weight: 221 KB
• Volume: 51
• Category: Article
• ISSN: 1674-7283
• DOI: 10.1007/s11425-008-0053-8