The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Werner M. Seiler" ( http://dblp.L3S.de/Authors/Werner_M._Seiler )

URL (Homepage):  http://www.mathematik.uni-kassel.de/~seiler/  Author page on DBLP  Author page in RDF  Community of Werner M. Seiler in ASPL-2

Publication years (Num. hits)
1991-2010 (15) 2011-2016 (19) 2017-2019 (15)
Publication types (Num. hits)
article(25) book(1) inproceedings(17) proceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 4 keywords

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019, Proceedings Search on Bibsonomy CASC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, Werner M. Seiler, Thomas Sturm 0001, Sebastian Walcher, Andreas Weber 0004 The SYMBIONT project: symbolic methods for biological networks. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler A Pommaret bases approach to the degree of a polynomial ideal. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler Computation of Pommaret Bases Using Syzygies. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler A Pommaret Bases Approach to the Degree of a Polynomial Ideal. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Amir Hashemi, Michael Schweinfurter, Werner M. Seiler Deterministic genericity for polynomial ideals. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler Computation of Pommaret Bases Using Syzygies. Search on Bibsonomy CASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings Search on Bibsonomy CASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Amir Hashemi, Werner M. Seiler Dimension-Dependent Upper Bounds for Grobner Bases. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Amir Hashemi, Michael Schweinfurter, Werner M. Seiler Deterministic Genericity for Polynomial Ideals. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler Improved Computation of Involutive Bases. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thierry N. Dana-Picard, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács, Alexander N. Prokopenya, Werner M. Seiler Foreword. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings Search on Bibsonomy CASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amir Hashemi, Werner M. Seiler Dimension-Dependent Upper Bounds for Gröbner Bases. Search on Bibsonomy ISSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bentolhoda Binaei, Amir Hashemi, Werner M. Seiler Improved Computation of Involutive Bases. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Albert, Werner M. Seiler Resolving Decompositions for Polynomial Modules. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. Search on Bibsonomy J. Comput. Physics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Albert, Matthias Fetzer, Eduardo Sáenz-de-Cabezón, Werner M. Seiler On the free resolution induced by a Pommaret basis. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Albert, Matthias Fetzer, Werner M. Seiler Janet Bases and Resolutions in CoCoALib. Search on Bibsonomy CASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings Search on Bibsonomy CASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amir Hashemi, Michael Schweinfurter, Werner M. Seiler Deterministically Computing Reduction Numbers of Polynomial Ideals. Search on Bibsonomy CASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.) Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings Search on Bibsonomy CASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Singularities of Implicit Differential Equations and Static Bifurcations. Search on Bibsonomy CASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. Search on Bibsonomy CASC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amir Hashemi, Michael Schweinfurter, Werner M. Seiler Quasi-Stability versus Genericity Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Amir Hashemi, Michael Schweinfurter, Werner M. Seiler Quasi-stability versus Genericity. Search on Bibsonomy CASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber 0004 Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. Search on Bibsonomy CASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hassan Errami, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 On Muldowney's Criteria for Polynomial Vector Fields with Constraints. Search on Bibsonomy CASC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra. Search on Bibsonomy 2010   DOI  RDF
1Andreas Weber 0004, Thomas Sturm 0001, Werner M. Seiler, Essam O. Abdel-Rahman Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). Search on Bibsonomy CASC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler A combinatorial approach to involution and delta-regularity I: involutive bases in polynomial algebras of solvable type. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Julio Rubio, Werner M. Seiler Applicable algebra and artificial intelligence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Katsiaryna Krupchyk, Werner M. Seiler, Jukka Tuomela Overdetermined Elliptic Systems. Search on Bibsonomy Foundations of Computational Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Overdetermined system, Elliptic system, Completion, Partial differential equation, Symbol, Involution
1Marcus Hausdorf, Werner M. Seiler An Efficient Algebraic Algorithm for the Geometric Completion to Involution. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Cartan- Kuranishi theorem, Involutive basis, ?-Regularity->, Completion, Partial differential equation, Involution
1Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt Involutive Bases in the Weyl Algebra. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Taylor and Lyubeznik Resolutions via Gröbner Bases. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Special Issue "Computational Geometry for Differential Equations" - Guest Editor's Preface. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marcus Hausdorf, Werner M. Seiler On the Numerical Analysis of Overdetermined Linear Partial Differential Systems. Search on Bibsonomy SNSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Numerical integration of constrained Hamiltonian systems using Dirac brackets. Search on Bibsonomy Math. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Indices and Solvability for General Systems of Differential Equations. Search on Bibsonomy CASC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Position versus momentum projections for constrained Hamiltonian systems. Search on Bibsonomy Numerical Algorithms The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Werner M. Seiler Formale Theorie partieller Differentialgleichungen. Search on Bibsonomy Physik und Informatik The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license