Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Thomas Bächler
Follow
Share
Generating author description...
All published works
Action
Title
Year
Authors
+
PDF
Chat
Counting polynomials for linear codes, hyperplane arrangements, and matroids
2014
Wilhelm Plesken
Thomas Bächler
+
From Linear Codes to Hyperplane Arrangements via Thomas Decomposition
2012
Wilhelm Plesken
Thomas Bächler
+
Algorithmic Thomas decomposition of algebraic and differential systems
2011
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Daniel Robertz
+
Algorithmic Thomas Decomposition of Algebraic and Differential Systems
2011
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Daniel Robertz
+
Thomas decomposition and its applications
2011
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Wilhelm Plesken
Daniel Robertz
+
PDF
Chat
Thomas Decomposition of Algebraic and Differential Systems
2010
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Daniel Robertz
Common Coauthors
Coauthor
Papers Together
Daniel Robertz
4
Markus Lange‐Hegermann
4
Vladimir P. Gerdt
4
Wilhelm Plesken
3
Commonly Cited References
Action
Title
Year
Authors
# of times referenced
+
Gauss-Bruhat decomposition as an example of Thomas decomposition
2009
Wilhelm Plesken
4
+
PDF
Chat
Involutive bases of polynomial ideals
1998
Vladimir P. Gerdt
Yu. A. Blinkov
3
+
Counting solutions of polynomial systems via iterated fibrations
2009
Wilhelm Plesken
3
+
PDF
Chat
Computing representations for radicals of finitely generated differential ideals
2009
François Boulier
Daniel Lazard
François Ollivier
Michel Petitot
2
+
Algorithmic Thomas decomposition of algebraic and differential systems
2011
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Daniel Robertz
2
+
PDF
Chat
Thomas Decomposition of Algebraic and Differential Systems
2010
Thomas Bächler
Vladimir P. Gerdt
Markus Lange‐Hegermann
Daniel Robertz
2
+
Arrangements of Hyperplanes
1992
Peter Orlik
Hiroaki Terao
2
+
Effectiveness of involutive criteria in computation of polynomial Janet bases
2006
Vladimir P. Gerdt
D. A. Yanovich
2
+
Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal
2001
Driss Bouziane
Abdelilah Kandri Rody
Hamid Maârouf
2
+
PDF
Chat
Specializations in differential algebra
1959
Azriel Rosenfeld
2
+
On universal observability
2005
D. Sette
2
+
On the Theories of Triangular Sets
1999
Philippe Aubry
Daniel Lazard
Marc Moreno Maza
2
+
PDF
Chat
Minimal involutive bases
1998
Vladimir P. Gerdt
Yu. A. Blinkov
2
+
The RegularChains library in MAPLE
2005
François Lemaire
Marc Moreno Maza
Yongjian Xie
2
+
None
2001
Vladimir P. Gerdt
D. A. Yanovich
Yu. A. Blinkov
2
+
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
2001
Wen-tsün Wu
2
+
PDF
Chat
Representation for the radical of a finitely generated differential ideal
1995
François Boulier
Daniel Lazard
François Ollivier
Michel Petitot
2
+
PDF
Chat
MacWilliams Identities and Matroid Polynomials
2002
Thomas Britz
1
+
Characteristic Polynomials of Subspace Arrangements and Finite Fields
1996
Christos A. Athanasiadis
1
+
PDF
Chat
Differential Elimination and Biological Modelling
2007
François Boulier
1
+
COHERENT, REGULAR AND SIMPLE SYSTEMS IN ZERO DECOMPOSITIONS OF PARTIAL DIFFERENTIAL SYSTEMS
1999
Ziming Li
1
+
PDF
Chat
An introduction to hyperplane arrangements
2007
Richard P. Stanley
1
+
Completion of Linear Differential Systems to Involution
1999
Vladimir P. Gerdt
1
+
On Triangular Decompositions of Algebraic Varieties
2000
Marc Moreno Maza
1
+
Ideals, Varieties, and Algorithms
1992
David Cox
John B. Little
Donal O’Shea
1
+
Linear codes, strata of Grassmannians, and the problems of segre
1992
Alexei N. Skorobogatov
1
+
PDF
Chat
A Catalogue of Combinatorial Geometries
1973
John E. Blackburn
Henry Crapo
Denis Higgs
1
+
On the number of representations of matroids over finite fields
1996
Alexei N. Skorobogatov
1
+
Selected works of Ellis Kolchin with commentary
1999
E. R. Kolchin
Hyman Bass
Alexandru Buium
Phyllis J. Cassidy
1
+
PDF
Chat
Leçons sur les systèmes d'équations aux dérivées partielles
1930
Maurice Janet
1
+
PDF
Chat
Abstract differential algebra and the analytic case. II
1969
A. Seidenberg
1
+
PDF
Chat
Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems
2003
Évelyne Hubert
1
+
Fundamental Problems of Algorithmic Algebra
1999
Chee Yap
1
+
On The Foundations of Combinatorial Theory: Combinatorial Geometries
1970
Henry Crapo
Gian‐Carlo Rota
1
+
Involutive Algorithms for Computing Groebner Bases
2005
Vladimir P. Gerdt
1
+
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra
2009
Werner M. Seiler
1
+
Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial Systems
2003
Évelyne Hubert
1
+
Completion of Linear Differential Systems to Involution
1999
Vladimir P. Gerdt
1
+
Differential Algebra and Algebraic Groups
2012
E. R. Kolchin
1
+
The l Adic Cohomology of Hyperplane Complements
1992
G Lehrer
1
+
PDF
Chat
Abstract differential algebra and the analytic case
1958
A. Seidenberg
1
+
PDF
Chat
Parallel sparse polynomial multiplication using heaps
2009
Michael Monagan
Roman Pearce
1
+
Algorithmic invariant theory
2008
Gregor Kemper
1
+
PDF
Chat
A catalogue of combinatorial geometries
1973
John E. Blackburn
Henry Crapo
Denis Higgs
1
+
Optimizations of the subresultant algorithm
2000
Lionel Ducos
1
+
None
1996
Alexei N. Skorobogatov
1
+
Computational Commutative and Non-Commutative Algebraic Geometry
2005
Svetlana Cojocaru
Gerhard Pfister
Victor Ufnarovski
1