Transnational Access Programme at RISC
Symbolic Computation Infrastructure for Europe (Project SCIEnce)
User Projects



Residential Access Remote Access

Residential Access
  1. Use of Elimination Theory for the Computation of Minimal Polynomials of Quartic Imprimitive Extensions of the Rational Number Field.
    Konstantinos Draziotis (Technological and Educational Institute of Kavala, Greece)
  2. Algebraic closure models of stratified turbulent boundary layers.
    Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel)
  3. Symbolic Computational Methods in Nonequilibrium Thermodynamics and in Constitutive Theory.
    Heiko Herrmann (Institute Of Cybernetics, Tallinn University of Technology, Estonia)
  4. Symbolic Computation in Studies of Dynamical Systems.
    Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia)
  5. Two Topics in Theorem Proving and Symbolic Computation.
    Andrei Voronkov (School of Computer Science, University of Manchester, UK)
  6. Computing with Underspecified Matrices. Mathematical Theory Exploration.
    Volker Sorge (School of Computer Science, University of Birmingham, UK)
  7. Learning from Theorema's expertise in formalizing mathematics.
    Manuel Maarek (School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK)
  8. Dynamics of mesoscopic systems.
    Victor Lvov (Weizmann Institute of Science, Rehovot, Israel)
  9. Analytical solution to the model of developing boundary layers.
    Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel)
  10. Cross-over from Regular to Chaotic behavior in discrete wave systems.
    Sergey Nazarenko (Mathematics Institute, University of Warwick, UK)
  11. Scheme-based theory exploration in the Theorema system.
    Adrian Craciun (Institute e-Austria, West University of Timisoara, Romania)
  12. Algebraic Methods in Control Design.
    Enrique Pico Parco (Dept. of Systems Engineering and Control, Technical University of Valencia, Spain)
  13. Symbolic Computation in Program Verification.
    Laura Kovács (École Polytechnique Fédérale de Lausanne (EPFL), Switzerland)
  14. Applications of the symbolic computation to 1D and 2D finite element electromagnetic field problems.
    Dumitru Cazacu. (Dept. for electronics, communications and computers, University of Pitesti, Romania)
  15. Development of Fast "Rational" Noncommutative Groebner Bases in Ore-Localized Algebras of Operators and Applications to Special Functions.
    Viktor Levandovskyy (RWTH Aachen University, Germany), Hans Schoenemann (Technical University of Kaiserslautern, Germany) and Oleksandr Motsak (Technical University of Kaiserslautern, Germany).
  16. Cluster Dynamics of Planetary Waves.
    Victor Lvov (Weizmann Institute of Science, Rehovot, Israel)
  17. Toward stochastic description of large triad-clusters.
    Anna Pomyalov (Weizmann Institute of Science, Rehovot, Israel)
  18. Cluster computations in laminated wave turbulence.
    Miguel Bustamante (University of Warwick, UK)
  19. Factorization of linear partial differential operators.
    Wilhelm Plesken (RWTH Aachen University, Germany) and Arne Lorenz (RWTH Aachen University, Germany).
  20. Differential invariants of Lie groups.
    Evelyne Hubert (INRIA Sophia Antipolis, France).
  21. Ideal Intersections in Rings of Partial Differential Operators.
    Fritz Schwarz (Fraunhofer Institute for Algorithms and Scientific Computing SCAI, Germany).
  22. Applications of Moving Frames.
    Elizabeth L. Mansfield (University of Kent, UK).
  23. From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras.
    Salvador Lucas (Universidad Politecnica de Valencia, Spain)
  24. Implementing the DPLL Method within Multi-Domain Logic to Solve the SAT Problem.
    Gabor Kusper (Eszterhazy Karoly College, Hungary)
  25. Implementations and applications of univariate real solving.
    Elias Tsigaridas (INRIA Sophia-Antipolis, France)
  26. Automated Theory Exploration.
    Roy McCasland, Lucas Dixon, Lilia Georgieva, Markus Guhe, Fiona McNeill, Omar Montano-Rivas, and Alison Pease (University of Edinburgh, UK)
  27. Methods for Creative Computre Supported Mathematical Theory Exploration.
    Adrian Craciun (Institute e-Austria, West University of Timisoara, Romania)
  28. Differential Equations with Nonlocal Boundary Conditions.
    Sigita Peciulyte (Vytautas Magnus University, Kaunas, Lithuania) and Justina Jachimaviciene (Institute of Mathematics and Informatics, Vilnius, Lithuania).
  29. Stability Analysis of the Optical Resonators toward Feedback-controlled Radiation Pressure Cooling.
    Mark Vilensky (Weizmann Institute of Science, Israel).
  30. Symbolic Computation in Mathematics and Control.
    Jenny Santoso (University of Stuttgart, Germany).
  31. Algebraic Analysis and Computer Algebra.
    Jean-Francois Pommaret (Ecole Nationale des Ponts et Chaussées, France) and Alban Quadrat (INRIA Sophia Antipolis, France).
  32. Differential-Difference Equations Satisfied by Higher Hypergeometric Functions.
    Diego Dominici (Technische Universitaet Berlin, Germany)
  33. Differential implicitization and differential parametrization.
    Sonia Rueda (Universidad Politechnica de Madrid, Spain)
  34. Mathematical General Relativity.
    Juan Antonio Valiente Kroon (Queen Mary, University of London, UK)
  35. Towards A Framework for Practical Computer-Supported Mathematical Theory Exploration.
    Adrian Craciun (West University of Timisoara, Romania)
  36. Efficient Algorithms for Geometric Optimization Problems.
    Pedro Ramos (Universidad de Alcala, Spain)
  37. Towards Weighted Linear Temporal Logic.
    George Rahonis (Aristotle University of Thessaloniki, Greece)
  38. Mathematical Modelling of Thermal Processes in Laser and Electrothermal Technologies.
    Gerda Jankeviciute(Vytautas Magnus University, Kaunas, Lithuania)
  39. Recostruction of Geometry Complex 3D Objects or CAD Systems, with Low Numbers of Measurements Data.
    Michal Rychlik (Poznan University of Technology, Poland)
  40. Differential Equations with Different Nonlocal Conditions.
    Zivile Jeseviciute (Institute of Mathematics and Informatics, Vilnius, Lithuania)
  41. Learning Symbolic Computation Software.
    Markos Farao (National and Kapodistrian University of Athens, Greece)
  42. Learning Symbolic Computation Techniques for Polynomial Algebra.
    Maria Sofouli (National and Kapodistrian University of Athens, Greece)
  43. Algorithmic Methods for Algebraic Curves and Applications.
    Juana Sendra Pons (Universidad Politecnica de Madrid, Spain)
  44. Algebraic Analysis of Stability and Bifurcation for Biological Systems. Geometric Reasoning and Knowledge Management.
    Dongming Wang (CNRS, France)
  45. Efficient Algorithms for Combinatorial Designs using Computer Algebra Tools and Symbolic Computation.
    Dimitris Simos (National Technical University of Athens, Greece)
  46. Debugging of Declarative Programs.
    David Insa Cabrera (Universidad Politechnica de Valencia, Spain)
  47. Euler Sums of Hyperharmonic Numbers and Applications of Euler-Seidel Matrices.
    Aihan Dil (University of Akdeniz, Turkey)
  48. Computation of pi-Flat Outputs of Linear Time-Varying Control Systems with Delays.
    Felix Antritter (Universitaet der Bundeswehr Muenchen, Germany)
  49. Characterization of Polynomials Satisfying a Four Term Recurrence.
    Diego Dominici (Technische Universitaet Berlin, Germany)
  50. Sage.
    Simon King (National University of Ireland, Galway), Sebastian Pancratzm (University of Oxford, UK) and Richard Kreckel (Erlangen, Germany)
  51. Singular.
    Alexander Dreyer (Fraunhofer ITWM, Germany) and Oleksandr Motsak (University of Kaiserslautern, Germany)
  52. Special Functions.
    Nico Temme (CWI, Netherlands), Fredrik Johansson (Chalmers University of Technology, Sweden), Stephen Buckley (University of Oxford, UK).
  53. Differential Algebra.
    Felix Ulmer (Universite de Rennes 1, France), Alban Quadrat (INRIA Sophia Antipolis, France), and Thomas Bächler (RWTH, Aachen, Germany)
  54. Cryptography and Sage.
    Martin Albrecht (Royal Holloway, University of London, UK), Ciaran Mullan (Royal Holloway, University of London, UK), and Sedat Akleylek (Middle East Technical University, Ankara, Turkey)
  55. Number Theory/Modular Forms.
    Sever Achimescu (Institute of Mathematics, Romanian Academy)
  56. Algebraic Ordinary Differential Equtions of Order 1.
    Rafael Sendra (University of Alcalá, Spain)
  57. Weyl Algebras and D-Modules.
    Daniel Andres, Albert Heinle, and Viktor Levandovskyy (RWTH Aachen, Germany)
  58. Desingularization and Simplification Methods for Linear Differential Systems.
    Carole El Bacha, Moulay A. Barkatou, and Thomas Cluzeau (University of Limoges, France)
  59. Integro-Differential Operators.
    Georg Regensburger (INRIA, France) and Markus Rosenkranz (University of Kent, UK)
  60. Differential Elimination for Analytic Functions.
    Wilhelm Plesken and Daniel Robertz (RWTH Aachen, Germany)
  61. Algebraic Limit Cycles of Polynomial Vector Fields in R^2.
    Jaume Llibre (Universitat Autonoma de Barcelona, Spain)
  62. Pseudogroups, Their Invariants, and Noether's Second Theorem.
    Elizabeth Mansfield (University of Kent, UK)
  63. Spencer Operator and Macaulay Inverse System.
    Jean-Francois Pommaret (Ecole Nationale des Ponts et Chaussées, France)
  64. Triangularization of General Linear Systems of Partial Differential Equations Based on Pure Differential Modules.
    Alban Quadrat (INRIA, France)
  65. Solving Linear Inhomogeneous Differential Equations.
    Fritz Schwarz (Fraunhofer Institute for Algorithms and Scientific Computing SCAI, Germany)
  66. Polynomial Equations.
    Lorenzo Robbiano (University of Genoa, Italy)
  67. Special Functions and Applications in Combinatorics.
    Clemente Cesarano (International Telematic University, Rome, Italy)
  68. Variable Tree Automata.
    Irini Eleftheria Mens (Aristotle University of Thessaloniki, Greece)
  69. Weighted LTL with Discounting.
    Eleni Mandrali and Marilena Vretta (Aristotle University of Thessaloniki, Greece)
  70. Decomposition of Varieties.
    Michael Möller (TU Dortmund, Germany)
  71. Symmetries, Fine Grading of sl(n,C) and Mutually Unbiased Bases.
    Miroslav Korbelar (Masaryk University, Brno, Czech Republic)
  72. Grammars, Automata, Algebras, Coalgebras.
    Peter Padawitz (TU Dortmund, Germany)
  73. Orthonomic Differential Systems.
    Michal Marvan (Silesian University in Opava, Czech Republic)
  74. Combinatorial Applications of Gröbner Bases.
    Lajos Ronyai (Computer and Automation Institute, Hungarian Academy of Sciences)
  75. Multi-Domain Logic as a Tool for Solve Bounded Model Checking Problems.
    Gabor Kusper and Gergely Kovásznai (Eszterhazy Karoly College, Hungary)
  76. Hadamard Matrices, Designs, Secret-Sharing Schemes.
    Zlatko Varbanov (University of Veliko Tarnovo, Bulgaria)
  77. Equational Theories for Automata.
    Zoltan Esik (University of Szeged, Hungary)
  78. Diophantine Equations.
    Dimitrios Poulakis (Aristotle University of Thessaloniki, Greece)
  79. Conditional Rule-Based Transformations for Unranked Trees.
    Besik Dundua (University of Porto, Portugal)
  80. String Rewriting and Step by Step Decoding in Group Metrics.
    Emilio Suarez Canedo (University of Valladolid, Spain)

Remote Access
  1. Symbolic Computation in Nanocomposites Research.
    Mario Stiavnicky (Academy of Armed Forces of General Milan Rastislav Stefanik, Slovakia)
  2. Symbolic Computational Methods in Nonequilibrium Thermodynamics and in Constitutive Theory.
    Heiko Herrmann (Institute Of Cybernetics, Tallinn University of Technology, Estonia)
  3. Symbolic Computation in Studies of Polynomial Dynamical Systems.
    Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia)
  4. Algebraic Error-Correcting Codes and their Applications.
    Emanuele Betti (Dept. of Mathematics, University of Florence, Italy)
  5. Towards Automatic Proofs of Inequalities Involving Elementary Functions.
    Behzad Akbarpour (Computer Laboratory, University of Cambridge, UK)
  6. Integrable PDE's: Algebraic Structures, Classification Problems, Solution Methods.
    Sara Lombardo (Dept. of Mathematics, Vrije Universiteit Amsterdam, The Netherlands)
  7. Research Topics in Nonlinear Intact Ship Dynamics Where Symbolic Computation Tools could be Applied.
    Gabriele Bulian (Dept. of Naval Architecture, Ocean and Environmental Engineering, University of Trieste, Italy)
  8. Connecting Dynamical Clients with Computer Algebra Systems using a Web- or a Grid service.
    Marc Frincu (Dept. of Computer Science and Mathematics, West University of Timisoara, Romania)
  9. Commutative and Computational Algebra in Cryptography.
    Anna Rimoldi (Dept. of Mathematics, University of Trento, Italy)
  10. Determining Minimal Graded Free Resolutions of Special Classes of Homogeneous Ideals in a Polynomial Ring.
    Oscar Fernandez Ramos (Faculty of Sciences, Dept. of Algebra, Geometry, and Topology. University of Valliadolid, Spain)
  11. Investigation on the Structure of Reduced Configuration and Phase Space of Gauge Field Theory.
    Szymon Charzynski (Center for Theoretical Physics, Polish Academy of Sciences, Warsaw, Poland)
  12. Implementation of root isolation techniques. Multihomogeneous resultant matrices. Training in Axiom and CoCoA.
    Angelos Mantzaflaris (Department of Informatics and Telecommunications, University of Athens, Greece)
  13. Counting the number of RNA structures.
    Mohammad Ganjtabesh (Laboratoire d'Informatique (LIX), Ecole Polytechnique, France)
  14. Absolute factorization of polynomials with several variables and irreducible decomposition of curves in C^n.
    Cristina Bertone (Department of Mathematics, Universita di Torino, Italy)
  15. Exact resonances in three- and four-waves interaction processes of waves of different nature.
    Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel)
  16. Symbolic Computations in Studies of Polynomial Systems of Differential Equations.
    Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia)
  17. Algebraic Methods in Control Design.
    Enrique Pico Parco (Dept. of Systems Engineering and Control, Technical University of Valencia, Spain)
  18. Integral solutions of curves of genus 0 over arbitrary number fields.
    Paraskevas Alvanos (Aristotle University of Thessaloniki, Greece)
  19. Solving Polynomial Systems of Differential Equations.
    Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia)
  20. Efficient Algorithms for Combinatorial Designs using Computer Algebra Tools and Symbolic Computation.
    Dimitris Simos (National Technical University of Athens, Greece)
  21. Symbolic Computations in Studies of Polynomial Systems of Differential Equations.
    Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia)
  22. Algorithms for diagonalization of matrices over Euclidean Ore domains and Jacobson form.
    Viktor Levandovskyy (RWTH, Aachen, Germany)


TAP home page