Personal tools
You are here: Home / People / Antonio Jiménez Pastor

Antonio Jiménez-Pastor


 The Website of the Doctoral Program in Computational Mathematics at JKU

Antonio Jiménez-Pastor

Contact


Office: RISC, Hagenberg, -2.18-3

Phone: ++43(0)732/2468-9969

EMail: antonio.jimenez-pastor@dk-compmath.jku.atajpastor@risc.uni-linz.ac.at
Address:
Doctoral Program Computational Mathematics
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz
Austria
 

Short Curriculum Vitae

  • Since September 2009 to June 2014: Bachelor studies in Mathematics, UAM Madrid, Spain.
  • Since September 2009 to June 2014: Bachelor studies in Computer Engineering, UAM Madrid, Spain.
  • Since September 2014 to June 2015: Master studies in Mathematics and Applications, UAM Madrid, Spain.
  • Since January 2015 to June 2016: Research Staff at Model-Driven Engineering research group, UAM Madrid, Spain.
  • Since August 2016: PhD Student in the Doctoral Program "Computational Mathematics'', JKU Linz,
 Austria.

Research interests

  • Symbolic Computation
  • Computational Algebra
  • Computer Science
  • PDE over Graphs

Software

All the software offered here has been totally or partially developed by myself and was funded by  the Austrian Science Fund (FWF): W1214-N15, project DK15. Unless otherwise stated, the software provided on this web site is free; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation. The programs are distributed in the hope that they will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose.

  • dd_functions: a Sage package for manipulate D-finite, DD-finite and, more generally, Dn-finite functions. To use the software, download the zip file on the link, unpack it, open a shell and run the command make. If that does not work, you can simply move the folder ajpastor contained in diff_defined_functions to any location your Sage installation look for packages. A further introductory document will be added soon.

Activities

Participation at conferences and workshops

  • September 28 - 30, 2016: DK Statusseminar, Strobl, Austria - Self Introduction
  • July 10 - 11, 2017: DK Mini-Workshop Computational Mathematics in Numerical Analysis and Symbolic Computation, Linz, Asutria - Talk
  • July 25 - 28, 2017: International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany
  • September 5 - 9, 2017: Computational Mathematics and Approximation Theory Workshop (CMAPT 2017), Linz, Austria - Poster
  • September 27 - 29, 2017: DK Statusseminar, Strobl, Austria - Talk
  • February 5 - 6, 2018: DK Mini-Workshop Computational Mathematics in Numerical Analysis and Symbolic Computation, Linz, Austria - Talk
  • May 7 - 9, 2018: Bringing Young Mathematicians Together (BYMAT 2018), Madrid, Spain - Talk
  • July 26 - 19, 2018: International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), New York, US - Talk
  • September 26 - 28, 2018: DK Statusseminar, Strobl, Austria - Talk
  • March 25-27, 2019: Functional Equations in LIMoges (FELIM, 2019), Limoges - Talk
  • June 17-21, 2019: 3rd International Conference “Computer Algebra” (2019), Moscow - Talk  
  • July 1-5, 2019: International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC, 2019), Ljubjana - Software presentation

Further Publications

  • Scalable Model Exploration Through Abstraction and Fragmentation Strategies, Software Technologies: Applications and Foundations, BigMDE 2015, Pages 21-31, http://ceur-ws.org/Vol-1406/ - in collaboration with Antonio Garmendia and Juan de Lara
  • Scalable model exploration for model-driven engineering, Journal of Systems and Software (JSS), Volume 132, October 2017, Pages 204-225, ISSN 0164-1212, https://doi.org/10.1016/j.jss.2017.07.011 - in collaboration with Antonio Garmendia and Juan de Lara