Tomás Recio

Comput., February, 2024

Computing with Tarski formulas and semi-algebraic sets in a web browser.

[BibT_eX]

[DOI]

J. Symb. Comput., 2024

Efficient isochronous fixed-weight sampling with applications to NTRU.

[BibT_eX]

[DOI]

Décio Luiz Gazzoni Filho

Julio López

IACR Cryptol. ePrint Arch., 2024

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned.

[BibT_eX]

[DOI]

CoRR, 2024

Showing Proofs, Assessing Difficulty with GeoGebra Discovery.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Christopher W. Brown

ACM Commun. Comput. Algebra, June, 2023

Articles, software, data: An Open Science ethological study.

[BibT_eX]

[DOI]

Maple Trans., 2023

Towards Detection of Partial Truth via Real Geometry.

[BibT_eX]

[DOI]

Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, 2023

2022

Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

[BibT_eX]

[DOI]

Math. Comput. Sci., 2022

Niagara Falls and the Origins of Computer Algebra.

[BibT_eX]

[DOI]

Carlos Ueno

Maple Trans., 2022

A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2021

A Mechanical Geometer.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

GeoGebra Discovery in Context.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture).

[BibT_eX]

[DOI]

CoRR, 2021

Automated reasoning tools in GeoGebra discovery.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2021

2020

Reasoning about linkages with dynamic geometry.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

Special issue on dynamic geometry and automated reasoning.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

A policy and legal Open Science framework: a proposal.

[BibT_eX]

[DOI]

CoRR, 2020

Merging Maple and GeoGebra Automated Reasoning Tools.

[BibT_eX]

[DOI]

Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

2019

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

On the evaluation of research software: the CDUR procedure.

[BibT_eX]

[DOI]

F1000Research, 2019

Rewriting input expressions in complex algebraic geometry provers.

[BibT_eX]

[DOI]

Csilla Sólyom-Gecse

Ann. Math. Artif. Intell., 2019

2018

Detecting truth on components.

[BibT_eX]

[DOI]

CoRR, 2018

The Importance of Being Zero.

[BibT_eX]

[DOI]

Carlos Villarino

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

Towards an Automated Geometer.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Computing envelopes in dynamic geometry environments.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

2016

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2016

Some issues on the automatic computation of plane envelopes in interactive environments.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2016

On tubular vs. swung surfaces.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Development of automatic reasoning tools in GeoGebra.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Towards the Automatic Discovery of Theorems in GeoGebra.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Automated Theorem Proving in GeoGebra: Current Achievements.

[BibT_eX]

[DOI]

J. Autom. Reason., 2015

2014

Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2014

Generalizing the Steiner-Lehmus theorem using the Gröbner cover.

[BibT_eX]

[DOI]

Antonio Montes

Math. Comput. Simul., 2014

An algebraic taxonomy for locus computation in dynamic geometry.

[BibT_eX]

[DOI]

Comput. Aided Des., 2014

Ultraquadrics associated to affine and projective automorphisms.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2014

Reparametrizing swung surfaces over the reals.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2014

Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

2011

Algorithmic detection of hypercircles.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2011

Proper real reparametrization of rational ruled surfaces.

[BibT_eX]

[DOI]

Comput. Aided Geom. Des., 2011

Equal Bisectors at a Vertex of a Triangle.

[BibT_eX]

[DOI]

R. Losada

José L. Valcarce

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Teaching Geometry with TutorMates.

[BibT_eX]

[DOI]

María José González

Julio Rubio

Abel Pascual

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010

Generalizing circles over algebraic extensions.

[BibT_eX]

[DOI]

Math. Comput., 2010

2009

On the simplification of the coefficients of a parametrization.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

On Protocols for the Automated Discovery of Theorems in Elementary Geometry.

[BibT_eX]

[DOI]

Giorgio Dalzotto

J. Autom. Reason., 2009

2007

Foreword from the Editors.

[BibT_eX]

[DOI]

Alicia Dickenstein

Patrizia Gianni

J. Symb. Comput., 2007

Plotting missing points and branches of real parametric curves.

[BibT_eX]

[DOI]

Carlos Andradas

Appl. Algebra Eng. Commun. Comput., 2007

2006

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.

[BibT_eX]

[DOI]

Antonio Montes

Proceedings of the Automated Deduction in Geometry, 2006

2004

Review of "Computational Commutative Algebra I by Martin Kreuzer and Lorenzo Robbiano", Springer Verlag, 2000, ISBN 3-540-67733-X.

[BibT_eX]

[DOI]

SIGSAM Bull., 2004

From hypercircles to units.

[BibT_eX]

[DOI]

Carlos Villarino

Proceedings of the Symbolic and Algebraic Computation, 2004

Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2004

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2001

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors.

[BibT_eX]

[DOI]

Manfred Kerber

J. Symb. Comput., 2001

1999

Automatic Discovery of Theorems in Elementary Geometry.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Computing Weil's descente variety.

[BibT_eX]

[DOI]

SIGSAM Bull., 1999

Base Field Restriction Techniques for Parametric Curves.

[BibT_eX]

[DOI]

Carlos Andradas

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1998

Advances on the Simplification of Sine-Cosine Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1998

1997

Real Reparametrizations of Real Curves.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Voronoi Diagrams on Orbifolds.

[BibT_eX]

[DOI]

Marisa Mazón

Comput. Geom., 1997

A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors.

[BibT_eX]

[DOI]

Carlos Andradas

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1996

Geometry of bisectors for strictly convex distances.

[BibT_eX]

[DOI]

A. Corbalan

Marisa Mazón

Int. J. Comput. Geom. Appl., 1996

1995

A Rational Function Decomposition Algorithm by Near-Separated Polynomials.

[BibT_eX]

[DOI]

Cesar Alonso

J. Symb. Comput., 1995

An implicitization algorithm with fewer variables.

[BibT_eX]

[DOI]

Cesar Alonso

Comput. Aided Geom. Des., 1995

Reconsidering algorithms for real parametric curves.

[BibT_eX]

[DOI]

Cesar Alonso

Appl. Algebra Eng. Commun. Comput., 1995

1994

Spécialisation de la suite de Sturm.

[BibT_eX]

[DOI]

Henri Lombardi

Marie-Françoise Roy

RAIRO Theor. Informatics Appl., 1994

A Note on Rabin's Width of a Complete Proof.

[BibT_eX]

[DOI]

José Luis Montaña

Luis Miguel Pardo

Comput. Complex., 1994

On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations.

[BibT_eX]

[DOI]

M. J. González-López

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1993

Path Tracking in Motion Planning.

[BibT_eX]

[DOI]

M. J. González-López

Comput. J., 1993

On the Topological Shape of Planar Voronoi Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Computational GeometrySan Diego, 1993

1992

Rational Function Decomposition and Gröbner Bases in the Parameterization of Plane Curves (An extended abstract).

[BibT_eX]

[DOI]

Proceedings of the LATIN '92, 1992

A Practical Implementation of Two Rational Function Decomposition Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1990

Spécialisation de la suite de Sturm et sous-résulants.

[BibT_eX]

[DOI]

Henri Lombardi

Marie-Françoise Roy

RAIRO Theor. Informatics Appl., 1990

Algorithms in Real Algebraic Geometry and Applications to Computational Geometry.

[BibT_eX]

[DOI]

Joos Heintz

Marie-Françoise Roy

Proceedings of the Discrete and Computational Geometry: Papers from the DIMACS Special Year, 1990

1989

Sturm-Habicht Sequence.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Polynomial Decomposition Algorithm of Almost Quadratic Complexity.

[BibT_eX]

[DOI]

C. Ruiz de Velasco

Proceedings of the Applied Algebra, 1988

1987

Rabin's width of a complete proof and the width of a semialgebraic set.

[BibT_eX]

[DOI]