Symbolic-Numeric Computation :: SCD d'Orléans

Symbolic-Numeric Computation

Symbolic-Numeric Computation

The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. This book with...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International workshop on Symbolic-Numeric Computation (Egilea)
Beste egile batzuk:	Wang, Dongming (Argitalpenaren zuzendaria), Zhi, Li-Hong (Argitalpenaren zuzendaria), Wang, Dongming, 1961-...., mathématicien (Argitalpenaren zuzendaria), Zhi, Lihong, 19..-...., mathématicienne (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Basel : Birkhäuser Basel [20..]. Cham : Springer Nature
Edizioa:	1st ed. 2007.
Saila:	Trends in Mathematics
Gaiak:	Analyse numérique Logique symbolique et mathématique Équations différentielles Calculs numériques Calcul symbolique Fonctions calculables > Informatique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	L'impression du document génère 391 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Symbolic-Numeric Computation, Texte imprimé, 9783764391720 • Symbolic-numeric computation, Dongming Wang, Lihong Zhi, editors, 2007, Basel, Birkhauser, 1 vol. (VIII-394 p.), Trends in mathematics, 978-3-7643-7983-4

Antzeko izenburuak

Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers

The nature of computation : logic, algorithms, applications : proceedings
Argitaratua: (2013)

Elements of the theory of computation
nork: Lewis, Harry R., 1947-, et al.
Argitaratua: (1981)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Calcul différentiel pour les langues de la logique : théorie et applications
nork: Thayse, André, 1940-
Argitaratua: (2004)

Fundamentals of computation theory : 8th International Conference, FCT '91 Gosen, Germany, September 9 13, 1991 : proceedings

Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

Fundamentals of computation theory : ; proceedings 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003

Compléments de mathématiques : à l'usage des ingénieurs de l'électrotechnique et des télécommunications
nork: Angot, André, 1905-1982
Argitaratua: (1972)

Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings

Computability and logic
nork: Boolos, George, 1940-1996, et al.
Argitaratua: (1974)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Journal of logic and computation.
Argitaratua: (1990)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986

Complexité aléatoire et complexité organisée
nork: Delahaye, Jean-Paul, 1952-
Argitaratua: (2009)

Cours d'analyse mathématique. Équations fonctionnelles, applications
nork: Valiron, Georges, 1884-1955
Argitaratua: (1950)

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Solving Problems in Scientific Computing Using Maple and MATLAB®
nork: Gander, Walter, 1944-, et al.

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16 18, 1993, Utrech, The Netherlands : proceedings

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
nork: Leivant, Daniel

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Principes mathématiques de la physique. Phénomènes linéaires
nork: Bonvalet, Marcel, 1928?-2009
Argitaratua: (1994)

Éléments de logique formelle
nork: Chazal, Gérard, 1947-
Argitaratua: (1996)

Linear differential operators
nork: Lanczos, Cornelius, 1893-1974
Argitaratua: (1961)

Efficient checking of polynomials and proofs and the hardness of approximation problems
nork: Sudan, Madhu

Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
nork: Furuhashi, Takeshi, 1954-

Recursion on the countable functionals
nork: Normann, Dag, 1947-

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
nork: Mutombo, Marc
Argitaratua: (2003)

Logic and machines : decision problems and complexity : proceedings of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut für Matematische Logik und Grundlagenforshung der Universität Münster, Westfalen

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99 Szklarska Por©eba, Poland, September 6-10, 1999 : proceedings

Lambda-calcul : types et modèles
nork: Krivine, Jean-Louis, 1939-
Argitaratua: (1990)

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Introduction to Calculus and Classical Analysis
nork: Hijab, Omar

Méthodes numériques : interpolation, dérivées
nork: Kuntzmann, Jean, 1912-1992
Argitaratua: (1959)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales