C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
161	Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers Lawrence C. Paulson Computer Laboratory University of Cambridge, U.K. Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-12-06 04:58:13 Logic in computer science Automated theorem proving Formal methods Isabelle Proof assistant Automated reasoning Logic for Computable Functions E theorem prover Mathematical proof Theoretical computer science Applied mathematics Mathematics
162	EPJ Web of Conferences 66, DOI: epjconf C Owned by the authors, published by EDP Sciences, 2014 Direct reactions with exotic nuclei Add to Reading List Source URL: www.epj-conferences.org Language: English Particle physics Nuclear reaction Nuclear structure Nucleon Neutron Three-body force Pandya theorem Physics Baryons Nuclear physics
163	Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette1,? , Sascha Böhme1 , and Lawrence C. Paulson2 1 Institut für Informatik, Technische Universität München, Germany 2 Computer Laboratory, University o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-06-03 12:43:37 Logic in computer science Automated theorem proving Formal methods Constraint programming Reasoning Satisfiability Modulo Theories Proof assistant E theorem prover Isabelle Theoretical computer science Applied mathematics Mathematics
164	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
165	Max Planck Institute of Microstructure Physics Theory Department Exact factorization of the time-dependent electron-nuclear wavefunction A. Abedi, F. Agostini, S.K. Min, C. Proetto, Y. Suzuki, F. Tandetzky Add to Reading List Source URL: www2.mpi-halle.mpg.de Language: English - Date: 2013-06-11 03:47:30 Born–Oppenheimer approximation Molecular Hamiltonian Adiabatic theorem Schrödinger equation Diabatic Wave function Geometric phase Relaxation Physics Quantum mechanics Quantum chemistry
166	REGIONAL GROWTH IN A MULTIREGIONAL I-O FRAMEWORK1 D. Campisi and M. Gastaldi Istituto di Analisi dei Sistemi ed Informatica del C.N.R. Viale Manzoni, [removed]Rome, Italy Add to Reading List Source URL: www.iioa.org Language: English - Date: 2007-10-09 05:35:50 Matrix theory Markov processes Perron–Frobenius theorem Eigenvalues and eigenvectors Matrix Input-output model Diagonal matrix Spectral radius Algebra Linear algebra Mathematics
167	adfs::HardDisc4.$.UKMT.JOS.imok.booklets.2015.100percent.C/ps Add to Reading List Source URL: www.ukmt.org.uk Language: English - Date: 2015-03-31 05:46:20 Euclidean plane geometry Equations Right triangle Pythagorean theorem Triangle Circle Mathematical fallacy Entailment Group Geometry Triangles Triangle geometry
168	Copyright © 2006 American Scientiﬁc Publishers All rights reserved Printed in the United States of America Journal of Computational and Theoretical Nanoscience Add to Reading List Source URL: yangtze.hku.hk Language: English - Date: 2010-12-19 08:35:09 Ordinary differential equations Oscillation Resonance Equipartition theorem Temperature Normal mode Physics Thermodynamics Carbon nanotube
169	Solutions to Homework One CSE[removed]a) By the usual formula for a geometric series, for c 6= 1, S(n) = Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2014-10-05 09:25:46 Number theory Complex analysis Pi Binary logarithm Master theorem Eisenstein series Mathematical analysis Mathematics Mathematical series
170	LogoUniversite_ParisSud_P Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-05 02:16:49 Frama-C Coq ESC/Java Theorem prover SPARK OCaml Mathematical proof Software Computing Functional languages

UPDATE