1·The program also extents its applicable range to general organic chemistry with its user definable fragment database.
该计划还扩展其适用范围,一般有机化学,其用户可定义的片段数据库。
2·This article mainly gives three kinds of algebra classes which have the property of definable principal congruence and their verifications.
给出了三种代数类具有可定义主同余性质的证明。