✦ LIBER ✦

Automated generation of readable proofs with geometric invariants

✍ Scribed by Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang

Publisher: Springer Netherlands
Year: 1996
Tongue: English
Weight: 913 KB
Volume: 17
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00283134

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated short proof generation for pro

Automated short proof generation for projective geometric theorems with Cayley and bracket algebras: I. Incidence geometry

✍ Hongbo Li; Yihong Wu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 592 KB

Geometric torsions and invariants of man

Geometric torsions and invariants of manifolds with a triangulated boundary

✍ I. G. Korepanov 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 526 KB

Anisotropy in geometrically non-linear e

Anisotropy in geometrically non-linear elasticity with generalized Seth-Hill strain tensors projected to invariant subspaces

✍ Mahnken, Rolf 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

A new proof of geometric convergence for

A new proof of geometric convergence for general transport problems based on sequential correlated sampling methods

✍ Rong Kong; Jerome Spanier 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 491 KB

In [J. Halton, Sequential Monte Carlo, Proc. Comb. Phil. Soc. 58 (1962), J. Halton, Sequential Monte Carlo Techniques for the Solution of Linear Systems, J. Sci. Comp. 9 (1994) 213-257] Halton introduced a strategy to be used in Monte Carlo algorithms for the efficient solution of certain matrix pro

Geometric invariants for nilpotent metri

Geometric invariants for nilpotent metric Lie algebras with applications to moduli spaces of nilsoliton metrics

✍ Tracy L. Payne 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 330 KB

Hamiltonian geometric connection associa

Hamiltonian geometric connection associated with adiabatically perturbed Hamiltonian systems and the existence of adiabatic invariants

✍ Ya. A. Prykarpats’kyi 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 105 KB