Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,570,920 papers from all fields of science
Search
Sign In
Create Free Account
Alt-Ergo
Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Automated theorem proving
B-Method
Frama-C
Rodin tool
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Improved efficiency in organic solar cells via conjugated polyelectrolyte additive in the hole transporting layer
Chankyu Kwak
,
Gabriel E. Pérez
,
+4 authors
A. Dunbar
2016
Corpus ID: 73536954
An anionic conjugated polyelectrolyte poly[(9,9-bis(4-sulfonatobutyl sodium) fluorene-alt-phenylene)-ran-(4,7-di-2-thienyl-2,1,3…
Expand
2016
2016
Hemodiyaliz Hastalarının Sıvı Kısıtlamasına Uyumlarının Değerlendirilmesi
Selçuk Balım
,
Sezgi Çınar Pakyüz
2016
Corpus ID: 80303140
Bu caliĢma; hemodiyaliz hastalarinin sivi kisitlamasina uyumlarini degerlendirmek ama-ciyla tanimlayici olarak yapildi. CaliĢma…
Expand
2016
2016
Ca n`Isach (Palau-saverdera): un poblado neolítico (V-IV milenio a.C) en la zona dolménica del Alt Empordà
Josep Tarrús i Galter
,
S. Aliaga
,
J. Chinchilla
,
O. Fernández
2016
Corpus ID: 133479952
2014
2014
Idiopathic Generalised Epilepsies with Onset in Childhood and Adolescence
A. Dervent
2014
Corpus ID: 142502024
Idiyopatik jeneralize epilepsiler (IJE) tum epilepsilerin yaklasik ucte birini kapsamakta olup, bunlarin buyuk kismi da cocukluk…
Expand
2011
2011
I OECD-diktaturet skal alt gøres op i økonomi
Dion Rüsselbæk Hansen
2011
Corpus ID: 185910763
2008
2008
Effects of polydispersity on the order-disorder transition of diblock copolymer melts
T. Beardsley
,
M. Matsen
2008
Corpus ID: 55455134
The effect of polydispersity on an AB diblock copolymer melt is investigated using lattice-based Monte Carlo simulations. We…
Expand
2004
2004
Evaluation on the precision of RT-1904C chemistry analyzer in detecting ALT
Zhang Wenjin
2004
Corpus ID: 183862289
Objective] To supervise and evaluate the quality of RT-1904C chemistry analyzer in detecting ALT. [Methods] Evaluation on the…
Expand
1998
1998
31. MANTLE MELTING SYSTEMATICS: TRANSITION FROM CONTINENTAL TO OCEANIC VOLCANISM ON THE SOUTHEAST GREENLAND MARGIN 1
M. Fram
,
C. Lesher
,
A. Volpe
1998
Corpus ID: 55090348
We present trace element analyses of basaltic and picritic lavas recovered from the Ocean Drilling Program Leg 152 transect on…
Expand
1989
1989
Role of activation of lipid peroxidation in the pathogenesis of experimental peritonitis
S. G. Konyukhova
,
A. Dubikaitis
,
L. V. Shabunevich
,
V. I. Strashnov
,
M. V. Belotserkovskii
Bulletin of experimental biology and medicine
1989
Corpus ID: 10049069
: Investigation was carried out for studying the role of lipid peroxidation (LP) in the genesis of destructive process in the…
Expand
1985
1985
Alt-Iranische Felsreliefs
L. V. Berghe
,
Wilhelm Steinböck
1985
Corpus ID: 186471815