Titlebook: Design and Implementation of Symbolic Computation Systems; International Sympos Alfonso Miola Conference proceedings 1993 Springer-Verlag B

只看該作者 · 發(fā)表于 2025-4-3 07:19:29

Subtyping inheritance in languages for symbolic computation systems,aracteristics of a presented model of subtyping. As the base of the subtyping rule, the monotonic (or covariant) rule is chosen. Once it is supported by the programming language of a symbolic computation system, our mechanism allows for a safe treatment of polymorphism induced by inheritance.

只看該作者 · 發(fā)表于 2025-4-3 10:51:49

Extending RISC-CLP(,) to handle symbolic functions, into a tree-solved form produced by an adapted unification algorithm. Then, polynomial real constraints are decided by the partial cylindrical algebraic decomposition method and a solution to the original system is constructed.

只看該作者 · 發(fā)表于 2025-4-3 12:19:05

只看該作者 · 發(fā)表于 2025-4-3 16:49:30

		自動(dòng)登錄	找回密碼
密碼			To register

關(guān)于派博傳思			派博傳思旗下網(wǎng)站			友情鏈接
派博傳思介紹	公司地理位置	論文服務(wù)流程	影響因子官網(wǎng)	吾愛論文網(wǎng)	大講堂	北京大學(xué)	Oxford Uni.	Harvard Uni.
發(fā)展歷史沿革	期刊點(diǎn)評(píng)	投稿經(jīng)驗(yàn)總結(jié)	SCIENCEGARD	IMPACTFACTOR	派博系數(shù)	清華大學(xué)	Yale Uni.	Stanford Uni.
\|Archiver\|手機(jī)版\|小黑屋\| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-2-5 17:42
Copyright © 2001-2015 派博傳思京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved