Top

Formal Aspects of Computing

Published in:

24-09-2018 | Original Article

Formal analysis of the kinematic Jacobian in screw theory

Authors: Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song

Published in: Formal Aspects of Computing | Issue 6/2018

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article A UTP approach for rTiMo

next article Daniel Kroening and Ofer Strichman: Decision procedures

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Title: Formal analysis of the kinematic Jacobian in screw theory
Authors: Zhiping Shi
Aixuan Wu
Xiumei Yang
Yong Guan
Yongdong Li
Xiaoyu Song
Publication date: 24-09-2018
Publisher: Springer London
Published in: Formal Aspects of Computing / Issue 6/2018
Print ISSN: 0934-5043
Electronic ISSN: 1433-299X
DOI: https://doi.org/10.1007/s00165-018-0468-0

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 6/2018

Daniel Kroening and Ofer Strichman: Decision procedures

Tests and proofs for custom data generators

Code obfuscation against abstraction refinement attacks

How testing helps to diagnose proof failures

Special section of Tests and Proofs 2016

Egon Börger and Alexander Raschke: Modeling companion for software practitioners

Premium Partner