691 search results - page 47 / 139 » Equational Abstractions |
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- This paper is concerned with the theory of quasivelocities and its applications to control. The equations of motion of a mechanical system are derived using the Lagrange
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Abstract. Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in...
CADE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...
110
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...