computer algebra – French Translation – Keybot Dictionary

TTN Translation Network TTN TTN

Login Deutsch Français

Source Languages	Target Languages
Select	Select

  3 Hits www.innovation.public.lu  

Show textShow cached sourceOpen source URL	Computer Algebra Systems
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine innovation.public.lu as primary domain	Systèmes algébriques informatiques

  14 Hits www-sop.inria.fr  

Show textShow cached sourceOpen source URL	Unix workstation, the Maple computer algebra system, a numerical linear algebra library and the Aldor programming language.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine www-sop.inria.fr as primary domain	Station de travail Unix, système de calcul formel Maple, bibliothèque d'algèbre linéaire numérique et langage de programmation Aldor.

  www.nserc-crsng.gc.ca  

Show textShow cached sourceOpen source URL	Symbolic computing; scientific computing; numerical optimization; computer algebra; numerical modelling and simulation
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine nserc-crsng.gc.ca as primary domain	Calcul symbolique; calcul scientifique; optimisation numérique; algèbre informatique; modélisation et simulation numériques

  pauillac.inria.fr  

Show textShow cached sourceOpen source URL	Projet Algo: analysis of algorithms, computer algebra and combinatorics.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine pauillac.inria.fr as primary domain	Projet LogiCal: logique, calcul, preuves formelles, le système d'aide à la preuve Coq.

  2 Hits www.tpirp.com  

Show textShow cached sourceOpen source URL	inproceedings - Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine members.femto-st.fr as primary domain	(Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 94--100)

  11 Hits insight.eun.org  

Show textShow cached sourceOpen source URL	MuPad is a computer algebra system, available to download for free. It can be a very useful tool for teaching mathematics at secondary level. Karl Sarnow, pedagogical coordinator of Xplora, tells more.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine insight.eun.org as primary domain	MuPAD est un système algébrique informatisé libre qu’il est possible de télécharger gratuitement. Il peut s’avérer très utile pour l’enseignement des mathématiques dans les écoles secondaires. Karl Sarnow, coordinateur pédagogique du projet Xplora, nous en dit plus.

  www.hes-so.ch  

Show textShow cached sourceOpen source URL	Numerical Analysis and Computer Algebra
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine hes-so.ch as primary domain	Le calcul formel et numérique en ingénierie

  admeira.ch  

Show textShow cached sourceOpen source URL	Kaltofen held an IBM Faculty Development Award, was the Chair of ACM’s SIGSAM, and in 2009 was inducted as an ACM Fellow. He has co-edited the 2002 Computer Algebra Handbook. According to Microsoft Academic Search, he is a highly cited author in Scientific Computation.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine turing2012.fr as primary domain	Erich Kaltofen a reçu le prix IBM Faculty Development, a été Chair de SIGSAM (ACM Special Interest Group on Symbolic and Algebraic Manipulation) et a été promu ACM fellow en 2009. Il a co-édité Computer Algebra Handbook en 2002.

  schedule2012.rmll.info  

Show textShow cached sourceOpen source URL

First, rendering engine uses high-quality typesetting algorithms so as to produce documents for high quality look. Next, TeXmacs can be used as an interface for many external systems for computer algebra, numerical analysis, statistics, etc.

Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine schedule2012.rmll.info as primary domain

D’abord, le moteur de rendu est basé sur des algorithmes typographiques de haute qualité, afin de produire des documents d’apparence irréprochable. Ensuite, TeXmacs peut être utilisé comme une interface pour de nombreux systèmes externes pour le calcul symbolique, l’analyse numérique, les statistiques, etc. De plus, Les styles de rendu peuvent être modifiés ou écrit par les utilisateurs, et des fonctionnalités peuvent être ajoutées soit au travers de macros soit au travers du langage d’extension Scheme.

  www.osaka-kasei.co.jp  

Show textShow cached sourceOpen source URL	I am a pure mathematician by training (PhD thesis in noncommutative ring theory and universal algebra) with a strong interest in Computer Science, and Computer Algebra Systems such as Maple. My teaching usually reflects these interests.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine rmc-cmr.ca as primary domain	Ma formation est en mathématiques pures (ma thèse de doctorat est en théorie des anneaux non-commutatifs et algèbre universelle), j'ai de plus beaucoup d'intérêts dans l'informatique et certains systèmes informatiques tels que Maple. En général mon enseignement reflète mes intérêts.

  11 Hits www.xplora.org  

Show textShow cached sourceOpen source URL	MuPad is a computer algebra system, available to download for free. It can be a very useful tool for teaching mathematics at secondary level. Karl Sarnow, pedagogical coordinator of Xplora, tells more.
Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine xplora.org as primary domain	MuPAD est un système algébrique informatisé libre qu’il est possible de télécharger gratuitement. Il peut s’avérer très utile pour l’enseignement des mathématiques dans les écoles secondaires. Karl Sarnow, coordinateur pédagogique du projet Xplora, nous en dit plus.

  www.jested.cz  

Show textShow cached sourceOpen source URL

Based on geometrical methods, and implemented in a computer algebra system (xAct), this package name xPand allows to obtain very efficiently the equations which rule the non-linear dynamics, thus avoiding the long and tedious computations generally associated with such expansions.

Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine luth.obspm.fr as primary domain

Abstract : In the context of cosmological perturbations, the main aspects of large scale structure dynamics is understood by linearization of equations of General Relativity (GR) around a background cosmological solution. Indeed, it enables to compute the power spectrum of fluctuations in the metric and the matter. However, the intrinsically non-linearities of GR are lost with this approximation and it can be necessary to rely on higher order perturbations when dealing with higher order statistics due to mode-mode coupling. Since the derivation of the equations themselves can be very involved, we developed a new method to obtain systematically a perturbative expansion when the background spacetime is homogeneous but not necessarily isotropic, encompassing most cosmological backgrounds. Based on geometrical methods, and implemented in a computer algebra system (xAct), this package name xPand allows to obtain very efficiently the equations which rule the non-linear dynamics, thus avoiding the long and tedious computations generally associated with such expansions.

  www.saria.com  

Show textShow cached sourceOpen source URL

Based on geometrical methods, and implemented in a computer algebra system (xAct), this package name xPand allows to obtain very efficiently the equations which rule the non-linear dynamics, thus avoiding the long and tedious computations generally associated with such expansions.

Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine luth.obspm.fr as primary domain

Abstract : In the context of cosmological perturbations, the main aspects of large scale structure dynamics is understood by linearization of equations of General Relativity (GR) around a background cosmological solution. Indeed, it enables to compute the power spectrum of fluctuations in the metric and the matter. However, the intrinsically non-linearities of GR are lost with this approximation and it can be necessary to rely on higher order perturbations when dealing with higher order statistics due to mode-mode coupling. Since the derivation of the equations themselves can be very involved, we developed a new method to obtain systematically a perturbative expansion when the background spacetime is homogeneous but not necessarily isotropic, encompassing most cosmological backgrounds. Based on geometrical methods, and implemented in a computer algebra system (xAct), this package name xPand allows to obtain very efficiently the equations which rule the non-linear dynamics, thus avoiding the long and tedious computations generally associated with such expansions.

  www.crm.umontreal.ca  

Show textShow cached sourceOpen source URL

Professor Borodin has been the editor of many journals including the SIAM Journal of Computing, Algorithmica, the Journal of Computer Algebra, the Journal of Computational Complexity, and the Journal of Applicable Algebra in Engineering, Communication and Computing.

Compare text pagesCompare HTM pagesOpen source URLOpen target URLDefine crm.umontreal.ca as primary domain

Allan Borodin a reçu un B.A. en mathématiques de l'université Rutgers en 1963, son M.S. en génie électrique et en sciences informatiques en 1966 de l'institut de technologie Stevens et son doctorat en sciences informatiques de l'université Cornell en 1969. Il a été programmeur de systèmes aux Laboratoires Bell au New Jersey de 1963 à 1966 et boursier de recherche à Cornell de 1966 à 1969. Depuis 1969, il enseigne au département d'informatique de l'université de Toronto où il est devenu professeur en 1977 et il reçut une chaire du département de 1980 à 1985. M. Borodin a été l'éditeur de plusieurs journaux incluant le SIAM Journal of Computing, l'Algorithmica, le Journal of Computer Algebra, le Journal of Computational Complexity et le Journal of Applicable Algebra in Engineering, Communication and Computing. Il a été en poste ou actif dans une douzaine de comités et d'organisations, à l'intéreur et à l'extérieur de l'université et a tenu des postes de professeur invités internationalement. En 1991, Borodin a été élu membre de la Société royale du Canada.