Klaus Meer: Proof verification in real number complexity (PAFA)
	Volume 8, Number 4, 1135-1157, 2023 Proof verification in real number complexity Klaus Meer    ONLINE SUBSCRIPTION (Library Only) PDF   PDF   Open Access (Free) Html   Flash              Copyright © 2023 Yokohama Publishers