BRST Quantization of String Theories - Applying REDUCE to High Energy
Physics
New Computing Techniques in Physics Research,
D. Perret-Gallix, W. Wojcik (eds), Editions du CNRS, Paris 1990, pp. 595-600
Formale Theorie partieller Differentialgleichungen
Arbeitsgespräch Physik und Informatik - Informatik und
Physik, D. Krönig, M. Lang (eds), Informatik-Fachberichte 306,
Springer-Verlag, Berlin 1992, pp. 318-326
Algorithmic Methods for Lie Pseudogroups (with Joachim Schü and Jacques Calmet)
Proc. Modern Group Analysis:
Advanced Analytical and Computational Methods in Mathematical Physics,
N. Ibragimov, M. Torrisi, A. Valenti (eds), Kluwer, Dordrecht 1993, pp. 337-344
Symbolische Behandlung von Differentialgleichungen (with Francois Ollivier, Fritz Schwarz, Felix Ulmer and
Benno Fuchssteiner)
Computeralgebra in Deutschland - Bestandsaufnahme,
Möglichkeiten, Perspektiven. Fachgruppe Computeralgebra,
Heidelberg, Passau 1993
Using REDUCE for Replica Calculations (with Paul Lukowicz and Klaus R. Müller)
Proc. Int. Conf. Artificial Neural Networks
(ICANN '93), S. Gielen, B. Kappen (eds), Springer-Verlag, London 1993, pp. 716-721
Computer Algebra and Differential Equations - An Overview
mathPAD, 7 (1997) 34-49
DETools: A Library for Differential Equations
mathPAD, 9 (1999) 18-33
Indices and Solvability for General Systems of Differential
Equations
Computer Algebra in Scientific Computing -
CASC '99, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 1999, pp. 365-385 (invited contribution)
Index Concepts for General Systems of Partial Differential Equations
Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 81 (2001) 629-632 (Supplement, part 3) (Proc. Annual Meeting GAMM, Göttingen 2000)
A Constructive Introduction to Involution (with Jacques Calmet and Marcus Hausdorf)
Proc. Int. Symp. Applications of Computer Algebra -
ISACA 2000, R. Akerkar (ed), Allied Publishers, New Delhi 2001, pp. 33-50 (invited contribution)
Involution Analysis of Field Theories (with Jacques Calmet and Marcus Hausdorf)
Proc. Encuentro de Algebra Computacional y Aplicaciones
- EACA 2001, La Roja (Spain), J. Rubio (ed.), pp. 1-15 (invited contribution)
Completion to Involution and Symmetry Analysis (with Marcus Hausdorf)
Proc. Computer Algebra and Applications in Physics,
Dubna 2001, V.P. Gerdt (ed.), pp. 169-179
A MuPAD Library for Differential Equations (with Jay Belanger and Marcus Hausdorf)
Computer Algebra in Scientific Computing - CASC 2001,
V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2001, pp. 25-42
Perturbation versus Differentiation Indices (with Marcus Hausdorf)
Computer Algebra in Scientific Computing - CASC 2001,
V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2001, pp. 323-337
Perturbation versus Differentiation Indices (with Marcus Hausdorf)
Proceedings in Applied Mathematics and Mechanics, 1 (2002) 514-515 (Proc. Annual Meeting GAMM, Zürich 2001)
Involutive Bases in MuPAD I: Involutive Divisions (with Marcus Hausdorf)
mathPAD, 11 (2002) 51-56 (invited contribution)
On the Numerical Analysis of Overdetermined Linear Partial
Differential Systems (with Marcus Hausdorf)
Proc. Symbolic and Numerical Scientific Computation -
SNSC '01, F. Winkler and U. Langer (eds), Lecture Notes in Computer Science
2630, Springer-Verlag, Berlin/Heidelberg 2003, pp. 152-167
Structure Analysis of Polynomial Modules with Pommaret Bases
Proceedings in Applied Mathematics and Mechanics, 2 (2003) 446-447 (Proc. Annual Meeting GAMM, Augsburg 2002)
Overdetermined Elliptic Systems (with Jukka Tuomela)
Proceedings in Applied Mathematics and Mechanics, 3 (2003) 485-486 (Proc. Annual Meeting GAMM, Abano Terme 2003)
Deciding Ellipticity by Quantifier Elimination (with Andreas Weber)
Computer Algebra in Scientific Computing - CASC 2003,
V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), TU München 2003, pp. 347-355
Stable Underlying Equations for Constrained Hamiltonian Systems
GAMM-Mitteilungen, 27 (2004) 25-45 (invited contribution)
Vessiot Connections of Partial Differential Equations (with Dirk Fesser)
Global Integrability of Field Theories - GIFT 2006,
J. Calmet, W.M. Seiler, R.W. Tucker (eds.),
Universitätsverlag Karlsruhe 2006, pp. 111-134
Delta- and Quasi-Regularity for Polynomial Ideals (with Marcus Hausdorf and Mehdi Sahbi)
Global Integrability of Field Theories - GIFT 2006,
J. Calmet, W.M. Seiler, R.W. Tucker (eds.),
Universitätsverlag Karlsruhe 2006, pp. 179-200
Spencer Cohomology, Differential Equations, and Pommaret Bases
Proc. Gröbner Bases and Symbolic Analysis, M. Rosenkranz,
D.M. Wang (eds); de Gruyter, Berlin 2007, Radon Series on Computational and Applied
Mathematics 2, pp. 169-216
The Inverse Syzygy Problem in Algebraic Systems Theory (with Eva Zerz)
Proceedings in Applied Mathematics and Mechanics, 10 (2010) 633-634 (Proc. Annual Meeting GAMM, Karlsruhe 2010)
Parametric Qualitative Analysis of Ordinary Differential Equations:
Computer Algebra Methods for Excluding Oscillations (with Andreas Weber, Thomas Sturm and Essam O. Abdel-Rahman)
Computer Algebra in Scientific Computing - CASC 2010,
V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2010, Lecture Notes in Computer Science 6244, pp. 267-279 (invited contribution)
On Muldowney's Criteria for Polynomial Vector Fields with Constraints (with Hassan Errami, Thomas Sturm and Andreas Weber)
Computer Algebra in Scientific Computing - CASC 2011, V.P. Gerdt,
W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2011, Lecture Notes in Computer Science 6885, pp. 135-143
Singularities in the Geometric Theory of Differential Equations (with Ulrike Kant)
Dynamical Systems, Differential Equations and Applications
(Proceedings 8th AIMS International Conference, Dresden 2010), W. Feng,
Z. Feng, M. Graselli, A. Ibragimov, X. Lu, S. Siegmund, J. Voigt (eds.), AIMS
2012, Vol. 2, pp. 784-793
Quasi-Stability versus Genericity (with Amir Hashemi and Michael Schweinfurter)
Computer Algebra in Scientific Computing - CASC 2012,
V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2012, Lecture Notes in Computer Science 7442, pp. 172-184
Computing Hopf Bifurcations in Chemical Reaction Networks Using
Reaction Coordinates (with Hassan Errami, Markus Eiswirth and Andreas Weber)
Computer Algebra in Scientific Computing - CASC 2012,
V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin
2012, Lecture Notes in Computer Science 7442, pp. 84-92
Singularities of Implicit Differential Equations and Static
Bifurcations
Computer Algebra in Scientific Computing - CASC 2013,
V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2013, Lecture Notes in Computer Science 8136, pp. 355-368
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction
Networks Using Reaction Coordinates (with Hassan Errami, Markus Eiswirth, Dima Grigoriev, Thomas Sturm
and Andreas Weber)
Computer Algebra in Scientific Computing - CASC 2013,
V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2013, Lecture Notes in Computer Science 8136, pp. 88-99
Deterministically Computing Reduction Numbers of Polynomial Ideals (with Amir Hashemi and Michael Schweinfurter)
Computer Algebra in Scientific Computing - CASC 2014,
V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2014, Lecture Notes in Computer Science 8660, pp. 186-201
Janet Bases and Resolutions in CoCoALib (with Mario Albert, Matthias Fetzer)
Computer Algebra in Scientific Computing - CASC 2015,
V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2015, Lecture Notes in Computer Science 9301, pp. 15-29
Algebraic Theory of Linear Systems: A Survey (with Eva Zerz)
Surveys in Differential-Algebraic Equations II,
A. Ilchmann, T. Reis (eds), Differential-Algebraic Equations Forum,
Springer-Verlag, Berlin 2015, pp. 287-333 (invited contribution)
Resolving Decompositions of Polynomial Modules (with Mario Albert)
Computer Algebra in Scientific Computing - CASC 2016,
V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2016, Lecture Notes in Computer Science 9890, pp. 15-29
SC-Square: Satisfiability Checking meets Symbolic Computation (with E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain,
B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine,
S. Forrest, A. Griggio, D. Kroening und T. Sturm)
Conference on Intelligent Computer Mathematics - CICM 2016,
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa (eds.), Lecture Notes in Artificial Intelligence 9791, pp. 28-43
Improved Computation of Involutive Bases (with Bentolhoda Binaei and Amir Hashemi)
Computer Algebra in Scientific Computing - CASC 2016,
V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2016, Lecture Notes in Computer Science 9890, pp 58-72
Resolutions and Betti Numbers of Polynomial Modules via
Involutive Bases (with Mario Albert and Matthias Fetzer)
Proceedings in Applied Mathematics and Mechanics, 16 (2016) 3-6 (Proc. Annual Meeting GAMM, Braunschweig 2016)
SC^2 Challenges: When Satisfiability Checking and
Symbolic Computation Join Forces (with E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain,
A. Cimatti, J.H. Davenport, M. England, P. Fontaine,
S. Forrest, V. Ganesh, A. Griggio and D. Kroening)
Proceedings Automated Reasoning: Challenges, Applications,
Directions, Exemplary Achievements (ARCADE 2017), G. Reger, D. Traytel
(eds.), EPiC Series in Computing
51, pp. 6-10
Dimension-Dependent Upper Bounds for Gröbner Bases (with Amir Hashemi)
Proc. International Symposium on Symbolic and Algebraic
Computation - ISSAC 2017, M. Burr (ed.), ACM, New York 2017, pp. 189--196
Computation of Pommaret Bases Using Syzygies (with Bentolhoda Binaei and Amir Hashemi)
Computer Algebra in Scientific Computing - CASC 2018,
V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag,
Berlin 2018, Lecture Notes in Computer Science 11077, pp. 51-66
Algebraic and Geometric Analysis of Singularities of Implicit
Differential Equations (with Matthias Seiß)
Computer Algebra in Scientific Computing - CASC 2020,
F. Boulier, M. England, T. Sadykov, E.V. Vorozhtsov (eds.), Springer-Verlag,
Cham 2020, Lecture Notes in Computer Science 12291, pp. 14-41 (invited contribution)
Size-Resolved Modeling of Diatom Populations:
Old Findings and New Insights (with Jonas Ziebarth and Thomas Fuhrmann-Lieker)
The Mathematical Biology of Diatoms, J.L. Pappas (ed.),
Wiley-Scrivener, pp.~19-61
|