Residential Access | Remote Access |

- 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) - Algebraic closure models of stratified turbulent boundary layers.

Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel) - Symbolic Computational Methods in Nonequilibrium Thermodynamics and in Constitutive Theory.

Heiko Herrmann (Institute Of Cybernetics, Tallinn University of Technology, Estonia) - Symbolic Computation in Studies of Dynamical Systems.

Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia) - Two Topics in Theorem Proving and Symbolic Computation.

Andrei Voronkov (School of Computer Science, University of Manchester, UK) - Computing with Underspecified Matrices. Mathematical Theory Exploration.

Volker Sorge (School of Computer Science, University of Birmingham, UK) - Learning from Theorema's expertise in formalizing mathematics.

Manuel Maarek (School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK) - Dynamics of mesoscopic systems.

Victor Lvov (Weizmann Institute of Science, Rehovot, Israel) - Analytical solution to the model of developing boundary layers.

Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel) - Cross-over from Regular to Chaotic behavior in discrete wave systems.

Sergey Nazarenko (Mathematics Institute, University of Warwick, UK) - Scheme-based theory exploration in the Theorema system.

Adrian Craciun (Institute e-Austria, West University of Timisoara, Romania) - Algebraic Methods in Control Design.

Enrique Pico Parco (Dept. of Systems Engineering and Control, Technical University of Valencia, Spain) - Symbolic Computation in Program Verification.

Laura Kovács (École Polytechnique Fédérale de Lausanne (EPFL), Switzerland) - 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) -
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). - Cluster Dynamics of Planetary Waves.

Victor Lvov (Weizmann Institute of Science, Rehovot, Israel) - Toward stochastic description of large triad-clusters.

Anna Pomyalov (Weizmann Institute of Science, Rehovot, Israel) - Cluster computations in laminated wave turbulence.

Miguel Bustamante (University of Warwick, UK) - Factorization of linear partial differential operators.

Wilhelm Plesken (RWTH Aachen University, Germany) and Arne Lorenz (RWTH Aachen University, Germany). - Differential invariants of Lie groups.

Evelyne Hubert (INRIA Sophia Antipolis, France). - Ideal Intersections in Rings of Partial Differential Operators.

Fritz Schwarz (Fraunhofer Institute for Algorithms and Scientific Computing SCAI, Germany). - Applications of Moving Frames.

Elizabeth L. Mansfield (University of Kent, UK). - From functions to numeric interpretations: mechanizing proofs of termination using numeric algebras.

Salvador Lucas (Universidad Politecnica de Valencia, Spain) - Implementing the DPLL Method within Multi-Domain Logic to Solve the SAT Problem.

Gabor Kusper (Eszterhazy Karoly College, Hungary) - Implementations and applications of univariate real solving.

Elias Tsigaridas (INRIA Sophia-Antipolis, France) - Automated Theory Exploration.

Roy McCasland, Lucas Dixon, Lilia Georgieva, Markus Guhe, Fiona McNeill, Omar Montano-Rivas, and Alison Pease (University of Edinburgh, UK) - Methods for Creative Computre Supported Mathematical Theory Exploration.

Adrian Craciun (Institute e-Austria, West University of Timisoara, Romania) - Differential Equations with Nonlocal Boundary Conditions.

Sigita Peciulyte (Vytautas Magnus University, Kaunas, Lithuania) and Justina Jachimaviciene (Institute of Mathematics and Informatics, Vilnius, Lithuania). - Stability Analysis of the Optical Resonators toward Feedback-controlled Radiation Pressure Cooling.

Mark Vilensky (Weizmann Institute of Science, Israel). - Symbolic Computation in Mathematics and Control.

Jenny Santoso (University of Stuttgart, Germany). - Algebraic Analysis and Computer Algebra.

Jean-Francois Pommaret (Ecole Nationale des Ponts et Chaussées, France) and Alban Quadrat (INRIA Sophia Antipolis, France). - Differential-Difference Equations Satisfied by Higher Hypergeometric Functions.

Diego Dominici (Technische Universitaet Berlin, Germany) - Differential implicitization and differential parametrization.

Sonia Rueda (Universidad Politechnica de Madrid, Spain) - Mathematical General Relativity.

Juan Antonio Valiente Kroon (Queen Mary, University of London, UK) - Towards A Framework for Practical Computer-Supported Mathematical Theory Exploration.

Adrian Craciun (West University of Timisoara, Romania) - Efficient Algorithms for Geometric Optimization Problems.

Pedro Ramos (Universidad de Alcala, Spain) - Towards Weighted Linear Temporal Logic.

George Rahonis (Aristotle University of Thessaloniki, Greece) - Mathematical Modelling of Thermal Processes in Laser and Electrothermal Technologies.

Gerda Jankeviciute(Vytautas Magnus University, Kaunas, Lithuania) - Recostruction of Geometry Complex 3D Objects or CAD Systems, with Low Numbers of Measurements Data.

Michal Rychlik (Poznan University of Technology, Poland) - Differential Equations with Different Nonlocal Conditions.

Zivile Jeseviciute (Institute of Mathematics and Informatics, Vilnius, Lithuania) - Learning Symbolic Computation Software.

Markos Farao (National and Kapodistrian University of Athens, Greece) - Learning Symbolic Computation Techniques for Polynomial Algebra.

Maria Sofouli (National and Kapodistrian University of Athens, Greece) - Algorithmic Methods for Algebraic Curves and Applications.

Juana Sendra Pons (Universidad Politecnica de Madrid, Spain) - Algebraic Analysis of Stability and Bifurcation for Biological Systems. Geometric Reasoning and Knowledge Management.

Dongming Wang (CNRS, France) - Efficient Algorithms for Combinatorial Designs using Computer Algebra Tools and Symbolic Computation.

Dimitris Simos (National Technical University of Athens, Greece) - Debugging of Declarative Programs.

David Insa Cabrera (Universidad Politechnica de Valencia, Spain) - Euler Sums of Hyperharmonic Numbers and Applications of Euler-Seidel Matrices.

Aihan Dil (University of Akdeniz, Turkey) - Computation of pi-Flat Outputs of Linear Time-Varying Control Systems with Delays.

Felix Antritter (Universitaet der Bundeswehr Muenchen, Germany) - Characterization of Polynomials Satisfying a Four Term Recurrence.

Diego Dominici (Technische Universitaet Berlin, Germany) - Sage.

Simon King (National University of Ireland, Galway), Sebastian Pancratzm (University of Oxford, UK) and Richard Kreckel (Erlangen, Germany) - Singular.

Alexander Dreyer (Fraunhofer ITWM, Germany) and Oleksandr Motsak (University of Kaiserslautern, Germany) - Special Functions.

Nico Temme (CWI, Netherlands), Fredrik Johansson (Chalmers University of Technology, Sweden), Stephen Buckley (University of Oxford, UK). - Differential Algebra.

Felix Ulmer (Universite de Rennes 1, France), Alban Quadrat (INRIA Sophia Antipolis, France), and Thomas Bächler (RWTH, Aachen, Germany) - 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) - Number Theory/Modular Forms.

Sever Achimescu (Institute of Mathematics, Romanian Academy) - Algebraic Ordinary Differential Equtions of Order 1.

Rafael Sendra (University of Alcalá, Spain) - Weyl Algebras and D-Modules.

Daniel Andres, Albert Heinle, and Viktor Levandovskyy (RWTH Aachen, Germany) - Desingularization and Simplification Methods for Linear Differential Systems.

Carole El Bacha, Moulay A. Barkatou, and Thomas Cluzeau (University of Limoges, France) - Integro-Differential Operators.

Georg Regensburger (INRIA, France) and Markus Rosenkranz (University of Kent, UK) - Differential Elimination for Analytic Functions.

Wilhelm Plesken and Daniel Robertz (RWTH Aachen, Germany) - Algebraic Limit Cycles of Polynomial Vector Fields in R^2.

Jaume Llibre (Universitat Autonoma de Barcelona, Spain) - Pseudogroups, Their Invariants, and Noether's Second Theorem.

Elizabeth Mansfield (University of Kent, UK) - Spencer Operator and Macaulay Inverse System.

Jean-Francois Pommaret (Ecole Nationale des Ponts et Chaussées, France) - Triangularization of General Linear Systems of Partial Differential Equations Based on Pure Differential Modules.

Alban Quadrat (INRIA, France) - Solving Linear Inhomogeneous Differential Equations.

Fritz Schwarz (Fraunhofer Institute for Algorithms and Scientific Computing SCAI, Germany) - Polynomial Equations.

Lorenzo Robbiano (University of Genoa, Italy) - Special Functions and Applications in Combinatorics.

Clemente Cesarano (International Telematic University, Rome, Italy) - Variable Tree Automata.

Irini Eleftheria Mens (Aristotle University of Thessaloniki, Greece) - Weighted LTL with Discounting.

Eleni Mandrali and Marilena Vretta (Aristotle University of Thessaloniki, Greece) - Decomposition of Varieties.

Michael Möller (TU Dortmund, Germany) - Symmetries, Fine Grading of sl(n,C) and Mutually Unbiased Bases.

Miroslav Korbelar (Masaryk University, Brno, Czech Republic) - Grammars, Automata, Algebras, Coalgebras.

Peter Padawitz (TU Dortmund, Germany) - Orthonomic Differential Systems.

Michal Marvan (Silesian University in Opava, Czech Republic) - Combinatorial Applications of Gröbner Bases.

Lajos Ronyai (Computer and Automation Institute, Hungarian Academy of Sciences) - Multi-Domain Logic as a Tool for Solve Bounded Model Checking Problems.

Gabor Kusper and Gergely Kovásznai (Eszterhazy Karoly College, Hungary) - Hadamard Matrices, Designs, Secret-Sharing Schemes.

Zlatko Varbanov (University of Veliko Tarnovo, Bulgaria) - Equational Theories for Automata.

Zoltan Esik (University of Szeged, Hungary) - Diophantine Equations.

Dimitrios Poulakis (Aristotle University of Thessaloniki, Greece) - Conditional Rule-Based Transformations for Unranked Trees.

Besik Dundua (University of Porto, Portugal) -
String Rewriting and Step by Step Decoding in Group Metrics.

Emilio Suarez Canedo (University of Valladolid, Spain)

- Symbolic Computation in Nanocomposites Research.

Mario Stiavnicky (Academy of Armed Forces of General Milan Rastislav Stefanik, Slovakia) - Symbolic Computational Methods in Nonequilibrium Thermodynamics and in Constitutive Theory.

Heiko Herrmann (Institute Of Cybernetics, Tallinn University of Technology, Estonia) - Symbolic Computation in Studies of Polynomial Dynamical Systems.

Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia) - Algebraic Error-Correcting Codes and their Applications.

Emanuele Betti (Dept. of Mathematics, University of Florence, Italy) - Towards Automatic Proofs of Inequalities Involving Elementary Functions.

Behzad Akbarpour (Computer Laboratory, University of Cambridge, UK) - Integrable PDE's: Algebraic Structures, Classification Problems, Solution Methods.

Sara Lombardo (Dept. of Mathematics, Vrije Universiteit Amsterdam, The Netherlands) - 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) - 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) - Commutative and Computational Algebra in Cryptography.

Anna Rimoldi (Dept. of Mathematics, University of Trento, Italy) - 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) - 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) - Implementation of root isolation techniques. Multihomogeneous resultant matrices. Training in Axiom and CoCoA.

Angelos Mantzaflaris (Department of Informatics and Telecommunications, University of Athens, Greece) - Counting the number of RNA structures.

Mohammad Ganjtabesh (Laboratoire d'Informatique (LIX), Ecole Polytechnique, France) - Absolute factorization of polynomials with several variables and irreducible decomposition of curves in C^n.

Cristina Bertone (Department of Mathematics, Universita di Torino, Italy) - Exact resonances in three- and four-waves interaction processes of waves of different nature.

Oleksii Rudenko (Weizmann Institute of Science, Rehovot, Israel) - Symbolic Computations in Studies of Polynomial Systems of Differential Equations.

Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia) - Algebraic Methods in Control Design.

Enrique Pico Parco (Dept. of Systems Engineering and Control, Technical University of Valencia, Spain) - Integral solutions of curves of genus 0 over arbitrary number fields.

Paraskevas Alvanos (Aristotle University of Thessaloniki, Greece) - Solving Polynomial Systems of Differential Equations.

Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia) - Efficient Algorithms for Combinatorial Designs using Computer Algebra Tools and Symbolic Computation.

Dimitris Simos (National Technical University of Athens, Greece) - Symbolic Computations in Studies of Polynomial Systems of Differential Equations.

Valerij Romanovskij (Center of Applied Mathematics and Theoretical Physics, University of Maribor, Slovenia) - Algorithms for diagonalization of matrices over Euclidean Ore domains and Jacobson form.

Viktor Levandovskyy (RWTH, Aachen, Germany)