What is the state of the art concerning automated geometry theorem provers (AGTP)?
I can see that a few CAS and dynamic geometry softwares (e.g. geogebra) have embedded provers but I failed to find a comparison of these solvers nor a thorough list of AGTP.
Are there still AGTP using the quantif...
@JDH Since also the related determinacy tag was mentioned, I will point out that this tag has empty tag-info at the moment. However, I am by no means qualified to write some tag-excerpt/tag-wiki. (And I am also not sure what was the intention of the tag-creator where the tag should be used.)
The tag divergent-integrals has been created not too long ago. Has this tag potential to be useful? Both questions which have this tag at the moment have negative score, one of them is on hold.
We know, the following generalized integrals exist (following Cesaro and other methods):
$\int_0^\infty \sin x\, dx =1$
$\int_0^\infty \cos x\, dx =0$
Is there a published method to ascribe a meaningful value to
$\int_0^\infty \tan x\, dx$?
UPDATE
In my theory that is under development wher...
The integral
$$\int_{-\infty}^\infty \sec^2 x \, dx$$
is very much divergent, even on finite intervals, not to say the entire real axis.
Yet, I used a new technique to approach this integral and came to a regularized value of $-\frac1{3\pi}$. Do any other methods allow to ascribe a regularize...
What is the state of the art concerning automated geometry theorem provers (AGTP)?
I can see that a few CAS and dynamic geometry softwares (e.g. geogebra) have embedded provers but I failed to find a comparison of these solvers nor a thorough list of AGTP.
Are there still AGTP using the quantif...
