標(biāo)題: Titlebook: EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings; Volume 1: Invited Le Bruno Buchberger Co [打印本頁] 作者: 聲音會爆炸 時間: 2025-3-21 19:13
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings影響因子(影響力)
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings影響因子(影響力)學(xué)科排名
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings網(wǎng)絡(luò)公開度
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings被引頻次
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings被引頻次學(xué)科排名
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings年度引用
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings年度引用學(xué)科排名
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings讀者反饋
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings讀者反饋學(xué)科排名
作者: Ischemic-Stroke 時間: 2025-3-21 22:43
Proof theory and the synthesis of programs: Potential and limitations,作者: Ethics 時間: 2025-3-22 04:24 作者: 陰險 時間: 2025-3-22 05:08 作者: critique 時間: 2025-3-22 09:23 作者: 大酒杯 時間: 2025-3-22 13:34 作者: 大酒杯 時間: 2025-3-22 17:49 作者: exigent 時間: 2025-3-22 21:38 作者: glomeruli 時間: 2025-3-23 04:30 作者: 使長胖 時間: 2025-3-23 06:35
https://doi.org/10.1007/BFb0044909solated algorithmic solutions of geometric problems and to filter out the underlying principles and structures of paradigmatic character. Nevertheless we have no doubt that a considerable fraction of the ideas emerged in this area will quite soon become an integral part of any computer science curriculum.作者: 增強 時間: 2025-3-23 09:46
Computational geometry: Selected algorithms and paradigms,solated algorithmic solutions of geometric problems and to filter out the underlying principles and structures of paradigmatic character. Nevertheless we have no doubt that a considerable fraction of the ideas emerged in this area will quite soon become an integral part of any computer science curriculum.作者: 規(guī)范就好 時間: 2025-3-23 15:21
Springer Tracts in Modern Physicsoned until a later section although to some readers it might seem appropriate for inclusion earlier. It should also be mentioned that this is a survey: therefore the items have been selected for mention on the grounds of interest rather than completeness.作者: 挑剔小責(zé) 時間: 2025-3-23 20:38
Current developments in LISP,oned until a later section although to some readers it might seem appropriate for inclusion earlier. It should also be mentioned that this is a survey: therefore the items have been selected for mention on the grounds of interest rather than completeness.作者: 反話 時間: 2025-3-23 23:40
Computer algebra: Past and future, to keep a proper prospective on our work: "The symbolic representation of abstract entities is doomed to its rightful place of relative insignificance in a world in which flowers and beautiful women abound."作者: 表臉 時間: 2025-3-24 04:06 作者: 伙伴 時間: 2025-3-24 07:51
https://doi.org/10.1007/3-540-15983-5algorithms; computer algebra; proof; proof theory作者: modest 時間: 2025-3-24 14:12 作者: BLINK 時間: 2025-3-24 16:29 作者: 松軟 時間: 2025-3-24 20:14
Springer Tracts in Modern PhysicsPhysics is the most important field of applications for computer algebra. The applicability of presently available systems to problems in physics is discussed.作者: Needlework 時間: 2025-3-25 03:11
Springer Tracts in Modern PhysicsA survey of symbolic computation in chemistry is presented, emphasizing the impact on chemical information systems (storage and retrieval of chemical constitutional graphs), the enumeration and structural representation of chemical isomers.作者: BOAST 時間: 2025-3-25 04:00
Stabilization of Control SystemsWe present an extensive set of mathematical propositions and proofs in order to demonstrate the power of expression of the theory of constructions.作者: 條街道往前推 時間: 2025-3-25 09:48 作者: Allodynia 時間: 2025-3-25 12:24
Computer algebra as a research tool in physics,Physics is the most important field of applications for computer algebra. The applicability of presently available systems to problems in physics is discussed.作者: Duodenitis 時間: 2025-3-25 19:07 作者: 客觀 時間: 2025-3-25 20:53 作者: 受人支配 時間: 2025-3-26 03:46 作者: Ischemic-Stroke 時間: 2025-3-26 04:39 作者: 猛然一拉 時間: 2025-3-26 10:14 作者: 預(yù)知 時間: 2025-3-26 13:27
Application of quantum electrodynamics,ould be much too long for the space available here. I close with the following quote, which has been attributed to Albert Einstein and helps, perhaps, to keep a proper prospective on our work: "The symbolic representation of abstract entities is doomed to its rightful place of relative insignificanc作者: 大都市 時間: 2025-3-26 18:01 作者: 鉗子 時間: 2025-3-26 23:22
Springer Tracts in Modern Physicsns within them affect symbolic algebra. The second discusses recent developments, in particular, Common LISP, subsetting, portability, pure language research and mixed paradigm systems. The third part is devoted to what is happening in specialised LISP hardware in Japan, in the United States and in 作者: Audiometry 時間: 2025-3-27 02:20
https://doi.org/10.1007/BFb0044909studied in this field and a feeling for some application areas where these problems arise. Furthermore a few selected algorithms and data structures have been presented: Geometric divide and conquer, the scan-line paradigm and the zigzag paradigm are certainly already classic examples of algorithmic作者: parsimony 時間: 2025-3-27 07:35
,Staat und katholische Kirche in Preu?en,lso discuss the experience gained through various implementations of a new approach to arithmetic on diverse processors including microprocessors..We begin with a complete listing of the spaces that occur in numerical computations. This leads to a new and general definition of computer arithmetic..T作者: delegate 時間: 2025-3-27 12:08 作者: gonioscopy 時間: 2025-3-27 14:29
Computer algebra: Past and future,ould be much too long for the space available here. I close with the following quote, which has been attributed to Albert Einstein and helps, perhaps, to keep a proper prospective on our work: "The symbolic representation of abstract entities is doomed to its rightful place of relative insignificanc作者: 開花期女 時間: 2025-3-27 19:01 作者: cauda-equina 時間: 2025-3-27 22:06 作者: Conflagration 時間: 2025-3-28 02:56 作者: 合并 時間: 2025-3-28 09:26
A new arithmetic for scientific computation with exact evaluation of expressions,lso discuss the experience gained through various implementations of a new approach to arithmetic on diverse processors including microprocessors..We begin with a complete listing of the spaces that occur in numerical computations. This leads to a new and general definition of computer arithmetic..T作者: Genetics 時間: 2025-3-28 14:15 作者: 胖人手藝好 時間: 2025-3-28 14:35
8樓作者: 一窩小鳥 時間: 2025-3-28 20:02
8樓作者: insert 時間: 2025-3-28 23:26
8樓作者: monochromatic 時間: 2025-3-29 07:01
8樓作者: right-atrium 時間: 2025-3-29 09:10
9樓作者: Fantasy 時間: 2025-3-29 14:40
9樓作者: 睨視 時間: 2025-3-29 16:42
9樓作者: NEX 時間: 2025-3-29 22:51
9樓作者: faddish 時間: 2025-3-30 03:35
10樓作者: lesion 時間: 2025-3-30 05:43
10樓作者: Thrombolysis 時間: 2025-3-30 09:36
10樓作者: 打擊 時間: 2025-3-30 14:21
10樓
