Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
An identity method for proving geometry theorems based on Wu's method - MaRDI portal

An identity method for proving geometry theorems based on Wu's method

From MaRDI portal

Publication:5064252

Jump to:navigation, search

DOI10.1360/SSM-2020-0108zbMath1499.03011OpenAlexW3118696091MaRDI QIDQ5064252

Yu Zou, Xicheng Peng, Yongsheng Rao

Publication date: 21 March 2022

Published in: SCIENTIA SINICA Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1360/ssm-2020-0108

zbMATH Keywords

Wu's method geometry theorem proving point geometry identity method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Computational methods for problems pertaining to geometry (51-08)

Related Items

Self-evident automated geometric theorem proving based on complex number identity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5064252&oldid=19559004"