Crossmark

Simplifying the axiomatization for ordered affine geometry via a theorem prover

Published Online: 2023-04-03

Published Print: 2023-08

Authors

Li, Dafa
License Information

Text and Data Mining valid from 2023-04-03

Version of Record valid from 2023-04-03
More Information

Article History

Received: 20 January 2023

Revised: 23 March 2023

Accepted: 24 March 2023

First Online: 3 April 2023

Declarations

:

: Author declares that there is no conflict of interest.

Document is current