Search - Archive ouverte HAL Access content directly

Filter your results

5 Results

Satisfiability Checking and Symbolic Computation

Thomas Sturm , Erika Abraham , John A. Abbott , Bern W. Becker , Anna Maria Bigatti , et al.
ACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Journal articles hal-01648695v1
Image document

Experiments with Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers hal-03781994v1
Image document

OPERATION CHARACTERISTICS OF PIXELLATED NONLINEAR INTERFERENCE FILTERS

Erika Abraham , C. Godsalve , B. Wherrett
Journal de Physique Colloques, 1988, 49 (C2), pp.C2-43-C2-46. ⟨10.1051/jphyscol:1988210⟩
Journal articles istex jpa-00227609v1
Image document

MODELLING OF CROSS TALK IN 2D BISTABLE ARRAYS AND NOISE ON AN InSb ETALON

Erika Abraham , H. Richardson
Journal de Physique Colloques, 1988, 49 (C2), pp.C2-447-C2-450. ⟨10.1051/jphyscol:19882106⟩
Journal articles istex jpa-00227616v1
Image document

Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
Computer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles hal-03886685v1