1.
(∈,∈∨q)-fuzzy filters of UB algebras in universal logic
泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子
2.
Filters and quotient algebra of UB algebras in universal logic;
泛逻辑学中UB代数系统的滤子与商代数
3.
IMTL System and IMTL-algebra;
IMTL逻辑系统及IMTL-代数
4.
Maizar Project and Algebra Structure of the Quaternion Numbers;
Mizar语言系统与四元数的代数结构
5.
The Sotutions of Mathematical Physics Epuation with Mathematica;
用Mathematica计算机代数系统求解数理方程
6.
Construction of Inverse System for Nonlinear Differential-algebraic Equations Subsystems
非线性微分-代数子系统的逆系统的构造
7.
The Algebraic Classification of a Class of Degree 1 + Degree 3 Polynomial System
1次+3次平面多项式系统的代数分类
8.
The Research about Some Logic Algebras and Systems;
关于逻辑代数与系统的若干问题研究
9.
Interactive Designing and Implementing of Two Dimensional Iterated Function System;
2D可交互迭代函数系统的设计与实现
10.
Application of VHDL Language in Modern Digital System Design;
VHDL语言在现代数字系统设计中的应用
11.
Design of Modern Digital System Based on EDA Technique;
基于EDA技术的现代数字系统设计
12.
Application Of Modern EDA Technology in the Digital System Design;
现代EDA技术在数字系统设计中的应用
13.
Development of Digital Control System for Modern Television Teaching;
现代教育电视数字化控制系统的研制
14.
Computer Algebra Languages and System CASSDR;
计算机代数语言与CASSDR系统
15.
Research on NC codes simulating system in NC pressing process
数控冲压加工NC代码仿真系统的研究
16.
The Construction of a new Generation Playing System for Super HD Digital Cinema
构建新一代超高清数字电影放映系统
17.
A Symbolic Algorithm for Computing Critical Values of Algebraic Functions under SAS Restrictions;
求代数函数在半代数系统约束下的临界值的符号算法
18.
Fuzzy Filters in Effect Algebras and the Relationship between Effect Algebras and Two Fuzzy Algebraic Systems;
效应代数中的模糊滤子及其与两种模糊代数系统之间的关系