About Us.
- Founder and Chief Developer
- Xu DaBao
(pseudonym)
- Academic Background
- Bachelar Degree
Kyoto University, Japan, Mechanical Engineering. - Master Degree
Graduated School of Osaka University, Japan, Control Theory, Electronics Controlled Mechanical Engineering. - Doctor Degree(Quitted)
Graduated School of Osaka University, Japan, Control Theory, Electronics Controlled Mechanical Engineering.
- Interest Fields
- Numerical Computation and Optimization
- Optimization of Bilinear Matrix Inequalities
- NP-Hard Mathematics Problems
MatchLogicFunction IsBiUnateFunction IsBlankFunction IsLinearFunction IsSelfAntiDualFunction IsUnateFunctionTo binary() FromBinary TwoComplement binaryioset() binaryioset AddXorTerm ToVariableInvertedFunction Count Nor PositiveDecimalToMantissa SOP To2LayerAndOr To2LayerNand Solve ShortestInputsForDistinguishTwoStates Backwardly Forwardly ROBDD TimingChart ComputeDONTCARE IndependentBase Normalization var() Zero