位置：成果数据库 > 期刊 > 期刊详情页
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 1. Basic Features and the Manual Inpu
  • 期刊名称：Journal of Automated Reasoning
  • 时间：0
  • 页码：213-241
  • 语言：英文
  • 相关项目：数学机械化方法及其在信息技术中的应用
作者： S.C. Chou|Z. Ye |Xiaoshan Gao |
同期刊论文项目
数学机械化方法及其在信息技术中的应用
期刊论文 56 会议论文 22 获奖 17 专利 3
同项目期刊论文
Liouvillian Solutions of Linear Difference- Differential Equations
Three-dimensional rogue waves in nonstationary parabolic potentials
Computing rational points in convex semi-algebraic sets and SOS decompositions
Strict Optimal Rational Approximants of Multisequences
Frobenius morphism and semi-stable bundles
Dynamics of inhomogeneous condensates in contact with a surface
Exact analytical solutions for the generalized non-integrable nonlinear Schrödinger equation wi
Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even
Nonautonomous ＂rogons＂ in the inhomogeneous nonlinear Schrödinger equation with variable coeffi
Financial rogue waves
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 2. Automated Generation of Visually D
A Characteristic Set Method for Difference Polynomial Systems
Characteristic set method for differential–difference polynomial systems
Periodic，solitary and rational wave solutions of the 3D extended quantum Zakharov–Kuznetsov eq
Simplification and normalization of indexed differentials involving coordinate transformation
Exact solutions to three-dimensional generalized nonlinear Schrodinger equations with varying potent
Decomposition of ordinary difference polynomials
Minimal Achievable Approximation Ratio for MAX-MQ in Finite Fields
Multiplicity-preserving triangular set decomposition of two polynomials
Transforming linear functional systems to fully integrable systems.
The F5 algorithm in buchberger's style
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation.
Intersection Theory for Generic Differential Polynomials and Differential Chow Form.
Characteristic Set Algorithms for Equation Solving in Finite Fields.
B-spline patches and transfinite interpolation method for PDE controlled simulation.
Approximate Determining singular solutions of polynomial systems via symbolic-numeric reduction to g
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
A criterion for the similarity of lenth-two elements in a noncommutative PID
A Conjecture about Binary Strings and its Applications on Constructing Boolean Functions with Optima
High speed interpolation for micro-line trajectory and adaptive real-time lookahead in CNC machining
Collision and intersection detection of two-ruled surfaces using bracket method
Proper Reparametrization for inherently improper unirational varieties.
GEOMETRIC ERROR CONTROL IN THE PARABOLA-BLENDING LINEAR INTERPOLATOR
Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming
B-spline patches and transfinite interpolation method for PDE controlled simulation
On Computing Groebner Bases in the Rings of Differential Operators.
Rogon-like solutions excited in the two-dimensional nonlocal nonlinear Schrodinger equation
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory
代数免疫度为1的布尔函数
On functional decomposition of multivariate polynomials with differentiation and homogenization
一类M-M型bent函数的代数免疫度
一个组合问题在部分情形下的正确性证明
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity