1.
The Sotutions of Mathematical Physics Epuation with Mathematica;
用Mathematica计算机代数系统求解数理方程
2.
Filters and quotient algebra of UB algebras in universal logic;
泛逻辑学中UB代数系统的滤子与商代数
3.
(∈,∈∨q)-fuzzy filters of UB algebras in universal logic
泛逻辑学中UB代数系统的(∈,∈∨q)-fuzzy滤子
4.
A Symbolic Algorithm for Computing Critical Values of Algebraic Functions under SAS Restrictions;
求代数函数在半代数系统约束下的临界值的符号算法
5.
Fuzzy Filters in Effect Algebras and the Relationship between Effect Algebras and Two Fuzzy Algebraic Systems;
效应代数中的模糊滤子及其与两种模糊代数系统之间的关系
6.
Database-based Boolean Algebra System and Its Implementation
基于数据库的逻辑代数系统的研究与实现
7.
Numerical Stability of Delay-Differential-Algebraic Systems and Block Methods;
延迟微分代数系统的数值稳定性及其块方法
8.
The Relations between Residuated Lattice and Several Algebraic Systems Based on Residuated Lattice;
剩余格与基于剩余格的几类代数系统的关系
9.
IMTL System and IMTL-algebra;
IMTL逻辑系统及IMTL-代数
10.
Maizar Project and Algebra Structure of the Quaternion Numbers;
Mizar语言系统与四元数的代数结构
11.
Construction of Inverse System for Nonlinear Differential-algebraic Equations Subsystems
非线性微分-代数子系统的逆系统的构造
12.
The Algebraic Classification of a Class of Degree 1 + Degree 3 Polynomial System
1次+3次平面多项式系统的代数分类
13.
The Research about Some Logic Algebras and Systems;
关于逻辑代数与系统的若干问题研究
14.
Interactive Designing and Implementing of Two Dimensional Iterated Function System;
2D可交互迭代函数系统的设计与实现
15.
Application of VHDL Language in Modern Digital System Design;
VHDL语言在现代数字系统设计中的应用
16.
Design of Modern Digital System Based on EDA Technique;
基于EDA技术的现代数字系统设计
17.
Application Of Modern EDA Technology in the Digital System Design;
现代EDA技术在数字系统设计中的应用
18.
Development of Digital Control System for Modern Television Teaching;
现代教育电视数字化控制系统的研制