Robert Vajda

Available identifiers

Publication	Date of Publication	Type
Computing with Tarski formulas and semi-algebraic sets in a web browser	2023-08-10	Paper
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?	2023-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5886093	2023-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5081406	2022-06-14	Paper
An explicit radical parametrization of Zolotarev polynomials of degree 7 in terms of nested square roots	2022-05-17	Paper
Symbolic Comparison of Geometric Quantities in GeoGebra	2022-02-07	Paper
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski	2022-01-03	Paper
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra	2022-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q5854537	2021-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4969517	2020-10-13	Paper
An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form	2020-02-02	Paper
An explicit univariate and radical parametrization of the sextic proper Zolotarev polynomials	2019-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q2972809	2017-04-07	Paper
Monoidal intervals on three- and four-element sets	2017-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q3187634	2016-09-02	Paper
Hermite interpolation sequences over fields	2014-01-21	Paper
Combining logical and algebraic techniques for natural style proving in elementary analysis	2009-06-18	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Vajda