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 IsBlankFunction AndOr ToAndOr AbsoluteExpression PureBinary ToDiagram ToNotFunction ToROBDD Dimacs Email MantissaToPositiveDecimal PermutationMatrix real() To2LayerNor SOP ShortestInputsForDistinguishTwoStates ShortestInputsForTransition AutoAssignInputAndStateVariables StateTransitionBasedly CreateCompactTable GetExcitationTable Implementation Fast Canonical GetNegativeLogicFunction SemanticEval ShannonExpansion XORP Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.