Skip to search formSkip to main contentSkip to account menu

Alt-Ergo

Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Automated theorem provingB-MethodFrama-CRodin tool

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Novel poly(triphenylamine-alt-fluorene) with asymmetric hexaphenylbenzene and pyrene moieties: synthesis, fluorescence, flexible near-infrared electrochromic devices and theoretical investigation
In this study, a new triphenylamine-alt-fluorene conjugated copolymer, HPBPYFL6, with hexaphenylbenzene (HPB) and pyrene as… 
2016
2016
Hemodiyaliz Hastalarının Sıvı Kısıtlamasına Uyumlarının Değerlendirilmesi
Bu caliĢma; hemodiyaliz hastalarinin sivi kisitlamasina uyumlarini degerlendirmek ama-ciyla tanimlayici olarak yapildi. CaliĢma… 
2016
2016
Improved efficiency in organic solar cells via conjugated polyelectrolyte additive in the hole transporting layer
An anionic conjugated polyelectrolyte poly[(9,9-bis(4-sulfonatobutyl sodium) fluorene-alt-phenylene)-ran-(4,7-di-2-thienyl-2,1,3… 
2013
2013
HOMOGENIZATION OF COMPLEX FLOWS IN POROUS MEDIA AND APPLICATIONS
Our work is a contribution to the understanding of transport of solutes in a porous medium. It has applications in groundwater… 
Review
2008
Review
2008
Taking Causality Seriously in Comparative Constitutional Law: Insights from Comparative Politics and Comparative Political Economy
By highlighting the many ways that constitutions vary, comparative constitutional law raises interesting and important causal… 
2008
2008
Effects of polydispersity on the order-disorder transition of diblock copolymer melts
The effect of polydispersity on an AB diblock copolymer melt is investigated using lattice-based Monte Carlo simulations. We… 
Highly Cited
2006
Highly Cited
2006
Novel self-assembled metallo-homopolymers and metallo-alt-copolymer containing terpyridyl zinc(II) moieties
A series of novel terpyridyl Zn(II))-based metallo-polymers, including metallo-homopolymers and metallo-alt-copolymer, containing… 
2004
2004
Effect of the effective resist diffusion length to the photolithography at 65- and 45-nm nodes: a study with simple and accurate analytical equations
As the current photolithography moves toward the 65 and 45 nm nodes, resist blur, which is now around 50 to 90 nm full width at… 
2004
2004
Evaluation on the precision of RT-1904C chemistry analyzer in detecting ALT
Objective] To supervise and evaluate the quality of RT-1904C chemistry analyzer in detecting ALT. [Methods] Evaluation on the… 
1989
1989
Role of activation of lipid peroxidation in the pathogenesis of experimental peritonitis
: Investigation was carried out for studying the role of lipid peroxidation (LP) in the genesis of destructive process in the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)