Found 5 Documents (Results 1–5)
Structure of symmetry of PDE: exploiting partially integrated systems. (English) Zbl 1346.68293
Watt, Stephen M. (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). 61-69 (2014).
Formal algorithmic elimination for PDEs. (English) Zbl 1339.35007
Lecture Notes in Mathematics 2121. Cham: Springer (ISBN 978-3-319-11444-6/pbk; 978-3-319-11445-3/ebook). viii, 283 p. (2014).
Reviewer: Werner M. Seiler (Kassel)
Linear differential elimination for analytic functions. (English) Zbl 1230.12005
Reviewer: Andy R. Magid (Norman)
Thomas decomposition of algebraic and differential systems. (English) Zbl 1202.68488
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 31-54 (2010).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
- Books (1)
all
top 5
Author
- Robertz, Daniel (3)
- Bächler, Thomas (1)
- Gerdt, Vladimir Petrovich (1)
- Huang, S.-L. Tracy (1)
- La Scala, Roberto (1)
- Lange-Hegermann, Markus (1)
- Lisle, Ian G. (1)
- Plesken, Wilhelm (1)
- Reid, Greg J. (1)
Serial
- Math. Comput. (1)
- Lect. Notes Math. (1)
- Math. Comput. Sci. (1)
all
top 3
Software
- Janet (5)
- Maple (3)
- AlgebraicThomas (2)
- CRACK (2)
- DIFFALG (2)
- RegularChains (2)
- SINGULAR (2)
- ALLTYPES (1)
- BLAD (1)
- CDiffElim (1)
- CoCoA (1)
- DifferentialThomas (1)
- Epsilon (1)
- FourTiTwo (1)
- GAP (1)
- GeM (1)
- Ginv (1)
- InvolutiveBases (1)
- Jets (1)
- LDA (1)
- Letterplace (1)
- Macaulay2 (1)
- Magma (1)
- MuPAD (1)
- OreModules (1)
- OreMorphisms (1)
- Plural (1)
- REDUCE (1)
- SADE (1)
- homalg (1)
- primdec (1)
- symmChainGens (1)