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

Construction et propriétés des bases d'ondelettes. Remarques sur la contrôlabilité exacte = Construction and properties of wavelet bases. Some remarks about exact controlabilityJAFFARD, Stéphane; MEYER, Yves.1989, 234 pThesis

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

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

Architecture logicielle distribuée pour le calcul formel. Application à la décomposition primaire d'idéaux = Distributed software architecture for computer algebra. Application to primary decomposition of idealsSausse, Alain; Galligo, A.1995, 214 p.Thesis

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

Automatische Herleitung von Näherungsformeln für Schalenschwingungen = Automatic deduction of approximation formulation for shell vibrationsSCHWARTE, J.Zeitschrift für angewandte Mathematik und Mechanik. 1991, Vol 71, Num 4, pp T91-T94, issn 0044-2267Article

An evaluation based theorem proverDEGANO, P; SIROVICH, F.IEEE transactions on pattern analysis and machine intelligence. 1985, Vol 7, Num 1, pp 70-79, issn 0162-8828Article

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

NP: a maple package for performing calculations in the Newman-Penrose formalismCZAPOR, S. R; MCLENAGHAN, R. G.General relativity and gravitation. 1987, Vol 19, Num 6, pp 623-635, issn 0001-7701Article

Intégrales de Fourier quadratiques et calcul symbolique exact sur le groupe d'Heisenberg = Quadratic Fourier integral and exact symbolic calculus on the Heisenberg groupGAVEAU, B; GREINER, P; VAUTHIER, J et al.Journal of functional analysis. 1986, Vol 68, Num 2, pp 248-272, issn 0022-1236Article

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