Compatibility complex for black hole spacetimes. (English) Zbl 1471.83015
Reviewer: Jorge Pullin (Baton Rouge)
Found 37 Documents (Results 1–37)
Thomas decomposition and nonlinear control systems. (English) Zbl 1451.93171
Quadrat, Alban (ed.) et al., Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. Cham: Springer. Adv. Delays Dyn. 9, 117-146 (2020).
Reviewer: Kaïs Ammari (Monastir)
Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4–6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7–11, 2014. (English) Zbl 1446.93001
Advances in Delays and Dynamics 9. Cham: Springer (ISBN 978-3-030-38355-8/hbk; 978-3-030-38356-5/ebook). xv, 311 p. (2020).
The icosahedra of edge length 1. (English) Zbl 1452.52017
MSC:
52C25
Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation. (English) Zbl 1478.83069
On the consistency analysis of finite difference approximations. (English) Zbl 1435.65130
J. Math. Sci., New York 240, No. 5, 665-677 (2019) and Zap. Nauchn. Semin. POMI 468, 249-266 (2018).
Algebraic construction of a strongly consistent, permutationally symmetric and conservative difference scheme for 3D steady Stokes flow. (English) Zbl 1416.76196
A strongly consistent finite difference scheme for steady Stokes flow and its modified equations. (English) Zbl 1453.76122
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 20th international workshop, CASC 2018, Lille, France, September 17–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11077, 67-81 (2018).
Lie symmetries, optimal system and invariant reductions to a nonlinear Timoshenko system. (English) Zbl 1367.35014
On the general analytical solution of the kinematic Cosserat equations. (English) Zbl 1453.74051
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 367-380 (2016).
Nonlinear deformation waves in a geometrically and physically nonlinear viscoelastic cylindrical shell containing viscous incompressible fluid and surrounded by an elastic medium. (Russian. English summary) Zbl 1397.74112
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)
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases. (English) Zbl 1245.65051
Reviewer: Constantin Popa (Constanţa)
Serre’s reduction of linear partial differential systems with holonomic adjoints. (English) Zbl 1252.35016
Computing minimal associated primes in polynomial rings over the integers. (English) Zbl 1230.13025
Reviewer: Cristina Bertone (Torino)
An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. (English) Zbl 1227.18009
Reviewer: Intan Muchtadi-Alamsyah (Bandung)
Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases. (English) Zbl 1210.13029
MSC:
13P10
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).
Algorithmic symmetry classification with invariance. (English) Zbl 1202.35016
Reviewer: Ma Wen-Xiu (Tampa)
Noether normalization guided by monomial cone decompositions. (English) Zbl 1190.13026
Reviewer: Luis David Garcia Puente (Huntsville)
Specialized computer algebra system GINV. (English. Russian original) Zbl 1185.68867
Program. Comput. Softw. 34, No. 2, 112-123 (2008); translation from Programmirovanie 34, No. 2, 67-80 (2008).
Applications of the Quillen-Suslin theorem to multidimensional systems theory. (English) Zbl 1197.13011
Park, Hyungju (ed.) et al., Gröbner bases in control theory and signal processing. Papers presented at the D3 workshop, Linz, Austria, May 18–19, 2006. Berlin: Walter de Gruyter (ISBN 978-3-11-019333-6/hbk). Radon Series on Computational and Applied Mathematics 3, 23-106 (2007).
Reviewer: Rémi Arcadias (Tokyo)
Generation of difference schemes for the Burgers equation by constructing Gröbner bases. (English. Russian original) Zbl 1101.65086
Program. Comput. Softw. 32, No. 2, 114-117 (2006); translation from Programmirovanie 32, No. 2, 71-74 (2006).
Involutive algorithms for computing Gröbner bases. (English) Zbl 1104.13012
Cojocaru, Svetlana (ed.) et al., Computational commutative and non-commutative algebraic geometry. Proceedings of the NATO Advanced Research Workshop, Chisinau, Republic of Moldova, June 6–11, 2004. Amsterdam: IOS Press (ISBN 1-58603-505-3/hbk). NATO Science Series III: Computer & Systems Sciences 196, 199-225 (2005).
Reviewer: Hans-Gert Gräbe (Leipzig)
Filter Results by …
Document Type
- Journal Articles (28)
- Collection Articles (7)
- Books (2)
all
top 5
Author
- Robertz, Daniel (12)
- Gerdt, Vladimir Petrovich (9)
- Plesken, Wilhelm (6)
- Lange-Hegermann, Markus (4)
- Blinkov, Yuri A. (3)
- Huang, S.-L. Tracy (3)
- Lisle, Ian G. (3)
- Lyakhov, Dmitry A. (3)
- Michels, Dominik Ludewig (3)
- Quadrat, Alban (3)
- Bächler, Thomas (2)
- Barakat, Mohamed (2)
- Blinkov, Yuriĭ Anatol’evich (2)
- Fabiańska, Anna (2)
- Khavkine, Igor (2)
- Levandovskyy, Viktor (2)
- Schindelar, Kristina (2)
- Aksteiner, Steffen (1)
- Al-Omari, Shadi (1)
- Andersson, Lars Åke (1)
- Azad, Hassan (1)
- Bäckdahl, Thomas (1)
- Blinkova, A. Yu. (1)
- Brakhage, Karl-Heinz (1)
- Casati, Matteo (1)
- Cluzeau, Thomas (1)
- Hashemi, Amir (1)
- Hossain, Zahid (1)
- Ivanov, Sergeĭ V. (1)
- Jambor, Sebastian (1)
- La Scala, Roberto (1)
- M.-Alizadeh, Benyamin (1)
- Mogilevich, Lev I. (1)
- Mozzhilkin, Vladimir V. (1)
- Niemeyer, Alice C. (1)
- Reid, Greg J. (1)
- Riedel-Kruse, Ingmar H. (1)
- Strzelczyk, Ansgar (1)
- Weber, Andreas Günter (1)
- Whiting, Bernard F. (1)
- Zaman, Fiazud Din (1)
- Zerz, Eva (1)
- Zhang, Xiaojing (1)
all
top 5
Serial
- J. Symb. Comput. (8)
- J. Algebra (3)
- Commun. Math. Phys. (2)
- Program. Comput. Softw. (2)
- J. Algebra Appl. (2)
- Classical Quantum Gravity (1)
- J. Eng. Math. (1)
- Math. Comput. (1)
- Arch. Math. (1)
- Multidimensional Syst. Signal Process. (1)
- Exp. Math. (1)
- J. Math. Sci., New York (1)
- Lect. Notes Math. (1)
- Math. Comput. Sci. (1)
- Symmetry (1)
- Izv. Sarat. Univ. (N.S.), Ser. Mat. Mekh. Inform. (1)
- Mathematics (1)
- Adv. Delays Dyn. (1)
all
top 3
Software
- Janet (37)
- SINGULAR (14)
- Maple (9)
- OreModules (8)
- DifferentialThomas (6)
- Macaulay2 (6)
- Magma (6)
- Plural (6)
- Ginv (5)
- RegularChains (5)
- DIFFALG (4)
- OreMorphisms (4)
- QuillenSuslin (4)
- homalg (4)
- AlgebraicThomas (3)
- CRACK (3)
- GeM (3)
- JanetOre (3)
- SADE (3)
- BLAD (2)
- CoCoA (2)
- D-modules (2)
- GAP (2)
- Jets (2)
- LDA (2)
- SYMMGRP (2)
- TDDS (2)
- control.lib (2)
- ALLTYPES (1)
- Bertini (1)
- CDiffElim (1)
- DifferentialGeometry (1)
- EDIM (1)
- Epsilon (1)
- F5C (1)
- FGb (1)
- FourTiTwo (1)
- G2V.mpl (1)
- HolonomicFunctions (1)
- InvolutiveBases (1)
- Kan (1)
- Kenzo (1)
- Letterplace (1)
- LieAlgebrasOfVectorFields (1)
- LocalizeRingForHomalg (1)
- MAGDA (1)
- MatricesForHomalg (1)
- MuPAD (1)
- NLControl (1)
- OreAlgebraicAnalysis (1)
- PoSSo (1)
- PurityFiltration (1)
- RAGlib (1)
- REDUCE (1)
- SYM (1)
- SymbolicData (1)
- alexander (1)
- conley (1)
- involut.lib (1)
- jacobson.lib (1)
- noether.lib (1)
- primdec (1)
- primdecint.lib (1)
- symmChainGens (1)
