Roanes-Lozano, Eugenio; Solano-Macías, Carmen Some reflections about the success and bibliographic impact of the dynamic geometry system GeoGebra. (English) Zbl 07702681 Math. Comput. Sci. 17, No. 2, Paper No. 11, 14 p. (2023). MSC: 68W30 97P40 97P70 68N15 68T35 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} and \textit{C. Solano-Macías}, Math. Comput. Sci. 17, No. 2, Paper No. 11, 14 p. (2023; Zbl 07702681) Full Text: DOI
Roanes-Lozano, Eugenio Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems. (English) Zbl 07700013 Math. Comput. Sci. 17, No. 1, Paper No. 1, 11 p. (2023). MSC: 68W30 97P40 97P70 68N15 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Math. Comput. Sci. 17, No. 1, Paper No. 1, 11 p. (2023; Zbl 07700013) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel A computer approach to overtaking station track layout diagram design using graphs. An alternative track diagram proposal for these stations. (English) Zbl 1524.90113 J. Comput. Appl. Math. 391, Article ID 113455, 12 p. (2021). MSC: 90B20 68W30 90C35 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., J. Comput. Appl. Math. 391, Article ID 113455, 12 p. (2021; Zbl 1524.90113) Full Text: DOI
Roanes-Lozano, Eugenio Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system. (English) Zbl 1523.90077 Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 528-542 (2020). MSC: 90B20 68W30 90C35 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Lect. Notes Comput. Sci. 12291, 528--542 (2020; Zbl 1523.90077) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, Jose Luis; Solano-Macías, Carmen Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective. (English) Zbl 1493.68403 Math. Comput. Sci. 13, No. 3, 417-431 (2019). MSC: 68W30 68-03 97U50 97U70 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Sci. 13, No. 3, 417--431 (2019; Zbl 1493.68403) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel A prototype of a RBES for personalized menus generation. (English) Zbl 1426.68259 Appl. Math. Comput. 315, 615-624 (2017). MSC: 68T35 13P10 13P25 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Appl. Math. Comput. 315, 615--624 (2017; Zbl 1426.68259) Full Text: DOI
Roanes-Lozano, Eugenio A brief note on the approach to the conic sections of a right circular cone from dynamic geometry. (English) Zbl 1425.68440 Math. Comput. Sci. 11, No. 3-4, 439-448 (2017). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Math. Comput. Sci. 11, No. 3--4, 439--448 (2017; Zbl 1425.68440) Full Text: DOI
Maestre-Martínez, Roberto; Hernando, Antonio; Roanes-Lozano, Eugenio An algebraic approach for detecting nearly dangerous situations in expert systems. (English) Zbl 1524.68369 Math. Comput. Simul. 129, 81-93 (2016). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{R. Maestre-Martínez} et al., Math. Comput. Simul. 129, 81--93 (2016; Zbl 1524.68369) Full Text: DOI
Hernando, Antonio; Maestre-Martínez, Roberto; Roanes-Lozano, Eugenio A natural language for implementing algebraically expert systems. (English) Zbl 1524.68368 Math. Comput. Simul. 129, 31-49 (2016). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{A. Hernando} et al., Math. Comput. Simul. 129, 31--49 (2016; Zbl 1524.68368) Full Text: DOI
Roanes-Lozano, Eugenio; Galán-García, José Luis; Aguilera-Venegas, Gabriel A portable knowledge-based system for car breakdown evaluation. (English) Zbl 1410.68352 Appl. Math. Comput. 267, 758-770 (2015). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Appl. Math. Comput. 267, 758--770 (2015; Zbl 1410.68352) Full Text: DOI Link
Roanes-Lozano, Eugenio The geometry of railway geometric overthrow revisited using computer algebra methods. (English) Zbl 1319.68239 Math. Comput. Sci. 7, No. 4, 473-485 (2013). MSC: 68U99 68U05 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Math. Comput. Sci. 7, No. 4, 473--485 (2013; Zbl 1319.68239) Full Text: DOI
Roanes-Lozano, Eugenio; Roanes-Macías, Eugenio A note on the need for radical membership checking in mechanical theorem proving in geometry. (English) Zbl 1411.68139 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 15th international workshop, CASC 2013, Berlin, Germany, September 9–13, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8136, 288-300 (2013). MSC: 68T15 13A15 13P10 51M04 51N20 51N35 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} and \textit{E. Roanes-Macías}, Lect. Notes Comput. Sci. 8136, 288--300 (2013; Zbl 1411.68139) Full Text: DOI
Hernando, Antonio; Roanes-Lozano, Eugenio; Maestre-Martínez, Roberto; Tejedor, Jorge A logic-algebraic approach to decision taking in a railway interlocking system. (English) Zbl 1280.68302 Ann. Math. Artif. Intell. 65, No. 4, 317-328 (2012). MSC: 68W30 68R10 PDFBibTeX XMLCite \textit{A. Hernando} et al., Ann. Math. Artif. Intell. 65, No. 4, 317--328 (2012; Zbl 1280.68302) Full Text: DOI
Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Macías, Eugenio The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics. (English) Zbl 1260.03002 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 105, No. 2, 323-337 (2011). MSC: 03-04 03B50 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 105, No. 2, 323--337 (2011; Zbl 1260.03002) Full Text: DOI
Hernando, Antonio; Roanes-Lozano, Eugenio; Laita, Luis M. A polynomial model for logics with a prime power number of truth values. (English) Zbl 1231.03023 J. Autom. Reasoning 46, No. 2, 205-221 (2011). MSC: 03B50 03G25 68T35 68W30 PDFBibTeX XMLCite \textit{A. Hernando} et al., J. Autom. Reasoning 46, No. 2, 205--221 (2011; Zbl 1231.03023) Full Text: DOI
Roanes-Lozano, Eugenio; Laita, Luis M.; Hernando, Antonio; Roanes-Macías, Eugenio An algebraic approach to rule based expert systems. (English) Zbl 1197.68078 Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 104, No. 1, 19-40 (2010). MSC: 68T35 68W30 13P10 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 104, No. 1, 19--40 (2010; Zbl 1197.68078) Full Text: DOI
Roanes-Lozano, Eugenio; van Labeke, Nicolas; Roanes-Macías, Eugenio Connecting the 3D DGS Calques3D with the CAS Maple. (English) Zbl 1207.68450 Math. Comput. Simul. 80, No. 6, 1153-1176 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Simul. 80, No. 6, 1153--1176 (2010; Zbl 1207.68450) Full Text: DOI Link
Wester, Michael J. (ed.); Steinberg, Stanly (ed.); Roanes-Lozano, Eugenio (ed.) Special issue: Nonstandard applications of computer algebra. Selected papers based on the presentations at the ACA’2006 special session on nonstandard applications of computer algebra, Varna, Bulgaria, June 27, 2006. (English) Zbl 1168.68325 Math. Comput. Simul. 79, No. 8, v-vii, 2291-2664 (2009). MSC: 68-06 65-06 68W30 65Yxx 00B25 PDFBibTeX XML
Roanes-Lozano, E.; Laita, Luis M.; Roanes-Macías, E. A symbolic-numeric approach to MPL continuous logic and to rule based expert systems whose underlying logic is MPL. (English) Zbl 1322.68190 Open Appl. Math. J. 2, 126-133 (2008). MSC: 68T27 03B45 03B50 03B70 68T35 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Open Appl. Math. J. 2, 126--133 (2008; Zbl 1322.68190) Full Text: DOI
Roanes-Lozano, Eugenio; Laita, Luis M.; Roanes-Macías, Eugenio A Groebner bases based many-valued modal logic implementation in Maple. (English) Zbl 1166.68359 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 170-183 (2008). MSC: 68T35 68T27 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Lect. Notes Comput. Sci. 5144, 170--183 (2008; Zbl 1166.68359) Full Text: DOI
Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio 3D extension of Steiner chains problem. (English) Zbl 1134.65328 Math. Comput. Modelling 45, No. 1-2, 137-148 (2007). MSC: 65D18 68U05 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Macías} and \textit{E. Roanes-Lozano}, Math. Comput. Modelling 45, No. 1--2, 137--148 (2007; Zbl 1134.65328) Full Text: DOI
Roanes-Lozano, Eugenio; González-Bermejo, Alfonso; Roanes-Macías, Eugenio; Cabezas, Justo An application of computer algebra to pharmacokinetics: the Bateman equation. (English) Zbl 1092.68117 SIAM Rev. 48, No. 1, 133-146 (2006). MSC: 68W30 97C90 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., SIAM Rev. 48, No. 1, 133--146 (2006; Zbl 1092.68117) Full Text: DOI
Laita, Luis M.; de Ledesma, Luis; Roanes-Lozano, Eugenio The genesis of Boole’s logic. Its history and a computer exploration. (English) Zbl 1183.03003 Memorias de la Real Academia de Ciencias Exactas, Físicas y Naturales de Madrid. Serie de Ciencias Exactas 33. Madrid: Real Academia de Ciencias Exactas, Físicas y Naturales (ISBN 978-84-87125-44-7/pbk). xi, 154 p. (2005). Reviewer: Roman Murawski (Poznań) MSC: 03-02 01A55 01A70 03-03 03-04 68-03 68T35 68U20 68W30 PDFBibTeX XMLCite \textit{L. M. Laita} et al., The genesis of Boole's logic. Its history and a computer exploration. Madrid: Real Academia de Ciencias Exactas, Físicas y Naturales (2005; Zbl 1183.03003)
Roanes-Lozano, E.; García, R.; Roanes-Macías, E.; Aparicio, A.; Laita, L. M. Meta-Petro: an expert system for training undergraduates in metamorphic rocks recognition and classification using photomicrographies. (English) Zbl 1169.68627 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 8th international workshop, CASC 2005, Kalamata, Greece, September 12–16, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28966-6/pbk). Lecture Notes in Computer Science 3718, 344-354 (2005). MSC: 68T35 68T10 68W30 86A20 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Lect. Notes Comput. Sci. 3718, 344--354 (2005; Zbl 1169.68627) Full Text: DOI
Roanes-Lozano, E.; López-Vidriero, E. jun.; Laita, L. M.; López-Vidriero, E.; Maojo, V.; Roanes-Macías, E. An expert system on detection, evaluation and treatment of hypertension. (English) Zbl 1109.68652 Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 251-264 (2004). MSC: 68T35 68W30 92C50 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Lect. Notes Comput. Sci. 3249, 251--264 (2004; Zbl 1109.68652) Full Text: DOI
Roanes-Lozano, Eugenio; Muga, Rafael; Laita, Luis M.; Roanes-Macias, Eugenio A terminal area topology-independent GB-based conflict detection system for A-SMGCS. (English) Zbl 1088.68189 RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 98, No. 1-2, 229-237 (2004). Reviewer: Reinhard C. Laubenbacher (Blacksburg) MSC: 68W30 68T20 13P10 90B20 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 98, No. 1--2, 229--237 (2004; Zbl 1088.68189) Full Text: EuDML
Roanes-Lozano, E.; Roanes-Macías, E.; Villar-Mena, M. A bridge between dynamic geometry and computer algebra. (English) Zbl 1073.68899 Math. Comput. Modelling 37, No. 9-10, 1005-1028 (2003). MSC: 68W30 65D18 68T15 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Modelling 37, No. 9--10, 1005--1028 (2003; Zbl 1073.68899) Full Text: DOI
Herrero, Begoña; Laita, Luis M.; Roanes-Lozano, Eugenio; Maojo, Víctor; de Ledesma, Luis; Crespo, José; Laita, Laura A symbolic computation-based expert system for Alzheimer’s disease diagnosis. (English) Zbl 1072.68614 Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 38-50 (2002). MSC: 68T35 68W30 92C50 PDFBibTeX XMLCite \textit{B. Herrero} et al., Lect. Notes Comput. Sci. 2385, 38--50 (2002; Zbl 1072.68614) Full Text: Link
Roanes-Macías, E.; Roanes-Lozano, E. Geometric determination of the spheres which are tangent to four given ones. (English) Zbl 1055.68128 Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 2. Berlin: Springer (ISBN 3-540-43593-X). Lect. Notes Comput. Sci. 2330, 52-61 (2002). MSC: 68U05 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Macías} and \textit{E. Roanes-Lozano}, Lect. Notes Comput. Sci. 2330, 52--61 (2002; Zbl 1055.68128) Full Text: Link
Laita, L. M.; Roanes-Lozano, E.; de Ledesma, L.; Calvo, T.; Gozález-Sotos, L. A computer algebra approach to relational systems using Gröbner bases. (English) Zbl 1027.68983 de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 124-133 (2002). MSC: 68W30 68T35 PDFBibTeX XMLCite \textit{L. M. Laita} et al., Lect. Notes Comput. Sci. 2561, 124--133 (2002; Zbl 1027.68983) Full Text: Link
Roanes-Lozano, Eugenio (ed.); Calmet, Jacques (ed.) Special issue: Artificial intelligence and symbolic computation. Papers from the 5th international conference, AISC 2000, Madrid, Spain, July 17–19, 2000. (English) Zbl 0996.00520 Ann. Math. Artif. Intell. 36, No. 3, 237-322 (2002). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} (ed.) and \textit{J. Calmet} (ed.), Ann. Math. Artif. Intell. 36, No. 3, 237--322 (2002; Zbl 0996.00520) Full Text: DOI
Roanes-Lozano, Eugenio; Roanes-Macías, Eugenio; Laita, Luis M. A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking. (English) Zbl 1015.68203 Math. Comput. Simul. 58, No. 3, 203-214 (2002). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Simul. 58, No. 3, 203--214 (2002; Zbl 1015.68203) Full Text: DOI
Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem. (English) Zbl 1042.68129 Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 157-173 (2001). MSC: 68W30 68T15 03B35 PDFBibTeX XMLCite \textit{E. Roanes-Macías} and \textit{E. Roanes-Lozano}, Lect. Notes Comput. Sci. 1930, 157--173 (2001; Zbl 1042.68129) Full Text: Link
Laita, Luis M.; de Ledesma, Luis; Roanes-Lozano, Eugenio; Brunori, Alberto George Boole, a forerunner of symbolic computation. (English) Zbl 1042.03002 Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 1-19 (2001). MSC: 03-03 01A55 68W30 01A70 PDFBibTeX XMLCite \textit{L. M. Laita} et al., Lect. Notes Comput. Sci. 1930, 1--19 (2001; Zbl 1042.03002) Full Text: Link
Roanes-Lozano, E.; Roanes-Macías, E.; Laita, L. M. A method of logic deduction and verification in KBS using positive integers. (English) Zbl 1006.68132 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22-26, 2001. Berlin: Springer. 461-475 (2001). MSC: 68T35 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., in: Computer algebra in scientific computing, CASC 2001. Proceedings of the 4th international workshop, Konstanz, Germany, September 22--26, 2001. Berlin: Springer. 461--475 (2001; Zbl 1006.68132)
Roanes-Lozano, E.; Roanes-Macías, E.; Laita, L. M. Geometric interpretation of strong inconsistency in knowledge based systems. (English) Zbl 1073.68829 Ganzha, V. G. (ed.) et al., Computer algebra in scientific computing. CASC ’99. Proceedings of the 2nd workshop, Munich, Germany, May 31 - June 4, 1999. Berlin: Springer (ISBN 3-540-66047-X). 349-363 (1999). MSC: 68T35 68W30 03B50 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., in: Computer algebra in scientific computing. CASC '99. Proceedings of the 2nd workshop, Munich, Germany, May 31 - June 4, 1999. Berlin: Springer. 349--363 (1999; Zbl 1073.68829)
Roanes-Lozano, Eugenio Multi-valued logics. Introducing propositional multi-valued logics with the help of a CAS. (English) Zbl 0946.03029 Gilbert, Robert P. (ed.) et al., Recent developments in complex analysis and computer algebra. Papers presented in special sessions of the ISAAC ’97 congress, Newark, DE, June 2-7, 1997. Dordrecht: Kluwer Academic Publishers. Int. Soc. Anal. Appl. Comput. 4, 277-290 (1999). MSC: 03B50 68W30 03-04 97U40 PDFBibTeX XMLCite \textit{E. Roanes-Lozano}, Int. Soc. Anal. Appl. Comput. 4, 277--290 (1999; Zbl 0946.03029)
Roanes-Lozano, Eugenio; Laita, Luis M.; Roanes-Macías, Eugenio A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra. (English) Zbl 1017.03509 Math. Comput. Simul. 45, No. 1-2, 83-99 (1998). MSC: 03B50 68W30 PDFBibTeX XMLCite \textit{E. Roanes-Lozano} et al., Math. Comput. Simul. 45, No. 1--2, 83--99 (1998; Zbl 1017.03509) Full Text: DOI
Roanes Macías, E.; Roanes Lozano, E. An algorithm for a criterion on no ramification. (Spanish. English summary) Zbl 0792.68069 Numerical analysis, computer science and mathematical physics, Proc. 15th Port.-Span. Meet. Math., Évora/Port. 1990, Vol. V, 221-226 (1991). MSC: 68W30 14E22 13F20 PDFBibTeX XMLCite \textit{E. Roanes Macías} and \textit{E. Roanes Lozano}, in: Análise numérica, computação e física. Actas de XV jornadas luso-espanholas de matemática, 3-7 de setembro, 1990, Vol. V. Évora (Portugal): Universidade de Évora. 221--226 (1991; Zbl 0792.68069)
Roanes Macías, E.; Roanes Lozano, E. An algorithm to compute the rank of Jacobian matrices and the ramification order. (Spanish. English summary) Zbl 0792.68070 Numerical analysis, computer science and mathematical physics, Proc. 15th Port.-Span. Meet. Math., Évora/Port. 1990, Vol. V, 215-220 (1991). MSC: 68W30 14E22 65F35 PDFBibTeX XMLCite \textit{E. Roanes Macías} and \textit{E. Roanes Lozano}, in: Análise numérica, computação e física. Actas de XV jornadas luso-espanholas de matemática, 3-7 de setembro, 1990, Vol. V. Évora (Portugal): Universidade de Évora. 215--220 (1991; Zbl 0792.68070)