×
Author ID: recio.tomas Recent zbMATH articles by "Recio, Tomas"
Published as: Recio, Tomás; Recio, T.; Recio, Tomas; Recio, Thomas
Documents Indexed: 88 Publications since 1982
5 Contributions as Editor
Reviewing Activity: 8 Reviews
Biographic References: 1 Publication
Co-Authors: 43 Co-Authors with 85 Joint Publications
523 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 405 times in 243 Documents Cited by Year
Automatic discovery of theorems in elementary geometry. Zbl 0941.03010
Recio, T.; Vélez, M. P.
40
1999
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
26
2015
A rational function decomposition algorithm by near-separated polynomials. Zbl 0840.68048
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
25
1995
Spécialisation de la suite de Sturm et sous-résultants. I. (Specialization of the Sturm sequence and subresultants. I). Zbl 0732.68059
González-Vega, L.; Lombardi, H.; Recio, T.; Roy, M.-F.
24
1990
Sturm-Habicht sequences, determinants and real roots of univariate polynomials. Zbl 0900.12002
González-Vega, L.; Recio, T.; Lombardi, H.; Roy, M.-F.
23
1998
Real reparametrizations of real curves. Zbl 0877.68115
Recio, Tomas; Sendra, J. Rafael
14
1997
On protocols for the automated discovery of theorems in elementary geometry. Zbl 1184.68458
Dalzotto, G.; Recio, T.
14
2009
Plotting missing points and branches of real parametric curves. Zbl 1192.14045
Andradas, Carlos; Recio, Tomás
13
2007
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems. Zbl 1195.68093
Montes, Antonio; Recio, Tomás
12
2007
Generalizing circles over algebraic extensions. Zbl 1203.14071
Recio, T.; Sendra, J. R.; Tabera, L. F.; Villarino, C.
11
2010
Proper real reparametrization of rational ruled surfaces. Zbl 1210.65032
Andradas, Carlos; Recio, Tomás; Tabera, Luis F.; Sendra, J. Rafael; Villarino, Carlos
10
2011
Algorithms in real algebraic geometry and applications to computational geometry. Zbl 0751.14038
Heintz, Joos; Recio, Tomas; Roy, Marie-Françoise
9
1991
On the simplification of the coefficients of a parametrization. Zbl 1152.13303
Andradas, Carlos; Recio, Tomas; Sendra, J. Rafael; Tabera, Luis Felipe
9
2009
The non-scalar model of complexity in computational geometry. Zbl 0762.14027
Montaña, José L.; Pardo, Luis M.; Recio, Tomas
8
1991
An implicitization algorithm with fewer variables. Zbl 0875.68835
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
8
1995
On the computation of the local and global analytic branches of a real algebraic curve. Zbl 0697.14002
Cucker, F.; Pardo, L. M.; Raimondo, M.; Recio, T.; Roy, M. F.
8
1989
Geometry of bisectors for strictly convex distances. Zbl 0851.68109
Corbalan, A. G.; Mazon, M.; Recio, T.
8
1996
From hypercircles to units. Zbl 1134.14315
Recio, Tomas; Sendra, J. Rafael; Villarino, Carlos
7
2004
An introduction to automated discovery in geometry through symbolic computation. Zbl 1250.65040
Recio, Tomas; Vélez, María P.
7
2012
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
7
2016
A relatively optimal rational space curve reparametrization algorithm through canonical divisors. Zbl 0918.14023
Andradas, Carlos; Recio, Tomás; Sendra, J. Rafael
6
1997
Ordered fields with the dense orbits property. Zbl 0533.12018
Gamboa, J. M.; Recio, T.
6
1983
Specialization of the Sturm sequence. (Spécialisation de la suite de Sturm.) Zbl 0999.12502
González-Vega, Laureano; Lombardi, Henri; Recio, Thomas; Roy, Marie-Françoise
5
1994
Project 1: Automatic geometry theorem proving. Zbl 0951.68547
Recio, Tomas; Sterk, Hans; Vélez, M. Pilar
5
1999
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
5
2017
Reparametrizing swung surfaces over the reals. Zbl 1342.53003
Andradas, Carlos; Recio, Tomás; Sendra, J. Rafael; Tabera, Luis-Felipe; Villarino, Carlos
5
2014
Where the truth lies (in automatic theorem proving in elementary geometry). Zbl 1127.68428
Recio, T.; Botana, F.
5
2004
Reconsidering algorithms for real parametric curves. Zbl 0844.14026
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
5
1995
A note on Rabin’s width of a complete proof. Zbl 0806.68062
Montaña, José L.; Pardo, Luis M.; Recio, Tomás
4
1994
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
2016
Some issues on the automatic computation of plane envelopes in interactive environments. Zbl 07313652
Botana, Francisco; Recio, Tomas
4
2016
Generalizing the Steiner-Lehmus theorem using the Gröbner cover. Zbl 1467.68231
Montes, Antonio; Recio, Tomás
4
2014
Automated reasoning tools in GeoGebra Discovery. Zbl 07581915
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
4
2021
Detecting truth, just on parts. Zbl 1412.13003
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
4
2019
Towards an automated geometer. Zbl 1515.68340
Botana, Francisco; Kovács, Zoltán; Recio, Tomás
4
2018
Voronoi diagrams on orbifolds. Zbl 0889.68144
Mazón, M.; Recio, T.
3
1997
A note on separated factors of separated polynomials. Zbl 0904.12006
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
3
1997
Towards solving the dynamic geometry bottleneck via a symbolic approach. Zbl 1159.68549
Botana, Francisco; Recio, Tomás
3
2006
Algorithmic detection of hypercircles. Zbl 1247.14063
Recio, Tomas; Sendra, J. Rafael; Tabera, Luis Felipe; Villarino, Carlos
3
2011
Software using the Gröbner cover for geometrical loci computation and classification. Zbl 1437.13001
Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás
3
2014
Rabin’s width of a complete proof and the width of a semialgebraic set. Zbl 1209.13006
Recio, Tomás; Pardo, Luis M.
3
1989
A proposal for the automatic computation of envelopes of families of plane curves. Zbl 1417.68177
Botana, Francisco; Recio, Tomás
3
2019
Reasoning about linkages with dynamic geometry. Zbl 1440.68341
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
3
2020
Generalized Thom’s lemma in semianalytic geometry. Zbl 0634.32008
Fernandez, Fernando; Recio, Tomas; Ruiz, Jesus
2
1987
A really elementary proof of real Lüroth’s theorem. Zbl 0901.12002
Recio, T.; Sendra, J. R.
2
1997
Polynomial decomposition algorithm of almost quadratic complexity. Zbl 0673.13002
Gutiérrez, J.; Recio, T.; Ruiz de Velasco, C.
2
1989
Advances on the simplification of sine-cosine equations. Zbl 0912.65041
Gutierrez, Jaime; Recio, Tomas
2
1998
Ordered fields and real algebraic geometry. Proceedings of the Special Session on Ordered Fields and Real Algebraic Geometry, 87th Annual Meeting of the American Mathematical Society, held in San Francisco, California, January 7-11, 1981. Zbl 0473.00005
2
1982
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions. Zbl 1467.30021
Recio, Tomas; Sendra, J.-Rafael; Tabera, Luis-Felipe; Villarino, Carlos
2
2014
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
2
2016
A mechanical geometer. Zbl 07465794
Botana, Francisco; Kovács, Zoltán; Recio, Tomás
2
2021
A rational function decomposition algorithm by near-separated polynomials. Zbl 0959.12005
Alonso, Cesar; Gutiérrez, Jaime; Recio, Tomás
1
1996
Path tracking in motion planning. Zbl 0780.68074
González-López, M. J.; Recio, T.
1
1993
FRAC: A Maple package for computing in the rational function field \(\mathbb{K} (x)\). Zbl 0813.65048
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
1
1994
A practical implementation of two rational function decomposition algorithms. Zbl 0921.12005
Gutierrez, Jaime; Recio, Tomas
1
1992
Thom’s lemma in real geometry. Zbl 0681.14010
Miranda, I.; Recio, T.
1
1988
Order extensions and real algebraic geometry. Zbl 0484.12003
Dubois, D. W.; Recio, T.
1
1982
Rewriting input expressions in complex algebraic geometry provers. Zbl 1423.13004
Kovács, Z.; Recio, T.; Sólyom-Gecse, C.
1
2019
Algorithms in algebraic geometry and applications. Proceedings of the MEGA-94 conference, Santander, Spain, April 5-9, 1994. Zbl 0841.00016
1
1996
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch’s trick. Zbl 1453.68209
Ladra, Manuel; Páez-Guillán, Pilar; Recio, Tomás
1
2020
The importance of being zero. Zbl 1467.13060
Recio, Tomás; Sendra, J. Rafael; Villarino, Carlos
1
2018
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? Zbl 07700011
Brown, Christopher W.; Kovács, Zoltán; Recio, Tomás; Vajda, Róbert; Vélez, M. Pilar
1
2022
Computing with Tarski formulas and semi-algebraic sets in a web browser. Zbl 07725360
Kovács, Zoltán; Brown, Christopher; Recio, Tomás; Vajda, Róbert
1
2024
Computing with Tarski formulas and semi-algebraic sets in a web browser. Zbl 07725360
Kovács, Zoltán; Brown, Christopher; Recio, Tomás; Vajda, Róbert
1
2024
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? Zbl 07700011
Brown, Christopher W.; Kovács, Zoltán; Recio, Tomás; Vajda, Róbert; Vélez, M. Pilar
1
2022
Automated reasoning tools in GeoGebra Discovery. Zbl 07581915
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
4
2021
A mechanical geometer. Zbl 07465794
Botana, Francisco; Kovács, Zoltán; Recio, Tomás
2
2021
Reasoning about linkages with dynamic geometry. Zbl 1440.68341
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
3
2020
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch’s trick. Zbl 1453.68209
Ladra, Manuel; Páez-Guillán, Pilar; Recio, Tomás
1
2020
Detecting truth, just on parts. Zbl 1412.13003
Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
4
2019
A proposal for the automatic computation of envelopes of families of plane curves. Zbl 1417.68177
Botana, Francisco; Recio, Tomás
3
2019
Rewriting input expressions in complex algebraic geometry provers. Zbl 1423.13004
Kovács, Z.; Recio, T.; Sólyom-Gecse, C.
1
2019
Towards an automated geometer. Zbl 1515.68340
Botana, Francisco; Kovács, Zoltán; Recio, Tomás
4
2018
The importance of being zero. Zbl 1467.13060
Recio, Tomás; Sendra, J. Rafael; Villarino, Carlos
1
2018
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
5
2017
Development of automatic reasoning tools in GeoGebra. Zbl 1365.68431
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
7
2016
On the unavoidable uncertainty of truth in dynamic geometry proving. Zbl 1357.68197
Botana, Francisco; Recio, Tomas
4
2016
Some issues on the automatic computation of plane envelopes in interactive environments. Zbl 07313652
Botana, Francisco; Recio, Tomas
4
2016
Towards the automatic discovery of theorems in GeoGebra. Zbl 1434.68636
Abánades, Miguel; Botana, Francisco; Kovács, Zoltán; Recio, Tomás; Sólyom-Gecse, Csilla
2
2016
Automated theorem proving in GeoGebra: current achievements. Zbl 1356.68181
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
26
2015
Reparametrizing swung surfaces over the reals. Zbl 1342.53003
Andradas, Carlos; Recio, Tomás; Sendra, J. Rafael; Tabera, Luis-Felipe; Villarino, Carlos
5
2014
Generalizing the Steiner-Lehmus theorem using the Gröbner cover. Zbl 1467.68231
Montes, Antonio; Recio, Tomás
4
2014
Software using the Gröbner cover for geometrical loci computation and classification. Zbl 1437.13001
Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás
3
2014
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions. Zbl 1467.30021
Recio, Tomas; Sendra, J.-Rafael; Tabera, Luis-Felipe; Villarino, Carlos
2
2014
An introduction to automated discovery in geometry through symbolic computation. Zbl 1250.65040
Recio, Tomas; Vélez, María P.
7
2012
Proper real reparametrization of rational ruled surfaces. Zbl 1210.65032
Andradas, Carlos; Recio, Tomás; Tabera, Luis F.; Sendra, J. Rafael; Villarino, Carlos
10
2011
Algorithmic detection of hypercircles. Zbl 1247.14063
Recio, Tomas; Sendra, J. Rafael; Tabera, Luis Felipe; Villarino, Carlos
3
2011
Generalizing circles over algebraic extensions. Zbl 1203.14071
Recio, T.; Sendra, J. R.; Tabera, L. F.; Villarino, C.
11
2010
On protocols for the automated discovery of theorems in elementary geometry. Zbl 1184.68458
Dalzotto, G.; Recio, T.
14
2009
On the simplification of the coefficients of a parametrization. Zbl 1152.13303
Andradas, Carlos; Recio, Tomas; Sendra, J. Rafael; Tabera, Luis Felipe
9
2009
Plotting missing points and branches of real parametric curves. Zbl 1192.14045
Andradas, Carlos; Recio, Tomás
13
2007
Automatic discovery of geometry theorems using minimal canonical comprehensive Gröbner systems. Zbl 1195.68093
Montes, Antonio; Recio, Tomás
12
2007
Towards solving the dynamic geometry bottleneck via a symbolic approach. Zbl 1159.68549
Botana, Francisco; Recio, Tomás
3
2006
From hypercircles to units. Zbl 1134.14315
Recio, Tomas; Sendra, J. Rafael; Villarino, Carlos
7
2004
Where the truth lies (in automatic theorem proving in elementary geometry). Zbl 1127.68428
Recio, T.; Botana, F.
5
2004
Automatic discovery of theorems in elementary geometry. Zbl 0941.03010
Recio, T.; Vélez, M. P.
40
1999
Project 1: Automatic geometry theorem proving. Zbl 0951.68547
Recio, Tomas; Sterk, Hans; Vélez, M. Pilar
5
1999
Sturm-Habicht sequences, determinants and real roots of univariate polynomials. Zbl 0900.12002
González-Vega, L.; Recio, T.; Lombardi, H.; Roy, M.-F.
23
1998
Advances on the simplification of sine-cosine equations. Zbl 0912.65041
Gutierrez, Jaime; Recio, Tomas
2
1998
Real reparametrizations of real curves. Zbl 0877.68115
Recio, Tomas; Sendra, J. Rafael
14
1997
A relatively optimal rational space curve reparametrization algorithm through canonical divisors. Zbl 0918.14023
Andradas, Carlos; Recio, Tomás; Sendra, J. Rafael
6
1997
Voronoi diagrams on orbifolds. Zbl 0889.68144
Mazón, M.; Recio, T.
3
1997
A note on separated factors of separated polynomials. Zbl 0904.12006
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
3
1997
A really elementary proof of real Lüroth’s theorem. Zbl 0901.12002
Recio, T.; Sendra, J. R.
2
1997
Geometry of bisectors for strictly convex distances. Zbl 0851.68109
Corbalan, A. G.; Mazon, M.; Recio, T.
8
1996
A rational function decomposition algorithm by near-separated polynomials. Zbl 0959.12005
Alonso, Cesar; Gutiérrez, Jaime; Recio, Tomás
1
1996
Algorithms in algebraic geometry and applications. Proceedings of the MEGA-94 conference, Santander, Spain, April 5-9, 1994. Zbl 0841.00016
1
1996
A rational function decomposition algorithm by near-separated polynomials. Zbl 0840.68048
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
25
1995
An implicitization algorithm with fewer variables. Zbl 0875.68835
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
8
1995
Reconsidering algorithms for real parametric curves. Zbl 0844.14026
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
5
1995
Specialization of the Sturm sequence. (Spécialisation de la suite de Sturm.) Zbl 0999.12502
González-Vega, Laureano; Lombardi, Henri; Recio, Thomas; Roy, Marie-Françoise
5
1994
A note on Rabin’s width of a complete proof. Zbl 0806.68062
Montaña, José L.; Pardo, Luis M.; Recio, Tomás
4
1994
FRAC: A Maple package for computing in the rational function field \(\mathbb{K} (x)\). Zbl 0813.65048
Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas
1
1994
Path tracking in motion planning. Zbl 0780.68074
González-López, M. J.; Recio, T.
1
1993
A practical implementation of two rational function decomposition algorithms. Zbl 0921.12005
Gutierrez, Jaime; Recio, Tomas
1
1992
Algorithms in real algebraic geometry and applications to computational geometry. Zbl 0751.14038
Heintz, Joos; Recio, Tomas; Roy, Marie-Françoise
9
1991
The non-scalar model of complexity in computational geometry. Zbl 0762.14027
Montaña, José L.; Pardo, Luis M.; Recio, Tomas
8
1991
Spécialisation de la suite de Sturm et sous-résultants. I. (Specialization of the Sturm sequence and subresultants. I). Zbl 0732.68059
González-Vega, L.; Lombardi, H.; Recio, T.; Roy, M.-F.
24
1990
On the computation of the local and global analytic branches of a real algebraic curve. Zbl 0697.14002
Cucker, F.; Pardo, L. M.; Raimondo, M.; Recio, T.; Roy, M. F.
8
1989
Rabin’s width of a complete proof and the width of a semialgebraic set. Zbl 1209.13006
Recio, Tomás; Pardo, Luis M.
3
1989
Polynomial decomposition algorithm of almost quadratic complexity. Zbl 0673.13002
Gutiérrez, J.; Recio, T.; Ruiz de Velasco, C.
2
1989
Thom’s lemma in real geometry. Zbl 0681.14010
Miranda, I.; Recio, T.
1
1988
Generalized Thom’s lemma in semianalytic geometry. Zbl 0634.32008
Fernandez, Fernando; Recio, Tomas; Ruiz, Jesus
2
1987
Ordered fields with the dense orbits property. Zbl 0533.12018
Gamboa, J. M.; Recio, T.
6
1983
Ordered fields and real algebraic geometry. Proceedings of the Special Session on Ordered Fields and Real Algebraic Geometry, 87th Annual Meeting of the American Mathematical Society, held in San Francisco, California, January 7-11, 1981. Zbl 0473.00005
2
1982
Order extensions and real algebraic geometry. Zbl 0484.12003
Dubois, D. W.; Recio, T.
1
1982
all top 5

Cited by 271 Authors

33 Recio, Tomas
17 Sendra, Juan Rafael
16 Kovács, Zoltán
15 Botana, Francisco
14 Villarino, Carlos
10 Tabera, Luis Felipe
9 Gonzalez-Vega, Laureano
8 Gutierrez, Jaime
7 Díaz-Toca, Gema María
7 Pérez-Díaz, Sonia
7 Roanes-Lozano, Eugenio
7 Roy, Marie-Françoise
7 Sevilla, David
6 Alcazar, Juan Gerardo
6 El Kahoui, M’hammed
5 Andradas, Carlos
5 Janičić, Predrag
5 Lombardi, Henri
5 Montes, Antonio
5 Roanes-Macías, Eugenio
4 Anai, Hirokazu
4 Caravantes, Jorge
4 Dana-Picard, Thierry Noah
4 Gamboa Mutuberria, José Manuel
4 Hong, Hoon
4 Lickteig, Thomas
4 Montaña, José Luis
4 Pardo, Luis Miguel
4 Quaresma, Pedro
4 Schicho, Josef
3 Abánades, Miguel Angel
3 Alonso, César Luis
3 Brown, Christopher W.
3 D’Andrea, Carlos
3 Kanno, Masaaki
3 Pech, Pavel
3 Rubio, Rosario
3 Shen, Liyong
3 Sólyom-Gecse, Csilla
3 Todd, Philip H.
3 Vélez, M. Pilar
3 von zur Gathen, Joachim
3 Wang, Dongming
2 Bürgisser, Peter
2 Chen, Zhenghong
2 Chèze, Guillaume
2 Fernando, José F.
2 Goldman, Ronald N.
2 Hara, Shinji
2 Hašek, Roman
2 Heintz, Joos
2 Hernando, Antonio
2 Jeronimo, Gabriela
2 Karpfinger, Christian
2 Kerber, Michael
2 Klein, Rolf-Dieter
2 Krick, Teresa
2 Laita, Luis M.
2 Li, Hongbo
2 Marinković, Vesna
2 Márquez, Alberto
2 Martini, Horst
2 Morais, Jose Enrique
2 Narboux, Julien
2 Necula, Ioana
2 Perrucci, Daniel
2 Sagraloff, Michael
2 Santos, Francisco
2 Sharir, Micha
2 Solernó, Pablo
2 Sun, Yao
2 Szafraniec, Zbigniew
2 Szántó, Ágnes
2 Tang, Xiaoxian
2 Ueno, Carlos
2 Vajda, Robert
2 Valcarce, José L.
2 Wang, Dingkang
2 Xia, Bican
2 Yang, Jing
2 Yang, Lu
2 Yuan, Chunming
1 Agarwal, Pankaj Kumar
1 Aichinger, Erhard
1 Aldossari, Shayea
1 Aley, Danny
1 Alonso García, María Emilia
1 Alvandi, Parisa
1 Arnon, Dennis S.
1 Ayad, Mohamed
1 Baeta, Nuno
1 Bailey, David Harold
1 Bank, Bernd
1 Barth, Dominik
1 Benbouziane, Toufiq
1 Berberich, Eric
1 Bertrand, Laurent
1 Blasco, Ángel
1 Blazek, Jiri
1 Borwein, Jonathan Michael
...and 171 more Authors
all top 5

Cited in 59 Serials

47 Journal of Symbolic Computation
18 Mathematics in Computer Science
15 Computer Aided Geometric Design
12 Applicable Algebra in Engineering, Communication and Computing
10 Journal of Pure and Applied Algebra
9 Journal of Algebra
9 Mathematics and Computers in Simulation
9 Annals of Mathematics and Artificial Intelligence
7 Journal of Systems Science and Complexity
6 Computational Geometry
5 Mathematics of Computation
5 Journal of Computational and Applied Mathematics
5 Discrete & Computational Geometry
5 Journal of Automated Reasoning
4 Journal of Complexity
3 ACM Communications in Computer Algebra
2 Discrete Applied Mathematics
2 Information Processing Letters
2 Beiträge zur Algebra und Geometrie
2 Applied Mathematics and Computation
2 Computing
2 Proceedings of the American Mathematical Society
2 Information and Computation
2 International Journal of Computational Geometry & Applications
2 Linear Algebra and its Applications
2 RAIRO. Informatique Théorique et Applications
2 Computational Complexity
2 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
1 Acta Mechanica
1 Computers & Mathematics with Applications
1 Journal of Computational Physics
1 Journal of Mathematical Analysis and Applications
1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
1 Advances in Mathematics
1 Archiv der Mathematik
1 Bulletin de la Société Mathématique de France
1 Journal of Computer and System Sciences
1 Journal of the Mathematical Society of Japan
1 Kodai Mathematical Journal
1 Manuscripta Mathematica
1 Matematički Vesnik
1 Mathematische Zeitschrift
1 Memoirs of the American Mathematical Society
1 Results in Mathematics
1 Theoretical Computer Science
1 Advances in Applied Mathematics
1 Mathematical and Computer Modelling
1 Japan Journal of Industrial and Applied Mathematics
1 International Journal of Algebra and Computation
1 Geometric and Functional Analysis. GAFA
1 Expositiones Mathematicae
1 Experimental Mathematics
1 Finite Fields and their Applications
1 Science in China. Series E
1 Journal of Group Theory
1 Revista Matemática Complutense
1 Journal of Algebra and its Applications
1 Science China. Information Sciences
1 Prikladnaya Diskretnaya Matematika
all top 5

Cited in 36 Fields

146 Computer science (68-XX)
72 Algebraic geometry (14-XX)
49 Field theory and polynomials (12-XX)
49 Commutative algebra (13-XX)
47 Numerical analysis (65-XX)
34 Geometry (51-XX)
11 Mathematics education (97-XX)
10 Mathematical logic and foundations (03-XX)
10 Number theory (11-XX)
8 Convex and discrete geometry (52-XX)
5 Real functions (26-XX)
4 Combinatorics (05-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
3 Associative rings and algebras (16-XX)
3 Ordinary differential equations (34-XX)
3 Functional analysis (46-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Systems theory; control (93-XX)
2 General and overarching topics; collections (00-XX)
2 History and biography (01-XX)
2 Group theory and generalizations (20-XX)
2 Functions of a complex variable (30-XX)
2 Approximations and expansions (41-XX)
2 Operator theory (47-XX)
2 Differential geometry (53-XX)
2 General topology (54-XX)
2 Mechanics of particles and systems (70-XX)
2 Operations research, mathematical programming (90-XX)
2 Information and communication theory, circuits (94-XX)
1 General algebraic systems (08-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Algebraic topology (55-XX)
1 Mechanics of deformable solids (74-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year