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

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

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

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

AISC 2000 : artificial intelligence and symbolic computation (madird, 17-19 July 2000, revised papers)Campbell, John A; Roanes-Lozano, Eugenio.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42071-1, X, 252 p, isbn 3-540-42071-1Conference Proceedings

A propos de l'apprentissage des limites de fonctions dans un «environnement calculatrice», ETUDE DES RAPPORTS ENTRE PROCESSUS DE CONCEPTUALISATION ET PROCESSUS D'INSTRUMENTATION = A bout the learning of the limits of functions in a «calculator environment», STUDY OF RELATIONS BETWEEN THE PROCESSES OF CONCEPTUALIZATION AND INSTRUMENTATIONTrouche, Luc; Guin, D.1996, 2 vol.,420 p., 194 pThesis

Comparing symbolic and explicit model checking of a software systemEISNER, Cindy; PELED, Doron.Lecture notes in computer science. 2002, pp 230-239, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Systèmes de calcul formel = Symbolic computation systemsPINCHON, Didier.Techniques de l'ingénieur. Informatique. 1996, Vol HB4, Num H3308, pp H3308.1-H3308.10, issn 0245-9612Article

Program transformations for light-weight CPU accounting and control in the Java virtual machine A systematic reviewHULAAS, Jarle; BINDER, Walter.Higher-order and symbolic computation. 2008, Vol 21, Num 1-2, pp 119-146, issn 1388-3690, 28 p.Article

On the correctness of the Krivine machineWAND, Mitchell.Higher-order and symbolic computation. 2007, Vol 20, Num 3, pp 231-235, issn 1388-3690, 5 p.Article

Modular algorithms in symbolic summation and symbolic integrationGerhard, Jürgen.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-24061-6, XVI, 224 p, isbn 3-540-24061-6Book