Miguel A. Abánades

From MaRDI portal
Person:390368

Available identifiers

zbMath Open abanades.miguel-angelMaRDI QIDQ390368

List of research outcomes





PublicationDate of PublicationType
Development of automatic reasoning tools in GeoGebra2017-06-22Paper
Towards the Automatic Discovery of Theorems in GeoGebra2016-09-28Paper
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification2014-09-08Paper
Automatic deduction in (dynamic) geometry: Loci computation2014-01-08Paper
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes2013-08-09Paper
https://portal.mardi4nfdi.de/entity/Q35801122010-08-11Paper
https://portal.mardi4nfdi.de/entity/Q35801352010-08-11Paper
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems2007-11-28Paper
Algebraic homology for real hyperelliptic and real projective ruled surfaces2001-01-01Paper
Bounded meromorphic functions on compact real analytic sets2000-06-07Paper
Algebraic equivalence of real algebraic cycles1999-11-24Paper

Research outcomes over time

This page was built for person: Miguel A. Abánades

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:390368&oldid=6994752"
Powered by MediaWiki