QQ客服 官方微博 反馈留言

	Efficient exact arithmetic over constructive reals
	Yong Li ; Jun-Hai Yong
	2010-05-07 ; 2010-05-07
会议名称	Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings (Lecture Notes in Computer Science Vol.4484) ; Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings ; Shanghai, China ; INSPEC
关键词	Theoretical or Mathematical/ arithmetic computability number theory/ exact arithmetic constructive real numbers/ C4210 Formal logic C1160 Combinatorial mathematics
中文摘要	We describe a computing method of the computable (or constructive) real numbers based on analysis of expressions. This method takes precision estimate into account in order to get a better algorithm than Menissier-Morain's method, which is also based on the representation of constructive reals. We solve two problems which appear in exact real arithmetic based on the representation of constructive reals. First, by balancing every item's precision in the expression, we can avoid unnecessary precision growth. Second, by distributing different weights to different operations, we can make sure that complex operations do not waste much time when to compute the whole expression. In these ways, we finally get a more efficient and proper method than prior implementations.
会议录出版者	Springer ; Berlin, Germany
语种	英语 ; 英语
内容类型	会议论文
源URL	[http://hdl.handle.net/123456789/16941]
专题	清华大学
推荐引用方式 GB/T 7714	Yong Li,Jun-Hai Yong. Efficient exact arithmetic over constructive reals[C]. 见:Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings (Lecture Notes in Computer Science Vol.4484), Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings, Shanghai, China, INSPEC.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。