標(biāo)題: Titlebook: EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings; Volume 2: Research C Bob F. Caviness Con [打印本頁(yè)] 作者: Assert 時(shí)間: 2025-3-21 18:56
書目名稱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ò)公開(kāi)度
書目名稱EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings網(wǎng)絡(luò)公開(kāi)度學(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é)科排名
作者: 修正案 時(shí)間: 2025-3-21 21:18 作者: 拉開(kāi)這車床 時(shí)間: 2025-3-22 00:57
Path resolution and semantic graphs,r goal in the design of path resolution is to retain some of the advantages of both Prawitz analysis and resolution methods, and yet to avoid to some extent their disadvantages..The main advantage of Prawitz analysis is that, except for variants of original formulas, no new formulas are inferred whi作者: relieve 時(shí)間: 2025-3-22 07:47
Fast subsumption algorithms,thors have introduced a new subsumption algorithm DC (Division into Components) which is much more efficient than the standard algorithms. In the present paper two new results are stated. First, an exponential lower bound for DC is presented. It is shown, that in certain cases DC is exponential in t作者: 我正派 時(shí)間: 2025-3-22 09:21
Substitution expressions: Extracting solutions of non-Horn clause proofs, expressing non deterministic solutions, the new concept of substitution expressions is introduced. Substitution expressions are used in the parallel proof procedure and it is demonstrated by examples, how to extract a solution from a proof for non-Horn clauses using substitution expressions. Finall作者: 堅(jiān)毅 時(shí)間: 2025-3-22 13:38
Algebraic computations in elementary catastrophe theory,del for many different types of "quasi-static" system. Many algebraic problems are posed by applications of the theory: the "classification" problem involves working with ideals of rings of functions; the "mapping" problem involves constructing smooth coordinate transformations. We survey previous a作者: 堅(jiān)毅 時(shí)間: 2025-3-22 17:45 作者: dithiolethione 時(shí)間: 2025-3-23 00:31 作者: EXPEL 時(shí)間: 2025-3-23 02:42 作者: hyperuricemia 時(shí)間: 2025-3-23 05:54 作者: Feigned 時(shí)間: 2025-3-23 10:20
Substitution expressions: Extracting solutions of non-Horn clause proofs,proof procedure and it is demonstrated by examples, how to extract a solution from a proof for non-Horn clauses using substitution expressions. Finally, a set of simplification rules for substitution expressions is given.作者: BRIDE 時(shí)間: 2025-3-23 17:51 作者: 神化怪物 時(shí)間: 2025-3-23 20:00
I Common-LISP for the LMI LAMBDA and the Texas Instruments EXPLORER) are discussed. Work on the user-contributed SHARE Library, consisting of reorganization and standardization are described, so that these programs may be fully independent of operating system differences.作者: 有說(shuō)服力 時(shí)間: 2025-3-24 00:52 作者: 和藹 時(shí)間: 2025-3-24 05:00
proof procedure and it is demonstrated by examples, how to extract a solution from a proof for non-Horn clauses using substitution expressions. Finally, a set of simplification rules for substitution expressions is given.作者: Recess 時(shí)間: 2025-3-24 09:36
https://doi.org/10.1007/978-3-662-45046-8nvolves working with ideals of rings of functions; the "mapping" problem involves constructing smooth coordinate transformations. We survey previous applications of computer algebra and describe our contribution to developing programs to solve these two problems.作者: lactic 時(shí)間: 2025-3-24 10:40
The Working Class, Self-Help and Mutual Aid,lgorithm to modules. Also, a program in SMP is described, which permits determining whether a given function g is contact equivalent to a polynomial normal form h for one dimensional bifurcation problems up to codimension three.作者: 衍生 時(shí)間: 2025-3-24 16:21 作者: 舊石器 時(shí)間: 2025-3-24 19:59 作者: 拋媚眼 時(shí)間: 2025-3-24 23:13
Path resolution and semantic graphs,xcessively) generated. But each new formula introduced interacts with others, expanding the search rapidly in both time ...One of the disadvantages of resolution is its reliance on conjunctive normal form. We avoid conjunctive and disjunctive normal form and the duplication of literals that their us作者: 不朽中國(guó) 時(shí)間: 2025-3-25 05:19 作者: cuticle 時(shí)間: 2025-3-25 11:16
Demonstration of reduce3 as implemented on a stand-alone Motorola 68000 based microcomputer,作者: 衰老 時(shí)間: 2025-3-25 14:21 作者: 沒(méi)有貧窮 時(shí)間: 2025-3-25 18:58 作者: epicondylitis 時(shí)間: 2025-3-25 23:07
Symbol representations of noncommutative algebras,作者: VEN 時(shí)間: 2025-3-26 01:49
,Factorization of rational polynomials in the Zassenhaus — Norm,作者: 移動(dòng) 時(shí)間: 2025-3-26 05:09
EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. ProceedingsVolume 2: Research C作者: 笨拙處理 時(shí)間: 2025-3-26 11:18
Stahlbeton unter Torsionsbeanspruchung,is incorporated into a sparse Hensel lifting scheme and only requires the factorization of a single univariate image. The algorithm also provides the content of the input polynomial in the main variable as a by-product. We show how we can take advantage of this property when computing the GCD of mul作者: evince 時(shí)間: 2025-3-26 14:57
the porting and maintenance of such software, the hardware performance, and the experience of porting to other Common-LISP implementations (such as LMI Common-LISP for the LMI LAMBDA and the Texas Instruments EXPLORER) are discussed. Work on the user-contributed SHARE Library, consisting of reorgani作者: avenge 時(shí)間: 2025-3-26 18:03
r goal in the design of path resolution is to retain some of the advantages of both Prawitz analysis and resolution methods, and yet to avoid to some extent their disadvantages..The main advantage of Prawitz analysis is that, except for variants of original formulas, no new formulas are inferred whi作者: ONYM 時(shí)間: 2025-3-26 23:52
State Government Budget Stabilizationthors have introduced a new subsumption algorithm DC (Division into Components) which is much more efficient than the standard algorithms. In the present paper two new results are stated. First, an exponential lower bound for DC is presented. It is shown, that in certain cases DC is exponential in t作者: 賞心悅目 時(shí)間: 2025-3-27 01:14 作者: CAJ 時(shí)間: 2025-3-27 08:07 作者: Fortify 時(shí)間: 2025-3-27 13:14
The Working Class, Self-Help and Mutual Aid, describes how the number and type of these solutions change. It is a domain of applied mathematics which uses concepts from such diverse fields as functional analysis, group representations, ideal theory and many others. For real, e.g. physically motivated problems, the calculations necessary to de作者: 思考才皺眉 時(shí)間: 2025-3-27 17:18 作者: 催眠藥 時(shí)間: 2025-3-27 18:20 作者: LEVY 時(shí)間: 2025-3-28 01:29 作者: Eclampsia 時(shí)間: 2025-3-28 03:08 作者: 概觀 時(shí)間: 2025-3-28 06:31
978-3-540-15984-1Springer-Verlag Berlin Heidelberg 1985作者: Gesture 時(shí)間: 2025-3-28 12:33
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/300621.jpg作者: 易改變 時(shí)間: 2025-3-28 15:21
EUROCAL ‘85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings978-3-540-39685-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 怪物 時(shí)間: 2025-3-28 21:25
0302-9743 Overview: 978-3-540-15984-1978-3-540-39685-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 策略 時(shí)間: 2025-3-28 23:35
Stahlbeton unter Torsionsbeanspruchung,is incorporated into a sparse Hensel lifting scheme and only requires the factorization of a single univariate image. The algorithm also provides the content of the input polynomial in the main variable as a by-product. We show how we can take advantage of this property when computing the GCD of multivariate polynomials by sparse Hensel lifting.作者: 拖網(wǎng) 時(shí)間: 2025-3-29 06:00
https://doi.org/10.1007/978-981-10-8312-9replacing one of the variables by an approximation of a transcendental number. It generalizes recent results by Kannan, Lenstra, Lovász [KLL] and Sch?nhage [Sch2]. Asymptotically the algorithm improves on the running times of previously published methods.作者: Muffle 時(shí)間: 2025-3-29 08:01
6樓作者: ureter 時(shí)間: 2025-3-29 14:28
6樓作者: Acclaim 時(shí)間: 2025-3-29 16:33
6樓作者: 雄辯 時(shí)間: 2025-3-29 22:05
7樓作者: Vsd168 時(shí)間: 2025-3-30 01:03
7樓作者: Criteria 時(shí)間: 2025-3-30 07:24
7樓作者: anchor 時(shí)間: 2025-3-30 11:34
7樓作者: 無(wú)法取消 時(shí)間: 2025-3-30 12:31
8樓作者: Crayon 時(shí)間: 2025-3-30 20:11
8樓作者: Basal-Ganglia 時(shí)間: 2025-3-30 22:43
8樓作者: 充氣球 時(shí)間: 2025-3-31 02:14
8樓作者: gene-therapy 時(shí)間: 2025-3-31 07:13
9樓作者: 鞏固 時(shí)間: 2025-3-31 09:40
9樓作者: Notorious 時(shí)間: 2025-3-31 13:27
9樓作者: intention 時(shí)間: 2025-3-31 17:51
9樓作者: Infect 時(shí)間: 2025-4-1 01:17
10樓作者: homeostasis 時(shí)間: 2025-4-1 02:12
10樓作者: 減少 時(shí)間: 2025-4-1 08:59
10樓作者: 值得贊賞 時(shí)間: 2025-4-1 11:42
10樓
