Product
Help
Pricing
About
Jobs
Log in
Get started
Award
Add to collection
2005CB321901
Funder:
State Key Laboratory of Software Development Environment
Funded outputs count:
20
Funder award ID:
2005CB321901
OpenAlex ID:
G3810076868
The Sound and Complete R-Calculi with Respect to Pseudo-Revision and Pre-Revision
2013
·
Wei Li
, Yuefei Sui
·
International Journal of Intelligence Science
·
4
PDF
One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property
2013
·
Wei Li
, Yuefei Sui
·
Journal of Computer and Communications
·
4
PDF
On Guaranteed Detectability for Surveillance Sensor Networks
2012
·
Yanmin Zhu
·
International Journal of Distributed Sensor Networks
·
2
Symbolic computation of solitons in the normal dispersion regime of inhomogeneous optical fibres
2011
·
Wen-Jun Liu
, Bo Tain
, et al.
·
Quantum Electronics
·
8
PDF
Two-Soliton Solutions and Interactions for the Generalized Complex Coupled Kortweg-de Vries Equations
2011
·
Xiao-Ling Gai
, Yi-Tian Gao
, et al.
·
Communications in Theoretical Physics
·
1
PDF
Amplification of nonautonomous solitons in the Bose-Einstein condensates and nonlinear optics
2011
·
Zhi-Yuan Sun
, Yi-Tian Gao
, et al.
·
Europhysics Letters (EPL)
·
115
PDF
N-soliton solutions for the ( 2 + 1 ) -dimensional Hirota–Maccari equation in fluids, plasmas and optical fibers
2010
·
Xin Yu
, Yi-Tian Gao
, et al.
·
Journal of Mathematical Analysis and Applications
·
39
PDF
Direct analysis of the bright-soliton collisions in the focusing vector nonlinear Schrödinger equation
2010
·
Tao Xu
, Bo Tian
, et al.
·
Europhysics Letters (EPL)
·
7
PDF
Soliton Solutions and Bilinear Bäcklund Transformation for Generalized Nonlinear Schrödinger Equation with Radial Symmetry
2010
·
Jiang Yan
, Tian Bo
, et al.
·
Communications in Theoretical Physics
·
3
PDF
Multi-solitonic solutions for the variable-coefficient variant Boussinesq model of the nonlinear water waves
2010
·
Lei Wang
, Yi-Tian Gao
, et al.
·
Journal of Mathematical Analysis and Applications
·
33
PDF
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
2010
·
Chen, Xiaoyu
·
arXiv (Cornell University)
PDF
Darboux Transformation and Soliton Solutions for a Variable-Coefficient Modified Kortweg-de Vries Model from Fluid Mechanics, Ocean Dynamics, and Plasma Mechanics
2010
·
Gai Xiao-Ling
, Gao Yi-Tian
, et al.
·
Communications in Theoretical Physics
·
4
PDF
Pulse Amplification in Dispersion-Decreasing Fibers with Symbolic Computation
2009
·
Liu Wen-Jun
, Tian Bo
, et al.
·
Communications in Theoretical Physics
·
4
PDF
Alfvén solitons in the coupled derivative nonlinear Schrödinger system with symbolic computation
2009
·
Tao Xu
, Bo Tian
, et al.
·
Journal of Physics A Mathematical and Theoretical
·
18
PDF
Direct Approach to Construct the Periodic Wave Solutions for Two Nonlinear Evolution Equations
2009
·
Cai Ke-Jie
, Tian Bo
, et al.
·
Communications in Theoretical Physics
·
5
PDF
Exact Solutions to a (3+1)-Dimensional Variable-Coefficient Kadomtsev–Petviashvilli Equation via the Bilinear Method and Wronskian Technique
2009
·
Zhang Cheng
, Tian Bo
, et al.
·
Communications in Theoretical Physics
·
6
PDF
Painlevé Analysis and Determinant Solutions of a (3+1)-Dimensional Variable-Coefficient Kadomtsev–Petviashvili Equation in Wronskian and Grammian Form
2009
·
Meng Xiang-Hua
, Tian Bo
, et al.
·
Communications in Theoretical Physics
·
11
PDF
N -Soliton Solution in Wronskian Form for a Generalized Variable-Coefficient Korteweg–de Vries Equation
2008
·
Xu Xiao-Ge
, Meng Xiang-Hua
, et al.
·
Chinese Physics Letters
·
6
PDF
Lax Pair and Darboux Transformation for a Variable-Coefficient Fifth-Order Korteweg-de Vries Equation with Symbolic Computation
2008
·
Zhang Ya-Xing
, Zhang Hai-Qiang
, et al.
·
Communications in Theoretical Physics
·
15
PDF
Soliton-like solutions of a generalized variable-coefficient higher order nonlinear Schrödinger equation from inhomogeneous optical fibers with symbolic computation
2007
·
Juan Li
, Hai-Qiang Zhang
, et al.
·
Journal of Physics A Mathematical and Theoretical
·
36
PDF
Show more works
View as search
Year
Topic