Result 1 to 20 of 1330 total
On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol. (English)
Program. Comput. Softw. 38, No. 3, 150-155 (2012); translation from Programmirovanie 38, No. 3 (2012).
1
BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases. (English)
Program. Comput. Softw. 38, No. 2, 92-101 (2012); translation from Programmirovanie 38, No. 2 (2012).
2
Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs. (English)
Program. Comput. Softw. 38, No. 2, 73-83 (2012).
3
An efficient algorithm for deriving summation identities from mutual recurrences. (English)
Discrete Math. Algorithms Appl. 4, No. 2, 1250016, 10p. (2012).
4
Calculation of normal forms of the Euler-Poisson equations. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 60-71 (2012).
5
Analytical evaluations of double integral expressions related to total variation. (English)
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts \& Monographs in Symbolic Computation, 193-218 (2012).
6
A symbolic approach to generation and analysis of finite difference schemes of partial differential equations. (English)
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts \& Monographs in Symbolic Computation, 123-156 (2012).
7
Computer algebra meets finite elements: an efficient implementation for Maxwell’s equations. (English)
Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts \& Monographs in Symbolic Computation, 105-121 (2012).
8
Consistency analysis of finite difference approximations to PDE systems. (English)
Adam, Gheorghe (ed.) et al., Mathematical modeling and computational science. International conference, MMCP 2011, Stará Lesná, Slovakia, July 4‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28211-9/pbk). Lecture Notes in Computer Science 7125, 28-42 (2012).
9
Comparing the computation of Chebyshev polynomials in computer algebra systems. (English)
Ann. Univ. Sci. Budap. Rolando Eőtvős, Sect. Comput. 36, 23-39 (2012).
10
Links between two semisymmetric graphs on 112 vertices via association schemes. (English)
J. Symb. Comput. 47, No. 10, 1175-1191 (2012).
11
A concise introduction to linear algebra. (English)
New York, NY: Springer (ISBN 978-0-8176-8324-5/hbk; 978-0-8176-8325-2/ebook). xii, 330~p. EUR~44.95/net; SFR~60.00; \sterling~40.99; \$~59.95 (2012).
12
Identifiability analysis and parameter estimation of a single Hodgkin-Huxley type voltage dependent ion channel under voltage step measurement conditions. (English)
Neurocomputing 77, 178-188 (2012).
13
Algebra for symbolic computation. (English)
Unitext 61. La Matematica per il 3+2. Milano: Springer (ISBN 978-88-470-2396-3/pbk; 978-88-470-2397-0/ebook). viii, 174~p. EUR~39.95/net; SFR~53.50; \sterling~35.99; \$~59.95 (2012).
14
Linear algebra tools for data mining. (English)
Hackensack, NJ: World Scientific (ISBN 978-981-4383-49-3/hbk; 978-981-4383-50-9/ebook). xiv, 863~p. \$~228.00, \sterling~150.00/hbk; \$~296.00, \sterling~195.00/ebook (2012).
15
Macsyma: A personal history. (English)
J. Symb. Comput. 47, No. 2, 123-130 (2012).
16
Asymptotic identity in min-plus algebra: a report on CPNS. (English)
Comput. Math. Methods Med. 2012, Article ID 154038, 11 p. (2012).
17
The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics. (English)
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 105, No. 2, 323-337 (2011).
18
Indefinite summation of rational functions with factorization of denominators. (English)
Program. Comput. Softw. 37, No. 6, 322-325 (2011); translation from Programmirovanie 37, No. 4 (2011).
19
Fixed-size quadruples for a new, hardware-oriented representation of the 4D Clifford algebra. (English)
Adv. Appl. Clifford Algebr. 21, No. 2, 315-340 (2011).
20
Result 1 to 20 of 1330 total
Start
Contact
Print
General Help
