Curriculum Vitae of Aliki Muradova (Muradova-Contadaki)

Transcription

1 03-Feb-16 Page 1 of 10 Curriculum Vitae of Aliki Muradova (Muradova-Contadaki) Department of Production Engineering and Management Technical University of Crete GR , Chania, Crete, Greece Tel.:+(30) (705), Fax: +(30) aliki@mred.tuc.gr Ph.D. in Applied Mathematics (1998): I. Javakhishvili Tbilisi State University (TSU, Georgia, former USSR). Thesis' title: Numerical methods for some problems for ordinary differential equations and algorithms of a design. Advisor: Prof. T. S. Vashakmadze. Honours Diploma in Applied Mathematics (1990): I.Javakhishvili Tbilisi State University (TSU, Georgia). Faculty of Applied Mathematics and Computer Science, Specialty: Applied mathematics and mathematical provision of automated control systems. Thesis title: The solution of some tasks of mathematical provision for systems for crushing technological process. RESEARCH INTERESTS Applied Mathematics. Computational Mathematics and Mechanics. Mathematical Modeling. Variational (Galerkin, spectral, finite and boundary elements) and iterative methods for boundary and initial-boundary value problems of continuum mechanics. Fourier analysis for solving PDEs in the theory of elasticity. Postbuckling and contact analysis in mechanics and its applications in biomechanics. Difference schemes of high convergence order for ordinary differential equations (ODEs) with boundary layer effects. Asymptotic expansions for ODEs. Splitting, alternating direction and finite difference methods for multi-dimensional problems for partial differential equations (PDEs) in the theory of elasticity. Unilateral cracks and dual BEM formulation in contact mechanics. Time spectral analysis for equations of dynamic nonlinear elasticity. Fuzzy control of smart elastic plates in the linear and nonlinear dynamic theory. Numerical simulation of grain coarsening and coalescing with applications in sintering. Numerical performance of algorithms, scientific programming. Finite volume methods for conservation laws in fluid dynamics. Modeling in environmental engineering. Numerical simulation of the process of formation and dissociation of gas hydrate in the marine sediment. Explicit and implicit difference schemes. Numerical solving shallow water wave equations.

2 Curriculum Vitae of Aliki Muradova Page 2 of 11 Biomechanics, biomathematics: modeling, numerical simulation. Automated control systems in education (at schools). PROFESSIONAL APPOINTMENTS (including teaching experience) 2013-present: Associate Research Scientist, Department of Mineral Resources and Engineering, and Department of Production Engineering and Management, Technical University of Crete (TUC), Greece. Mathematical modeling part of Thalis project: Numerical simulation of grain coalescence and coarsening with applications in sintering : Adjunct Faculty, Department of Production Engineering and Management, (Teaching assistant in courses: Computational Mechanics, Dynamics) Technical University of Crete (TUC), Greece. (From 2008 non continuing temporary due to maternity) : Research Fellow, Department of Mineral Resources and Engineering and Department of Production Engineering and Management, TUC, Greece. Mathematical modeling part of Pythagoras s project: Mathematical modelling of the process of formation and decomposition of crystals of hydrate in water phase ; Bilateral scientific and technological cooperation project (Greece-Hungary): Nonsmooth thermomechanical modelling of materials and joints with applications in engineering and biomechanics : Visiting Fellow with the Center for Mathematics and its Applications in the Mathematical Sciences Institute (MSI), the Australian National University (ANU). Research projects' titles: Resolution of nonlinear equations for von Kármán s elastic plates ; Development of a python finite volume code to solve shallow water wave equations ; Development of teaching modules for masters of contemporary science. The first semesters of 2004 and 2005: Tutor (Calculus and Linear Algebra), Department of Mathematics, MSI, ANU. March - April, 2004: Lecturer, Computational course (Finite difference schemes for ODEs and PDEs), Department of Mathematics, MSI, ANU : Postdoctoral Researcher, Department of Mathematics, Institute of Mechanics, University of Ioannina, Greece. Research work: Numerical solving of unilateral contact problems and nonlinear eigenvalue problems in the theory of elasticity; algorithms and programming : Postdoctoral Researcher. Department of Projective Methods, Institute of Applied Mathematics, TSU, Georgia. Research work: Resolution of the linear and nonlinear problems in the theory of elasticity : Lecturer, the Sukhumi Branch of TSU, Faculty of Mathematics and Computer Sciences. Subjects: Numerical methods for mathematical physics problems; Mathematical modelling in physics, biology, ecology, economics and etc : Research Assistant, Department of Projective Methods, Institute of Applied Mathematics at TSU, Georgia. Research work: Difference, variational and iterative methods for ordinary and partial differential equations. Bending problems in the theory of elasticity.

3 Curriculum Vitae of Aliki Muradova Page 3 of (from part-time): Engineer-Mathematician, Department of Informatics at the Ministry of Education of Georgia. Main Duties: Mathematical modeling in educational system at schools; creation and implementation of the automated control system of prediction of quantity of pupils and usage of capacity in classes and the automated optimal control system of distribution of subjects and teaching hours for the time-tables with using programming FoxPro in DataBase. PROFESSIONAL ACTIVITIES Reviewer of Mathematical Reviews, American Mathematical Society. Organizing committee in the 10 th HSTAM International Congress on Mechanics, 2013, Chania, Greece. Editorial Board Member of Journal of Algorithms and Optimization, World Academic Publishing. Editorial Board Member of International Journal of Mechanics and Applications. Scientific & Academic Publishing. Organizing committee in the 7 th GRACM International Congress on Computational Mechanics, 2011, Athens, Greece. Editor (with G. Stavroulakis) of Book of Abstracts of CMIS2009, 5 th Mechanics International Symposium, Chania, Crete, Greece, Secretary for CMIS2009. LANGUAGES Greek, English, Russian, Georgian. Contact AWARDS, CERTIFICATES ETC. Certificate of Completion of UMUC WebTycho Certification Course, Effective Online Teaching in the Undergraduate School. February, 2012, University of Maryland University College, Adelphi, USA. Certificate with Merit in Graduate Teaching Program, April, Australian National University, Australia. Scholarship, awarded from IKY, State's Scholarship Foundation of Greece, for postdoctoral research studies: Department of Mathematics, University of Ioannina, Greece. Educational training for distinguished students, Department of Mathematics, University of Jena, Germany. LISTED IN Great Minds of the 21 st Century, 5 th Ed., American Biographical Institute, USA Outstanding Intellectuals of the 21 st Century, International Biographical

4 Curriculum Vitae of Aliki Muradova Page 4 of 11 Centre, Cambridge, England. TOP 100 ENGINEERS International Biographical Centre, Cambridge, England. Marquis Who s Who: Who s Who in Science and Engineering, (11 th Ed.). Marquis Who s Who: Who s Who in the World, 2010 (27 th Ed.), 2011(28 t h Ed.). PUBLICATIONS Books 1. Geogios E. Stavroulakis, Maria E. Stavroulakis and Aliki D. Muradova, Υπολογιστική Μηχανική (Computational Mechanics), (ebook), Ελληνικά Ακαδημαϊκά Ηλεκτρονικα Συγγράμματα και Βοηθήματα, (in Greek). Journal articles 2. Aliki D. Muradova and Dionisis T. Hristopulos, Numerical simulation of coupled nonlinear model for grain coarsening and coalescence, Simulation Modelling Practice and Theory, Elesevier (in press). 3. Dionisis T. Hristopulos and Aliki Muradova, Kinetic model of mass exchange with dynamic Arrhenius transition rates, Physica A: Statistical Mechanics and its Applications, Elesevier, North-Holland, v. 444, 2016, pp Aliki D. Muradova and Geogios E. Stavroulakis, Hybrid control of vibrations of smart von Kármán, Acta Mechanica, Springer, 226(10), 2015, pp Aliki D. Muradova, A time spectral method for solving the nonlinear dynamic equations of a rectangular elastic plate, Journal of Engineering Mathematics, Springer, v. 92(1), 2015, pp (Featured by Advances in Engineering as a Key Scientific Article contributing to excellence in engineering, scientific and industrial research, December 11, 2015, 6. Ailki D. Muradova and Dionisis T. Hristopulos. Numerical investigation of grain coarsening and coalescence model. Journal of Physics: Conference Series, IOP Publishing, 574, , 2015, 7. Aliki D. Muradova and Geogios E. Stavroulakis, Nonlinear Time Spectral Analysis for a Dynamic Contact Model with Buckling for an Elastic Plate, Key Engineering Materials, Trans. Tech. Publications, v. 618, 2014, pp Aliki D. Muradova, Stability analysis of some numerical schemes for ordinary differential equations. International Electronic Journal of Pure and Applied Mathematics, Academic Publications, Ltd., v.7, N1, 2014, pp

5 Curriculum Vitae of Aliki Muradova Page 5 of Aliki D. Muradova and Geogios E. Stavroulakis, Fuzzy vibration control of a smart plate. International Journal for Computational Methods in Engineering Science and Mechanics, Taylor & Francis, 14, N3, 2013, pp A. D. Muradova, Numerical simulation of the process of formation and dissociation of gas hydrate in the marine sediments. Ορυκτός Πλούτος/Mineral Wealth, Athens, 164, 2012, pp Aliki D. Muradova and Georgios E. Stavroulakis. Buckling and postbuckling analysis of rectangular plates resting on elastic foundations with the use of the spectral method. Comput. Methods Appl. Mech. Engrg. Elsevier, , 2012, pp Aliki D. Muradova, Marta Kurutz and Georgios E. Stavroulakis. Buckling simulation of a plate, embedded in a unilaterally supported enviroment. Mechanics based design of structures and machines. Taylor & Francis, 37, N3, 2009, pp Aliki D. Muradova. The spectral method and numerical continuation algorithm for the von Kármán problem with postbuckling behaviour of solution. Advances in Computational Mathematics, Springer, Vol. 29, N2, 2008, pp Aliki D. Muradova and Georgios E. Stavroulakis. A unilateral contact model with buckling in von Kármán plates. Nonlinear Analysis: Real World Applications, Elsevier, Vol. 8 N4, 2007, pp Aliki D. Muradova and Georgios E. Stavroulakis. The projective-iterative method and neural network estimation for buckling of elastic plates in nonlinear theory. Communications in Nonlinear Science and Numerical Simulation, Elsevier, Vol. 12/6, 2007, pp T. Vashakmadze, E. Gordeziani, A. Muradova, T. Zarkua. New technologies of design of some boundary value problems for ordinary differential equations. Georgian Electronic Scientific Journal: Computer Sciences and Telecommunications, 2, N6, 2005, pp (updated version of 14). 17. Aliki D. Muradova. Numerical techniques for linear and nonlinear eigenvalue problems in the theory of elasticity. ANZIAM J., Austral. Math. Soc., Canberra, 46(C), 2004, pp. C426-C Aliki D. Muradova-Contadaki and Georgios E. Stavroulakis. Numerical solving of unilateral contact problems for elastic plates in large deflections. 2-nd Special Issue on Nonlinear problems of Continuum Mechanics, Izvestiya VUZov North-Caucasus Region of Russia, Natural Sciences), Rostov-na-Donu, 2003, pp T. Vashakmadze, E. Gordeziani, A. Muradova, T. Zarkua. New technologies of design of some boundary value problems for ordinary differential equations. Proceedings of Javakhishvili Tbilisi State University, Applied Mathematics & Computer Sciences, Vol. 342(20), 2000, pp A. Muradova, T. Vashakmadze. On the eigenvalues and eigenfunctions computation for some problems of elastic plates theory. Reports of enlarged sessions of the seminar of VIAM (Vekua Institute of Appl. Math.), Vol. 14, No. 2, 1999, pp N. Vasilieva-Vashakmadze, A. Muradova, V. Labadze, K. Kandelaki. Dynamic model of neuroceptors. Bulletin of the Georgian Academy of Sciences, 157, N2, 1998,

6 Curriculum Vitae of Aliki Muradova Page 6 of 11 Tbilisi, pp Kh. Chkhaidze, A. Muradova, T. Vashakmadze. To design of some bending problems, Reports of enlarged sessions of the seminar of VIAM, Vol. 13, No 4, 1998, pp T. Vashakmadze, A. Muradova. To an analysis of numerical methods for solving of boundary value problems with a small parameter, J. Applied Mathematics and Informatics, Vol. 1, No 1, 1996, pp (In Russian). Book series chapter 24. Aliki D. Muradova and Georgios E. Stavroulakis. Postbuckling behaviour of a rectangular plate surrounded by nonlinear elastic supports. Recent Advances in Contact Mechanics. Series: Lecture Notes in Applied and Computational Mechanics, Springer Berlin/Heidelberg, Vol. 56, Chapter. 12, 2013, pp Book chapter 25. G. E. Stavroulakis, V. V. Zozulya and A. D. Muradova. Unilateral cracks: classical, multi-region and dual BEM formulation. Recent Developments in Boundary Element Methods: A volume to honor of Professor John T. Katsikadelis. WIT Press, 2010, pp Conference proceedings 26. Aliki D. Muradova, Application of Ostwald ripening to a prediction of grain mean radius in grain coarsening and coalescence, Proceedings of the International Conference on Mathematical Models and Methods in Applied Sciences, (MMMAS 2015) (Conferences of INASE), 2015, Agios Nikolaos, Crete, Greece, pp Tamaz S. Vashakmadze and Aliki Muradova, To problem of approximate solution of BVPs for ODEs with boundary layers by multipoint methods, AIP conference proceedings, 1558, 1167 (2013) (ICNAAM 2013, Rhodes, Creece). 28. Aliki D. Muradova and Georgios E. Stavroulakis. A dynamic nonlinear model with contact and buckling for an elastic plate: a time spectral analysis. 10 th HSTAM International Congress on Mechanics, CD-Congress Proceedings, 2013, Chania, Greece. 29. Aliki D. Muradova and Georgios E. Stavroulakis. Fuzzy control of a smart elastic plate. 7 th CRACM International Congress on Computational Mechanics, CD- Congress Proceedings, 10p., 2011, Athens, Greece. 30. Aliki D. Muradova. The time-dependent spectral method for solving equations of dynamic nonlinear elasticity. NumAn2010 (Conference in Numerical Analysis. Recent Approaches to Numerical Analysis: Theory, Methods and Applications), Conference Proceedings, pp , 2010, Chania, Crete, Greece. 31. Aliki D. Muradova and G. E. Stavroulakis. Postbuckling analysis of rectangular plates resting on the nonlinear elastic foundations. CD-Proceedings of ESMC 2009 (7 th EUROMECH Solid Mechanics Conference), MS-05, ID: 0653, 14p. 32. Aliki D. Muradova and Dionisis T. Hristopulos. Mathematical modeling of formation

7 Curriculum Vitae of Aliki Muradova Page 7 of 11 and dissociation of gas hydrate in the seefloor sediment. Lecture Series on Computer and Computational Sciences, Vol. 7A (Recent Progress in Computational Sciences and Engineering), Brill Academic Publishers, 2006, pp Aliki Muradova. Multiple bifurcations in the nonlinear equations of the theory of elasticity. Proceedings of ICNAAM-2006, Wiley-VCH, 2006, pp Aliki D. Muradova-Contadaki and Georgios E. Stavroulakis. Computation of unilaterally supported elastic plates. Proceedings of ECCOMAS (European Congress on Computational Methods in Applied Sciences and Engineering), Jyvaskyla, Finland, 2004 (Combination of CD-ROM-proceedings (second edition) & (second edition), 20p. [Online] A. Muradova. A design of some non-linear eigenvalue problems, Bulletin of TICMI (Tbilisi International Center of Mathematics and Informatics), Vol. 6, 2002, pp A. Muradova. To design of bending problems with boundary layers for elastic plates, Bulletin of TICMI, Vol. 2, 1998, pp A. D. Muradova, T. S. Vashakmadze. To design shearing forces for elastic plates, Bulletin of TICMI, Vol. 1, 1997, pp Ph.D. theses (Dissertation) 38. Numerical methods for some problems for ordinary differential equations and algorithms of a design, I. Javakhishvili Tbilisi State University, Tbilisi, SUBMITTED AND IN PREPARATION (PAPERS, MANUSCRIPTS) Aliki D. Muradova, Spectral Solutions for Elastic Plate Problems (book, in preparation). TECHNICAL REPORTS A. Muradova and S. Manasyan. The automated optimal control system of distribution of subjects and teaching hours for the time-tables at schools in programming FoxPro in DataBase environment. Department of Informatics, Ministry of Education of Georgia, Tbilisi, A. Muradova and S. Manasyan. Mathematical modeling of prediction of quantity of pupils and usage of capacity in classes at schools in educational system at schools. Department of Informatics, Ministry of Education of Georgia, Tbilisi, 1992 (in Russian). A. Muradova. The programming code based on the mathematical model for the automated control system of prediction of quantity of pupils and usage of capacity in classes at schools with the use of programming FoxPro in DataBase environment. Department of Informatics, Ministry of Education of Georgia, Tbilisi, 1993.

8 Curriculum Vitae of Aliki Muradova Page 8 of 11 LECTURE NOTES A. Muradova. Numerical methods for problems of mathematical physics. Faculty of Mathematics and Computer Sciences, Sukhumi Branch of I. Javakhishvili Tbilisi State University, 2000 (about 51p., in Russian) A. Muradova. Mathematical modelling in physics, biology, ecology and economics. Faculty of Mathematics and Computer Sciences, Sukhumi Branch of I. Javakhishvili Tbilisi State University, 2001 (about 25p., in Russian). A. Muradova. Finite difference schemes for ODEs and PDEs. Computational Courses, Department of Mathematics, Mathematical Sciences Institute, the Australian National University, 2004, about 22p. L. Stals and A. Muradova. Models of heat conduction. Teaching Modules, Department of Mathematics, Mathematical Sciences Institute, Australian National University, 2004, about 31p. L. Stals and A. Muradova. Functions, convolution and Fourier series. Teaching Modules, Department of Mathematics, Mathematical Sciences Institute, the Australian National University, 2004, about 16p. L. Stals and A. Muradova. Discrete Fourier transform for MATH3501. Scientific and Industrial Modeling. Teaching Modules, Department of Mathematics, Mathematical Sciences Institute, the Australian National University, 2005, about 41p. PROGRAMMING CODE DEVELOPMENT 1. MatLab programming code with the use of Neuro-Fuzzy Logic Toolbox and Simulink for control of a smart elastic plate (in preparation). 2. MatLab programming code for nonlinear model of grain coarsening and coalescence with the use of MatLab optimization tools, ODEs solvers (2015). 3. MatLab programming code with the use of Fuzzy Logic Toolbox for fuzzy vibration control of a smart elastic plate for a nonlinear problem (2012). 4. MatLab programming code with the use of Fuzzy Logic Toolbox for fuzzy vibration control of a smart elastic plate for a linear problem (2011). 5. MatLab programming code for numerical (time spectral) solving nonlinear equations of dynamic elasticity (2010). 6. MatLab programming code for numerical simulation of the process of formation and dissociation of gas hydrates in water phase (2007). 7. C code for solving nonlinear von Kármán problems for simply supported elastic plates with buckling and contact effects (2005). 8. Object-oriented Python code for implementation of numerical techniques for

9 Curriculum Vitae of Aliki Muradova Page 9 of 11 resolution of nonlinear PDEs for von Kármán clamped plates (2004). 9. Python finite volume code for solving shallow water wave equations (2003). 10. Turbo Pascal programming code for nonlinear equations in the elastic plate theory with buckling and contact effects (2002). 11. Turbo Pascal programming code for computations of eigenvalue and eigenfunctions for bending problems of elastic plates (2001). 12. Computation of two-dimensional bending problems (systems of PDEs) in the linear and nonlinear elasticity in Turbo Pascal programming environment (1999). 13. Turbo Pascal code for solving discretized dynamic model (system of two nonlinear ODEs) of neuroceptors in biophysics (1997). 14. Turbo Pascal code for numerical solving boundary value problems with a small parameter for the 2nd order ODEs (1996). 15. FoxPro in DataBase code for the automated optimal control of distribution of subjects and teaching hours in the time-tables at schools (1994). 16. FoxPro in DataBase code for the mathematical provision of automated control systems of prediction of quantity of pupils and usage of capacity in classes at schools (1993). PRESENTATIONS (CONTRIBUTIONS) WITH PUBLISHED ABSTRACTS ON CONFERENCES, SYMPOSIUMS, WORKSHOPS ETC. 1. Aliki D. Muradova, Application of Ostwald ripening to a prediction of grain mean radius in grain coarsening and coalescence, International Conference on Mathematical Models and Methods in Applied Sciences (MMMAS 2015), (Conferences of INASE), 2015, Agios Nikolaos, Crete, Greece (invited paper). 2. Aliki D. Muradova, Numerical simulation of grain coarsening and coalescence process, Scientific Workshop, Space-Time Stochastic Models and their Applications, 2015, Chania, Greece. 3. Aliki D. Muradova and Dionisis T. Hristopulos, Numerical investigation of grain coarsening and coalescence model. International Conference on Mathematical Modeling in Physical Sciences, IC-MSQUARE, 2014, Madrid, Spain (virtual presentation). 4. Tamaz S. Vashakmadze (presenter) and Aliki Muradova, To problem of approximate Solution of BVPs for ODEs with boundary layers by multipoint methods, ICNAAM 2013, Rhodes, Greece. 5. Aliki D. Muradova (presenter) and Georgios E. Stavroulakis. A dynamic nonlinear model with contact and buckling for an elastic plate: a time spectral analysis. 10 th HSTAM International Congress on Mechanics, 2013, Chania, Greece. 6. Aliki D. Muradova and Georgios E. Stavroulakis (presenter). Fuzzy control of a smart elastic plate. 7 th CRACM Internat. Congress on Comput. Mech., 2011, Athens, Greece.

10 Curriculum Vitae of Aliki Muradova Page 10 of Aliki D. Muradova. The time-dependent spectral method for solving equations of dynamic nonlinear elasticity. NumAn2010 (Conf. in Numer. Anal., Recent Approaches to Numerical Analysis.: Theory, Meth. and Appl.), 2010, Chania, Crete, Greece. 8. Aliki D. Muradova and Georgios E. Stavroulakis (presenter). Postbuckling analysis of rectangular plates resting on the nonlinear elastic foundations. ESMC (7 th EUROMECH Solid Mechanics Conference), Lisbon, Portugal, 2009 (invited paper). 9. Aliki D. Muradova (presenter) and Georgios E. Stavroulakis. Postbuckling behaviour of a rectangular plate unilaterally surrounded by nonlinear elastic supports. CMIS (5 th Contact Mechanics International Symposium), Chania, Crete, Greece, Aliki D. Muradova (presenter) and Dionisis T. Hristopulos. Mathematical modeling of formation and dissociation of gas hydrate in the seefloor sediment. ICCMSE (International Conference on Comp. Methods in Science and Engineering), Chania, Crete, Greece, Aliki D. Muradova. Multiple bifurcations in the nonlinear equations of the theory of elasticity. ICNAAM (International Conference in Num. Anal. and Appl. Math.), Herssonisos, Crete, Greece, Aliki D. Muradova. Numerical techniques for linear and nonlinear eigenvalue problems in the theory of elasticity. CTAC (Computational Techniques and Applications Conference and Workshop), Melbourne, Australia, Aliki D. Muradova and Georgios E. Stavroulakis (presenter). Computation of unilaterally supported elastic plates. ECCOMAS (European Congress on Computational Methods in Appl. Sci. and Eng.), Jyvaskyla, Finland, 2004 (invited paper). 14. Aliki D. Muradova. Computing of eigenvalues and eigenfunctions of nonlinear partial differential equations of the theory of elastic plates. Workshop on Computational Partial and Ordinary Differential Equations, Auckland, New Zealand, A. D. Muradova. The computation of eigenfunctions for one nonlinear problem of the theory of elasticity. 3d Congress of Georgian Mathematicians, Tbilisi, Georgia, A. D. Muradova. A design of some non-linear eigenvalue problems. Minisymposiums of TICMI (Tbilisi Internat. Center of Math. and Infor.), Tbilisi, Georgia, A. D. Muradova. To design of bending problems with boundary layers for elastic plates, Minisymposiums of TICMI, Tbilisi, Georgia, A. D. Muradova. To one iteration scheme for problems of bending of elastic plates. Internat. Symposium on Problems of Continuum Mechanics, Tbilisi, Georgia, A. D. Muradova (presenter) and T. S. Vashakmadze. To design shearing forces for elastic plates. Minisymposiums of TICMI, Tbilisi, Georgia, COMPUTER SKILLS FORTRAN; C; MATLAB; Object-oriented programming (PYTHON, basis of C++ and JAVA); TURBO PASCAL; FOXPRO programming in DataBase; Familiar with UNIX (including LINUX, SunSolaris), MATHEMATICA, MAPLE; MS-Dos (Norton

11 Curriculum Vitae of Aliki Muradova Page 11 of 11 Commander); MS Windows Microsoft Office Applications; GeoGebra, TEX, LATEX.