Использование GXWeb для доказательства теорем
и математического моделирования
Using GXWeb for Theorem Proving
and Mathematical Modelling
Philip Todd
Saltire Software
Danny Aley
Saltire Software
https://arxiv.org/pdf/2401.13701 | webarchive
Использование GXWeb для доказательства теорем
и математического моделирования
Using GXWeb for theorem proving and mathematical
modelling
Danny Aley & Philip Todd
Saltire Software
https://adg2023.matf.bg.ac.rs/downloads/slides/UsingGXWebAleyTodd.pdf | webarchive
141 theorems proved using GXWeb / 141 теорема, доказанная с помощью GXWeb
https://href.li/?https://www.geometryexpressions.com/downloads/theoremsWithGXWeb.pdf | webarchive
Математическое исследование на основе браузера с помощью
GXWeb и WolframAlpha
A Browser Based Mathematical Investigation with
GXWeb and WolframAlpha
Philip Todd
Saltire Software
https://atcm.mathandtech.org/EP2020/invited/21809.pdf | webarchive
Fun Models with GXWeb!
Saltire Software
3 videos Last updated on Aug 16, 2024
https://www.youtube.com/playlist?list=PLFrCGyPL6VsSMVqsoWUqWw7o8KUhmQRzr
Algebra Representations with GXWeb
Saltire Software
1 video Last updated on Jul 30, 2024
https://www.youtube.com/playlist?list=PLFrCGyPL6VsT5fvHSuS8KpnOAQT8qUJok
Solving problems with GXWeb / Решение задач с помощью GXWeb
Saltire Software
24 videos Last updated on 24, 2024
https://www.youtube.com/playlist?list=PLFrCGyPL6VsStFxlmMgAu6UsKqGgb5BiO
GXWeb and Wolfram Alpha
Saltire Software
11 videos Last updated on Aug 24, 2024
https://www.youtube.com/playlist?list=PLFrCGyPL6VsQbItNEfGHk-qQd4F-GqTOP
Mechanisms for the Generation of Plane Curves with GXWeb / Механизмы для построения плоских кривых с помощью GXWeb
Saltire Software
60 videos Last updated on Feb 15, 2021
https://www.youtube.com/playlist?list=PLFrCGyPL6VsTxwcrXeftvglptMlIzWE1G
Proving Theorems with GXWeb / Доказательство теорем с помощью GXWeb
Saltire Software
62 videos Last updated on Aug 6, 2024
https://www.youtube.com/playlist?list=PLFrCGyPL6VsT5xuljl8ewV5FJgDY4UhvV
https://www.youtube.com/@compasslearningtechnologie9743
