new release out

0 views
Skip to first unread message

Kovács Zoltán

unread,
Aug 9, 2023, 6:59:44 AM8/9/23
to geogebra-discovery
Dear Colleagues,
here is a new release:
This introduces a very important improvement: the immediate availability of the ShowProof command on the web (and also in native mode, without any magic on the command line).

image.png

Best, Zoltan

--

Dr. Zoltán Kovács, MSc

Institut Ausbildung

 

Private Pädagogische Hochschule der Diözese Linz
Private University of Education, Diocese Linz
Salesianumweg 3, 4020 Linz
Mail: zoltan...@ph-linz.at

Web: www.ph-linz.at


Philippe R. Richard

unread,
Aug 9, 2023, 7:16:12 AM8/9/23
to Kovács Zoltán, geogebra-discovery
Great, a reductio ad absurdum demonstration!

Well done, Zoltán, I'll have to take a closer look.

Philippe

Le 9 août 2023 à 06:59, Kovács Zoltán <kov...@gmail.com> a écrit :

Dear Colleagues,
here is a new release:
This introduces a very important improvement: the immediate availability of the ShowProof command on the web (and also in native mode, without any magic on the command line).

<image.png>

Best, Zoltan

--

Dr. Zoltán Kovács, MSc

Institut Ausbildung

 

Private Pädagogische Hochschule der Diözese Linz
Private University of Education, Diocese Linz
Salesianumweg 3, 4020 Linz
Mail: zoltan...@ph-linz.at

Web: www.ph-linz.at



--
You received this message because you are subscribed to the Google Groups "geogebra-discovery" group.
To unsubscribe from this group and stop receiving emails from it, send an email to geogebra-discov...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/geogebra-discovery/CACQaL-%2B7JFG8Tk_BOfAgMfqi1DYHrv9iTMZHEyxhOarRp9Ptyg%40mail.gmail.com.

Kovács Zoltán

unread,
Aug 9, 2023, 7:51:58 AM8/9/23
to Philippe R. Richard, geogebra-discovery
Philippe, thanks for the quick feedback!
The command ShowProof(f==g) can give this proof. The CAS View must be enabled first, but the command must be entered in the Algebra View.
All the best, Zoltan
Reply all
Reply to author
Forward
0 new messages