Result 1 to 20 of 122 total
SNEG - Mathematica package for symbolic calculations with second-quantization-operator expressions. (English)
Comput. Phys. Commun. 182, No. 10, 2259-2264 (2011).
1
A case-study in algebraic manipulation using mechanized reasoning tools. (English)
Int. J. Comput. Math. 87, No. 9, 1936-1949 (2010).
2
On the symbolic computation of the solution to a differential equation. (English)
Adv. Appl. Math. Sci. 1, No. 1, 1-21 (2009).
3
Analytic solutions of maximum likelihood on forks of four taxa. (English)
Math. Biosci. 208, No. 2, 347-358 (2007).
4
Taylor expansion diagrams: A canonical representation for verification of data flow designs. (English)
IEEE Trans. Comput. 55, No. 09, 1188-1201 (2006).
5
A short course in mathematical methods with Maple. (English)
Hackensack, NJ: World Scientific (ISBN 981-256-461-6/hbk; 981-256-595-7/pbk). xv, 700~p. \sterling~62.00; \$~108.00/hbk; \sterling~33.00; \$~58.00/pbk (2006).
6
Group-theoretic approach for symbolic tensor manipulation. (English)
Int. J. Mod. Phys. C 13, No. 7, 859-879 (2002).
7
Verifying integrity of decision diagrams. (English)
Integr., VLSI J. 32, No.1-2, 61-75 (2002).
8
Quantum methods with $Mathematica$. 1st softcover print. 1st softcover print. (English)
New York, NY: Springer. xix, 482 p. EUR 59.95 (net); sFr 99.50; \sterling 42.00; \$ 49.95 (2002).
9
Normal form algorithms for extended context-free grammars. (English)
Theor. Comput. Sci. 267, No.1-2, 35-47 (2001).
10
Algebraic and symbolic manipulation of Poisson series. (English)
J. Symb. Comput. 32, No.5, 565-572 (2001).
11
Program transformation, symbolic computation and algebraic manipulation. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan, November 29‒December 1, 1999. (English ;Japanese)
RIMS Kokyuroku 1125, 182 p. (2000).
12
Structural analysis of the dynamical modelling of chemical engineering systems. (English)
Math. Comput. Model. Dyn. Syst. 6, No.4 (2000).
13
Forward analysis of some special Stewart platforms. (English)
J. Rob. Syst. 17, No.10, 517-526 (2000).
14
A transformation of $F_4$ suggestive of a new approach to symbolic manipulation programming. (English)
Comput. Phys. Commun. 126, No.1-2, 137-140 (2000).
15
Woven composite material design by orthotropic compliance averaging method using Mathematica. (English)
Comput. Methods Appl. Mech. Eng. 179, No.1-2, 53-65 (1999).
16
Multiaspect interval types. (English)
Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 365-372 (1999).
17
Identification of placement parameters for modular platform manipulators. (English)
J. Rob. Syst. 16, No.4, 227-236 (1999).
18
On automating the parameter optimization of structural systems for dynamic behavior. (English)
Leondes, Cornelius T. (ed.), Structural dynamic systems, computational techniques and optimization. Computer-aided design and engineering. Amsterdam: Gordon and Breach. Gordon and Breach International Series in Engineering, Technology and Applied Science. 7, 19-50 (1998).
19
Symbolic manipulation techniques for model simplification in object-oriented modelling of large scale continuous systems. (English)
Math. Comput. Simul. 48, No.2, 133-150 (1998).
20
Result 1 to 20 of 122 total
Start
Contact
Print
General Help
