Geodesic
Computer assisted proofs
Matematičeskoe obrazovanie, Tome 94 (2020) no. 2, pp. 42-47

Voir la notice de l'article provenant de la source Math-Net.Ru

The article gives examples of the application of computer algebra systems to the proof of theorems in elementary geometry, algebra and number theory.
Keywords: symbolic computation, computer algebra, application to theorem proving. 
@article{MO_2020_94_2_a5,
     author = {N. N. Osipov},
     title = {Computer assisted proofs},
     journal = {Matemati\v{c}eskoe obrazovanie},
     pages = {42--47},
     publisher = {mathdoc},
     volume = {94},
     number = {2},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MO_2020_94_2_a5/}
}
TY  - JOUR
AU  - N. N. Osipov
TI  - Computer assisted proofs
JO  - Matematičeskoe obrazovanie
PY  - 2020
SP  - 42
EP  - 47
VL  - 94
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MO_2020_94_2_a5/
LA  - ru
ID  - MO_2020_94_2_a5
ER  - 
%0 Journal Article
%A N. N. Osipov
%T Computer assisted proofs
%J Matematičeskoe obrazovanie
%D 2020
%P 42-47
%V 94
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MO_2020_94_2_a5/
%G ru
%F MO_2020_94_2_a5
N. N. Osipov. Computer assisted proofs. Matematičeskoe obrazovanie, Tome 94 (2020) no. 2, pp. 42-47. http://geodesic.mathdoc.fr/item/MO_2020_94_2_a5/