yusuke1997/dblp-id-title huggingface dataset:
A reduced dynamic model for constrained robots in the task frame
Grundlagen der Koordinatentransformation bei Industrierobotern
Modellierung symmetrischer Werkstücke
Das DFVLR Modell Nr. 1 des Industrieroboters Manutec r3
Flexible Montageautomation in der Pkw-Endmontage
Eine effiziente Berechnungsmethode für die kürzeste Trajektorie
Programmable ultrasonic range finder for mobile robot
Diagnostic system for robot using a force-torque sensor
Historische Entwicklung der Manipulator-Technik
Taktile Sensoren für adaptive multisensorielle Greifsysteme
Elektrische Direktantriebe für Robotergrundachsen
Ein iteratives Verfahren zur Bestimmung überschneidungsfreier Teilstücke von Bewegungen
Recent development of automated guided vehicles in Japan
Optimale Bahnplanung für Industrieroboter
Bewegungen unter Unsicherheit
OSIRIS - Ein objektorientiertes System zur impliziten Roboterprogrammierung und Simulation
Programmierbare Greifer mit servopneumatischen Antrieben
Werkstückerkennung mit einem Binärbildverarbeitungssystem
Das Steuerungskonzept für die Fertigung des Airbag-Gasgenerators. Einsatz von Montagerobotern unter extremen Anforderungen der Qualitätssicherung
Modellgestützte Bildverarbeitung in der Fertigungsmeßtechnik. Ein Verfahren zur sicheren Meßwertgewinnung
Robotersensorik: Tasten, Berühren, Greifen
Integrierte Sensoraktions-Planung als neuartige Sensor- und Steuerungsarchitektur für den mobilen autonomen Roboter IPAMAR
Dynamik derzeitiger Sensorregelkreise für Industrieroboter
Expertenunterstützungssystem für die Roboterdiagnose
Automatische Bewegungssynthese für bahnbezogen kooperierende Industrieroboter
Fügen von Crimpkontakten mit Industrieroboter unter Zuhilfenahme eines Bildverarbeitungssystems
Kabelbaummontage mit Industrierobotern
Continuous path control of non-simple robots
Koordinierte Bahnführung zweier Roboter
Zusatzachsen verbessern die Sensorführung von Robotern
Identifikation der Trägheitsparameter von Industrierobotern
Bildanalyse mit Hilfe von CAD-Oberflächenmodellen
Untersuchungen über die automatische Montage von Schläuchen mit Industrierobotern
Identifikation der Systemparameter 6-achsiger Gelenkarmroboter mit Hilfe der Evolutionsstrategie
Ausgewählte Probleme der Positionierung und mathematischen Modellierung beim Einsatz von Gleitschalungsfertigern im Zementbetonstraßenbau
Exakte Bewegungsplanungsalgorithmen
Rechnerunterstützte grafische Darstellung der Arbeitsräume von Handhabungsgeräten als Hilfsmittel zu deren Auswahl für gestellte Handhabungsaufgaben
Computation of the direct and inverse geometric models of the Delta 4 parallel robot
CAD-Simulation unterstützt Robotereinsatz
Schnelle kollisionsvermeidende Bahnplanung im Konfigurationsraum mit Entfernungsfeldern
Sensorsystem zur Fugenverfolgung und Fugengeometrieerfassung beim automatisierten Schutzgasschweißen
M 2 IDI: Mensch-Maschine Interface für das digitale Telemanipulatorsteuerungssystem DISTEL
Programming industrial robots for flexible palletizing
Offline-Korrektur von Bewegungsbahnen mit variabler Orientierung
Ein Verfahren zur Lösung der allgemeinen Rücktransformation unter Berücksichtigung von Randbedingungen
AGRIS: Programmsystem zur automatischen Generierung von effizienten inversen Robotermodellen
Integriertes sensorgestütztes Robotersystem
Optimierung der Verfahrparameter von Industrieroboter-Steuerungen
Elektrischer Master-Slave-Manipulator "EMSM-2B"
Entwicklung eines VAL-II-Compilers für die Zielsprache IRDATA
Praktische Anwendung und Ergebnisse einer nichtlinearen Regelung für Industrieroboter
Echtzeitfähige kollisionsvermeidende Bahnplanung durch Kombination globaler und lokaler Methoden
Sensorsystem mit gekreuztem Lichtschnittverfahren
Systematischer Vergleich von Verfahren zur Rückwärtstransformation bei Industrierobotern
Berechnung erreichbarer Effektorstellungen für Handhabungsgeräte mit weniger als sechs Freiheitsgraden
Automatische Bestimmung kollisionsfreier Bewegungsbahnen für Industrieroboter
Semantische Netze als Ansatz zur Repräsentation und Nutzung von Wissen für die automatische Bildanalyse
Optische Sensorsysteme für das automatisierte Lichtbogenschweißen
Optoelektronische Sensoren - Sensoroptiken. Einige Grundsätze zur Auswahl optischer Sensor-Komponenten für die Textilidentifikation
Programmsystem zur Behandlung der Rückwärtstransformation bei sechsachsigen Industrierobotern
Roboterkoordinatensystem-Ursprungsbestimmung mit Hilfe der robotereigenen Sensorik unter Berücksichtigung des Genauigkeitsverhaltens
Sensoren für Roboter
Anwendung eines neuen Verfahrens zur schnellen und robusten Positionsregelung von Industrierobotern
Prozeßrechner koordiniert verschiedene Roboter mittels Sensorinformationen
Hochflexible Handhabungssysteme. Ergebnisse einer Einsatzfalluntersuchung
Flexibles Steuerungssystem für Unterwasser-Handhabungsgeräte
Anpassung eines Roboterteilsystems für den Seewassereinsatz und Erprobung bis 1100 m Wassertiefe
The Lagrange-based model of Delta-4 robot dynamics
Ein dynamisches Modell für Flurförderzeuge
Methode zur Robotersimulation unter Berücksichtigung der schwingungsfähigen Mechanik und lagegeregelten Antriebe
MESA VERDE Ein Computerprogramm zur Simulation der nichtlinearen Dynamik von Vielkörpersystemen
Modellgestützte Fehlerdiagnose von Industrierobotern mittels Parameterschätzung
Ein Softwaresystem zur Simulation von robotergestützten Fertigungsprozessen
Automatisierte Erstellung von Rückwärtstransformationen für Industrieroboter unter Anwendung eines optimierten iterativen Lösungsverfahrens
Reinforcement-Learning bei der Steuerung eines autonomen mobilen Roboters
Schnelle kollisionsvermeidende Bahnplanung für einen Roboter mit 6 rotatorischen Freiheitsgraden
Modifikation eines inkrementalen Drehgebers für den Unterwassereinsatz von Robotern bis zu Wassertiefen von 1200 m
Vorgehensweise zur montagegerechten Produktgestaltung
Planung kollisionsfreier Greifoperationen. Analyse der Objektgeometrie
Spezifikation von dreidimensionalen Szenen durch graphische Definition räumlicher Beziehungen
Einbindung physikalischer Effekte in die 3D-Simulation eines Handhabungsprozesses
Schnelle Abbildung von Hindernissen in den Konfigurationsraum
Musterverarbeitung mit taktilen Sensoren Konzept eines Modularen Aktiven Greifer-/Sensorensystems (MAGS)
Auswahl flexibler Greifer
On-line collision prediction for mobile robot collision avoidance under uncertainty
Automatische Bahnbestimmung in Echtzeit für Robotersysteme
Zur Vermessung von Industrierobotern mit geodätischen Methoden
Autonom sensorgeführter Roboter zur Schleifbearbeitung von Behältersegmenten
Modifizierter Industrieroboter geht in die Unterwasser-Erprobung
Is a linked list the best storage structure for an algebra system?
Algorithms for special functions: computer algebra and analytical aspects
Group actions on gröbner bases of saturated zero-dimensional binomial ideals
Automated theorem proving: the resolution method
Abstracts of the 2015 east coast computer algebra day
(abstract only)
Seeking better algorithms for approximate GCD
Speeding up Lisp-based symbolic mathematics
Certifying inconsistency of sparse linear systems
Review of "a first course in computational algebraic geometry" by W. Decker and G. Pfister
Factorization problems on n-D polynomial matrices (abstract only)
Group theoretical computations in mathematical crystallography
Formal representations for algebraic numbers
Standard monomials for the Weyl group F 4
1977 MACSYMA users' conference
Symbolic incidence geometry proposal for doing geometry with a computer (Part 1 of 2)
Efficient algorithms for the algebraic analysis of system reliability
On BIOCHAM Symbolic Computation Pipeline for Compiling Mathematical Functions into Biochemistry
Abstracts of recent doctoral dissertations in computer algebra
Abstract only: Solving linear differential equations by using descent
SAGE: system for algebra and geometry experimentation
Symbolic-numeric sparse interpolation of multivariate rational functions
A note on the number of division steps in the Euclidean algorithm
Fast algorithm for calculation of Dirac's gamma-matrices traces
Comprehensive anti-derivatives and parametric continuity
Z 2 -equivariant standard bases for submodules associated with Z 2 -equivariant singularities
How to cleverly count pattern-avoiding words (abstract only)
Some problems connected with ambiguous expressions
Gelfand-Kirillov dimensions of differential difference modules via Gröbner bases
Computing L-polynomials of non-hyperelliptic genus 4 and 5 curves (abstract only)
A MACSYMA solution to problem 8
Dethroning Fibonacci Sequence (abstract only)
Variable projection methods for approximate GCD computations
On the design of a mode-based symbolic system
Geometry of branch cuts
Modified gauss algorithm for matrices with symbolic entries
Explicit Formulas for Concatenations of Terms of An Arithmetic Progression
A linear sparse systems solver (LSSS) applied to the classification of integrable non-abelian laurent ODEs
Fermat benchmarks for rational expressionals in maple
The SDEval benchmarking toolkit
A group ring package for Cayley
Efficient factorization of linear ODE's
Minimum distance computation of linear codes via genetic algorithms with permutation encoding
A Maple package for the decomposition of certain tensor products and restrictions of representations using crystal graphs
A comparison of the Vaxima and Reduce factorization packages
On a combinatorial theorem of Macaulay and its applications to the theory of polynomial ideals
On Coates algorithm
A note on abnormal polynomial remainder sequences
Estimating region of attraction for polynomial vector fields by homotopy methods
Towards more accurate separation bounds of empirical polynomials
2W-aray algorithm for extended problem of integer GCD
Edge-weighted Cayley graphs, monotonicity and bent functions
What is new in CoCoALib and CoCoA-5?
A survey on signature-based Gröbner basis computations
transalpyne: a language for automatic transposition
DISCOVERER: a tool for solving semi-algebraic systems
Matching, unification and complexity
The rotation group of Rubik's cube
Why computer algebra systems sometimes can't solve simple equations
Hybrid computation of bivariate rational interpolation
Problem #11: generation of Runge-Kutta equations
Lattices of compatibly embedded finite fields in nemo/flint
Southern Ontario Numerical Analysis Day
Marko Petkovšek 1955-2023
Solving multivariate linear recurrences in wedges (abstract only)
Extending Cardinal's algorithm to a broader class of structured matrices
Gröbner bases and multi-dimensional persistent bifurcation diagram classifications
Extended abstract for: solving rupert's problem algorithmically
East coast computer algebra day 2011 abstracts
Extension of expansion base algorithm for multivariate analytic factorization including the case of singular leading coefficient
SymGrid-Par: parallel orchestration of symbolic computation systems
Rapid computation of Bernoulli and related numbers
Research on Gröbner basis of the defining ideal of polynomial ring in quaternionic variables
Computing epistasis through Walsh transforms
MACSYMA experiments with a modified Khachian-type algorithm in linear programming
Resistance scaling and random walk dimensions for finitely ramified Sierpinski carpets
1995 East Coast Computer Algebra Day Abstracts
Analysis of the binary complexity of asymptotically fast algorithms for linear system solving
Gentran: an automatic code generation facility for REDUCE
Offsets from the perspective of computational algebraic geometry
Jenks prize 2013 award citation
Review of weighing the odds, by D. Williams
Method of generalized characteristic sets and multivariate dimension polynomials of differential field extensions with a group action
Report on the 40th International Symposium on Symbolic and Algebraic Computation
What is a solution of an ODE?
Galois groups of difference equations on elliptic curves
Construction of codes for DNA computing by the greedy algorithm
Factoring a binary polynomial of degree over one million
C 1 spline implicitization of planar curves
Introduction to Gauss
Computing with geometric objects
Approximate factorization of polynomials in Z[x]
The basic polynomial algebra subprograms
Solution to problem #7 using MACSYMA
Gröbner walk for computing matrix normal forms over Ore polynomials
Toward a formal implementation of computer algebra
Improving incremental signature-based Gröbner basis algorithms
Symbolic computation of residues at poles and essential singularities
When is a finitely generated algebra of Poincaré-Birkhoff-Witt type?
Some New Non-Commutative Matrix Multiplication Algorithms of Size ( n, m , 6)
The search for rational A-hypergeometric functions
Abstracts of the Seventh Spanish Meeting on Computer Algebra and Applications: EACA-2001
Amthor's solution of Archimedes' cattle problem
ALLTYPES in the web
A comment on "A note on Einstein metrics"
Towards a deductive database for small simple groups
Connectivity queries on curves in Rn
Arithmetic Nullstellensätze
AskConstants proposes concise non-floats close to floats
On the relationship between the Dixon-based resultant construction and the supports of polynomial systems
Lazard's CAD exploiting equality constraints
A method for removing all intermediate terms from a given equation
A parallel algorithm to compute the greatest common divisor of sparse multivariate polynomials
An Approximation Algorithm for the Nearest Decomposable Polynomial in the Hamming Distance
Character tables and commutativity of normal subgroups
A bibliography of Cayley citations
Prove inequalities by solving maximum/minimum problems using a computer algebra system
Parametric linear systems: the two parameter case
Experience with the muSIMP/muMATH-80 symbolic mathematics system
Sparse polynomial arithmetic
FORMAC today, or what can happen to an orphan
Robust algebraic methods for geometric computing
Parallel programming support in GAP
A note on a nearest polynomial with a given root
East Coast Computer Algebra day: ECCAD 2002 poster and demonstration abstracts
Abstracts from RIMS workshop on developments in computer algebra research
Computing polynomial LCM and GCD in lagrange basis
Applying linear algebra routines to modular ore polynomial matrix algorithms
Applications of the gröbner fan to gene network reconstruction (abstract only)
Abstracts of Recent Doctoral Dissertations in Computer Algebra
On the power series solution of a system of algebraic equations
Symbolic mathematical systems now and in the future
PICOMATH-80™: an even smaller computer algebra package
Of integration by man and machine
Modules for Maple
Symmetry detection of rational space curves
Symbolic-numeric computation and applications: list of abstracts
Approximate polynomial GCD over integers
Bit complexity for critical point computation in smooth and compact real hypersurfaces
Deciding linear-exponential problems
A characteristic set method for equation solving over finite fields
Cheater identification on a secret sharing scheme using GCD
Linear differential, difference and q -difference homogeneous equations having no rational solutions
Quantum computing, error correcting quantum codes and algebraic curves
Computing Bases of Twisted Cohomology Groups for Sparse Polynomials
Generalized Gröbner bases and dimension polynomials of modules over some finitely generated noncommutative algebras
ISSAC 2019 software presentations communicated by Yue Ren: a package to compute implicit equations for rational curves and surfaces
Abstract only: Exact linear algebra
Computing real zeros of polynomials with parametric coefficients
A symbolic computation system for the calculus of moving surfaces
International Workshop on Computing Tools for Research and Development in Sciences and Engineering
Automated reasoning tools in GeoGebra discovery
Optimum shortened cyclic codes for multiple burst-error correction
Work with non-commutative variables in the reduce-2 system for analytical calculations
On the separation of the roots of a polynomial (extended abstract)
East coast computer algebra day 2012 abstracts
Cellular hardware and symbolic computation
Plaintext recovery for one-time pads used twice
On computing a separating transcendence basis
Toric geometry in polymake
International symposium on symbolic and algebraic computation poster abstracts 2003
An interactive graphical interface for REDUCE
Algorithms for multivariate laurent series
Abstracts of the eighth Spanish meeting on computer algebra and applications: EACA-2002
Codes over rings of order 16
Problem section (rotating fluids): a system of polynomial equations and a solution by an unusual method
LocalizeRingForHomalg: localize commutative rings at maximal ideals
Curves of genus 2 with many rational points via K3 surfaces (abstract only)
Symbolic-numeric integration of univariate expressions based on sparse regression
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study
Newton-like iteration for determinantal systems and structured low rank approximation
Numerical and non-numerical methods in chemistry: present and future
MKM: a new interdisciplinary field of research
Using Schubert to enumerate conics in P 3
Gauss-Legendre quadrature
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis
On improving approximate results of Buchberger's algorithm by Newton's method
algebraic invariants of graphs: a computer aided study
Function evaluation on branch cuts
A fast algorithm for solving linearly recurrent sequences
An algorithm for avoiding complex numbers in rational function integration
Book Review: Topics in Nonlinear Dynamics with Computer Algebra by Richard H. Rand
Computer algebra on MIMD machine
Computing radical expressions for roots of unity
Book Review: Differential Equations with Maple V, by Martha L. Abell and James P. Braselton
The concept of derivatives using abstract algebra (abstract only)
Efficient programming in Maple: a case study
Symbolic execution and NaNs: diagnostic tools for tracking scientific computation
A Newton-Puiseux algorithm for the ring C {X 1 , ..., X d }[Y]
Combinatorial integration (part I, part II)
Zeta Functions from Multiple Summations
Computing Mellin Representations and Asymptotics of Nested Binomial Sums in a Symbolic Way: The RICA Package
Report on DISCO '90
The future of computer algebra
Sparse Polynomial Interpolation in Practice
The computations and applications based on comprehensive Groebner system
On the complexity of the D5 principle
Description of an extension of the Matrix package of : 20Reduce"
Should Students Learn Integration Rules?
Examples of MathML
A fast recursive algorithm for computing cyclotomic polynomials
A solution to SIGSAM problem #8
A demonstration of exchanging mathematical expressions using MP
Closed form solutions of linear difference equations in terms of symmetric products
Memory cache and lisp: faster list processing via automatically rearranging memory
Radius computation for an inscribed pentagon in Sanpou-Hakki (1690)
Further developments in MacMahon's partition analysis (abstract only)
A repository for CAD examples
Computer symbolic math & education: a radical proposal
Sparse implicitization using support prediction
Proof of a series solution for euler's trinomial equation
A theoretical basis for the reduction of polynomials to canonical forms
QEPCAD B: a program for computing with semi-algebraic sets using CADs
CoCoA: a laboratory for computations in commutative algebra
Towards a REDUCE solution to SIGSAM problem 7
Review of risk management: value at risk and beyond, edited by M.A.H. Dempster. Cambridge University Press 2002
Linear differential implicitization and differential resultants
A vector-quantization approach to coding systems
Complexity issues in algebraic algorithms: relevant topics for mathematical education
Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition
SAGE and coding theory (abstract only)
Factorization of polynomials in Z-graded skew polynomial rings
Symbolic integration of expressions involving unspecified functions
A short note on a new method for polynomial real root isolation
Burnside's theorem
Height as a coefficient bound for univariate polynomial factors, part II
The solutions of yey2= x and yey = x
Multiple-valued complex functions and computer algebra
Iterative computation of the convex hull of a rational plane curve
Abstracts of Closing Sessions of the Special Year in Computational Differential Algebra and Algebraic Geometry
A binary algorithm for the Jacobi symbol
A method for determining the coefficients of a reversed power series
Root lifting techniques and applications to list decoding
Gröbner and involutive bases for zero-dimensional ideals
A solution for online entering and editing mathematical formulas (abstract only)
On initial value problems for ordinary differential-algebraic equations
A note about Laplace transform tables for computer use
A remark on the proposed syllabus for an AMS short course on computer algebra
Nonassociative polynomial identities, Young tableaux and computers
Commentary on: solving symbolic equations with PRESS
Heuristics for cannon's algorithm with an application to lyons sporadic group
A symbolic framework for general polynomial domains in theorema: applications to boundary problems
Using computer algebra methods to determine the chemical dimension of finitely ramified Sierpinski carpets
ANALITIK: principal features of the language and its implementation
An efficient reduction strategy for signature-based algorithms to compute Gröbner basis
The symbolic-numeric interface
Factorization of Multivariate Polynomials over the integers
A note on the numerical evaluation of arctangent function
Harmonic sums and polylogarithms at negative multi-indices
Theories and algorithms for difference and differential Chow form
Symbolic computation tools in scientific problem solving environments
Calculating approximate GCD of multiple univariate polynomials using approximate syzygies
Interactive REDUCE
Stability of expanding homographic configurations: 3D case
Real limit points of quasi-componenets of regular chains
Relaxing order basis computation
Abstracts of Japanese computer algebra meeting in Kyoto
Different polynomial representations and their interaction in the portable algebra system PORT-ALG
Computing determinants of rational functions
Sparse FGLM using the block Wiedemann algorithm
Symbolic-algebraic methods for linear partial differential operators
An antitranslator of the RLISP language
Detecting Nonexistence of Rational Solutions of Linear Difference Equations in Early Stages of Computation
Polynomial homotopy continuation on GPUs
Computer algebra in the life sciences
Synthesizing recurrence relations I: analysis of the problems
Computing exact nonlinear reductions of dynamical models
Additive Ore-Sato theorem
Good reduction of plane curves
Gröbner bases and matrix eigenproblems
SIAN: a tool for assessing structural identifiability of parametric ODEs
Completing the L-th power in Z[x]
Computation of inverses in residue class rings with parameters
The use of formula manipulation systems to compute asymptotic expansions
Dual families in enveloping algebras
Root finding and approximation approaches through neural networks
Implementing a feasible attack against ECC2K-130 certicom challenge (abstract only)
Computing with Hypergeometric-Type Terms
Mathematica solutions to the ISSAC system challenge 1997
Height as a coefficient bound for univariate polynomial factors
Maple Conference 2019
An overview on algebraic invariants and the main parameters of some parameterized codes
Maple application for structural identifiability analysis of ODE models
Distribution of the error in estimated numbers of fixed points of the discrete logarithm
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system
Gröbner bases and generalized sylvester matrices
Representing matrices as quadtrees for parallel processors: extended abstract
A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials
The further development of MIRA
Some results on finite fields
OpenMath: an overview
An efficient algorithm for checking hyper-regularity of matrices
Algebraic algorithms for LWE problems