44 citations · 54 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
physics.comp-ph2014★ 2 cited
Computer algebra in spacetime embedding
Waldir L. Roque, Renato P. dos Santos
In this paper we describe an algorithm to determine the vectors normal to a space-time V4 embedded in a pseudo-Euclidean manifold M4+n. An application of this algorithm is given co…
cs.SC2014★ 4 cited
On the design of an expert help system for computer algebra systems
Renato P. dos Santos, Waldir L. Roque
It is our intention here only to discuss the nature, complexity and tools concerning the design of Smart Help, an expert help facility for aiding users of Computer Algebra Systems.…