Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Symbolic computation")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1730

  • Page / 70
Export

Selection :

  • and

PEPM 2010GALLAGHER, John; VOIGTLÄNDER, Janis.Higher-order and symbolic computation (Print). 2010, Vol 23, Num 3, issn 1388-3690, 136 p.Serial Issue

Workshop 19 : Symbolic computationHERMENEGILDO, M.Lecture notes in computer science. 1997, pp 1167-1168, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Partial Evaluation and Program Manipulation (PEPM) 2009LAWALL, Julia; PUEBLA, Germán; VIDAL, Germán et al.Higher-order and symbolic computation (Print). 2011, Vol 24, Num 1-2, issn 1388-3690, 190 p.Serial Issue

[Krivine machine. Part I]Higher-order and symbolic computation. 2007, Vol 20, Num 3, issn 1388-3690, 140 p.Serial Issue

Second ACM SIGPLAN workshop MEchanized Reasoning about Languages with varIable and Names (MERΛIN 2003)Higher-order and symbolic computation. 2006, Vol 19, Num 2-3, issn 1388-3690, 172 p.Conference Proceedings

Partial Evaluation and Semantics-Based Program ManipulationCHIN, Wei-Ngan; DANVY, Olivier; THIEMANN, Peter et al.Higher-order and symbolic computation. 2004, Vol 17, Num 1-2, issn 1388-3690, 163 p.Serial Issue

Structural identifiability for a class of non-linear compartmental systems using linear/non-linear splitting and symbolic computationCHAPMAN, Michael J; GODFREY, Keith R; CHAPPELL, Michael J et al.Mathematical biosciences. 2003, Vol 183, Num 1, pp 1-14, issn 0025-5564, 14 p.Article

Exact solutions of the Drinfel'd-Sokolov-Wilson equation using the Exp-function methodMISIRLI, Emine; GUREFE, Yusuf.Applied mathematics and computation. 2010, Vol 216, Num 9, pp 2623-2627, issn 0096-3003, 5 p.Article

Explicit bi-soliton-like solutions for a generalized KP equation with variable coefficientsZHUOSHENG LÜ; FUDING XIE.Mathematical and computer modelling. 2010, Vol 52, Num 9-10, pp 1423-1427, issn 0895-7177, 5 p.Article

Geometric moment invariantsDONG XU; HUA LI.Pattern recognition. 2008, Vol 41, Num 1, pp 240-249, issn 0031-3203, 10 p.Article

Bäcklund transformation and multi-soliton solutions for a (2 + 1)-dimensional Korteweg-de Vries system via symbolic computationTAO GENG; MENG, Xiang-Hua; SHAN, Wen-Rui et al.Applied mathematics and computation. 2010, Vol 217, Num 4, pp 1470-1475, issn 0096-3003, 6 p.Article

Effect of nonlinear inhomogeneity on the creation and annihilation of magnetic solitonKAVITHA, L; SRIVIDYA, B; GOPI, D et al.Journal of magnetism and magnetic materials. 2010, Vol 322, Num 13, pp 1793-1810, issn 0304-8853, 18 p.Article

Design of poles of controller in strongly stable generalised minimum variance control using symbolic computation softwareINOUE, A; MINGCONG DENG.International journal of advanced mechatronic systems (Print). 2013, Vol 5, Num 5, pp 345-350, issn 1756-8412, 6 p.Article

On typing delimited continuations: three new solutions to the printf problemASAI, Kenichi.Higher-order and symbolic computation (Print). 2009, Vol 22, Num 3, pp 275-291, issn 1388-3690, 17 p.Article

State-transition machines, revisitedSCHMIDT, David A.Higher-order and symbolic computation. 2007, Vol 20, Num 3, pp 333-335, issn 1388-3690, 3 p.Article

Artificial intelligence and symbolic computation (8th international conference, AISC 2006, Beijing, China, September 20-22, 2006)Calmet, Jacques; Ida, Tetsuo; Wang, Dongming et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-39728-0, 1Vol, XIII-268 p, isbn 3-540-39728-0Conference Proceedings

A new definition for passivity and its relation to coherenceMINZLALF, Moritz; CALMET, Jacques.Lecture notes in computer science. 2006, pp 94-105, issn 0302-9743, isbn 3-540-39728-0, 1Vol, 12 p.Conference Paper

AISC 2004 : artificial intelligence and symbolic computation (Linz, 22-24 September 2004)Buchberger, Bruno; Campbell, John A.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23212-5, X, 284 p, isbn 3-540-23212-5Conference Proceedings

Calcul formel avec Maple = Symbolic computation with MapleJEANNEAU, Xavier.Techniques de l'ingénieur. Informatique. 2002, Vol HB3, Num H3028, pp H3028.1-H3018.22, issn 0245-9612Article

The memory gameZWICK, U; PATERSON, M. S.Theoretical computer science. 1993, Vol 110, Num 1, pp 169-196, issn 0304-3975Article

Axioms for control operators in the CPS hierarchyKAMEYAMA, Yukiyoshi.Higher-order and symbolic computation. 2007, Vol 20, Num 4, pp 339-369, issn 1388-3690, 31 p.Article

On the mixed cayley-sylvester resultant matrixWEIKUN SUN; HONGBO LI.Lecture notes in computer science. 2006, pp 146-159, issn 0302-9743, isbn 3-540-39728-0, 1Vol, 14 p.Conference Paper

Proof search in minimal logicSCHWICHTENBERG, Helmut.Lecture notes in computer science. 2004, pp 15-25, issn 0302-9743, isbn 3-540-23212-5, 11 p.Conference Paper

Calcul symbolilque avec des diagrammes de Penrose = Symbolic calculus with Penrose diagramsMassol, Anne; Lafont, Yves.1997, 164 p.Thesis

Solving symbolic and numerical problems in the theory of shells with MathematicaWALENTYNSKI, Ryszard A.Lecture notes in computer science. 2003, pp 309-346, issn 0302-9743, isbn 3-540-40554-2, 38 p.Conference Paper

  • Page / 70