Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Calcul symbolique")

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

Origin

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

Results 1 to 25 of 1926

  • Page / 78
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

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

A method to compute minimal polynomialsPESKIN, B. R; RICHMAN, D. R.SIAM journal on algebraic and discrete methods. 1985, Vol 6, Num 2, pp 292-299, issn 0196-5212Article

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

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

Star representations induites = Induced star representationsCahen, Benjamin; Arnal, Didier.1992, 59 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

  • Page / 78