>
> I'm looking for formal outputs that are not calculated as a human can do
> (this is for a free french "book"). Do you know such kind of examples ?
Like Simon, I'm no sure if this is what you mean, but Bruno Buchberger was
for a while working on a proof-generating system called *Theorema,*
Hi Christophe,
["Followup-To:" nach gmane.comp.mathematics.sage.support gesetzt.]
On 2014-10-29, Christophe Bal wrote:
> I'm looking for formal outputs that are not calculated as a human can do
> (this is for a free french "book"). Do you know such kind of examples ?
I don't understand your ques
