![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/7114795_1522120089991_DEF.jpg)
Mohammad Ehsanul Hoque
Bangladesh University of Engineering & Technology
Followers: 0 Following: 0
I am an undergraduate student.
Feeds
質問
How to solve CNF encodings for satisfiability problem?
Suppose these are the four clauses. A,B,C,D are boolean. All the clauses will be in conjuction. Is there any solver to che...
4年弱 前 | 0 件の回答 | 0
0
回答質問
How can verify a neural network using SMT/ILP/SAT solvers?
Suppose I have a trained network consisting of a fully connected layer and relu activation. How can use the trained weights to v...
4年弱 前 | 0 件の回答 | 0
0
回答回答済み
What is the code for lagrange interpolating polynomial for a set of given data?
After 3 days i have found the answer myself. The poly function takes arguments as roots of a polynomial. Like if x-2=0 is the eq...
What is the code for lagrange interpolating polynomial for a set of given data?
After 3 days i have found the answer myself. The poly function takes arguments as roots of a polynomial. Like if x-2=0 is the eq...
8年弱 前 | 11
| 採用済み
質問
What is the code for lagrange interpolating polynomial for a set of given data?
I have tried this code. My teacher recommended to use poly and conv function. But I dont get the point of using unknown 'x' in ...
8年弱 前 | 8 件の回答 | 4