Follow
Using GXWeb for Theorem Proving and Mathematical Modelling. (arXiv:2401.13701v1 [math.HO]) http://arxiv.org/abs/2401.13701
Using GXWeb for Theorem Proving and Mathematical Modelling. (arXiv:2401.13701v1 [math.HO]) http://arxiv.org/abs/2401.13701