A C++ class for multi-state algebraic reliability computations
Bigatti, A.M., Pascual-Ortigosa, P., Sáenz-de-Cabezón, E.
Published in Reliability engineering & system safety (01.09.2021)
Published in Reliability engineering & system safety (01.09.2021)
Get full text
Journal Article
Computing Ideals of Points
Abbott, J., Bigatti, A., Kreuzer, M., Robbiano, L.
Published in Journal of symbolic computation (01.10.2000)
Published in Journal of symbolic computation (01.10.2000)
Get full text
Journal Article
Satisfiability Checking meets Symbolic Computation (Project Paper)
Abraham, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, rest, S, Griggio, A, Kroening, D, Seiler, W M, Sturm, T
Published in arXiv.org (27.07.2016)
Published in arXiv.org (27.07.2016)
Get full text
Paper
Journal Article
Satisfiability Checking and Symbolic Computation
Abraham, E, Abbott, J, Becker, B, Bigatti, A M, Brain, M, Buchberger, B, Cimatti, A, Davenport, J H, England, M, Fontaine, P, rest, S, Griggio, A, Kroening, D, Seiler, W M, Sturm, T
Published in arXiv.org (23.07.2016)
Published in arXiv.org (23.07.2016)
Get full text
Paper
Journal Article
Penicilina y sífilis
SPILZINGER, J M, GUNCHE, F F, BIGATTI, A
Published in Revista de la Asociacion Medica Argentina (01.01.1947)
Get more information
Published in Revista de la Asociacion Medica Argentina (01.01.1947)
Journal Article