Search results for "roots"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong	A Linear Systolic Array for Multiplication in GF(2m) for High Speed Cryptographic Processors.	ICCSA (4)	2004	DBLP DOI BibTeX RDF	Riemann Hypothesis, Artins conjecture for primitive roots, systolic array, Finite field multiplier, all one polynomial
25	João R. Cardoso, Fatima Silva Leite	Computing the Inverse Matrix Hyperbolic Sine.	NAA	2000	DBLP DOI BibTeX RDF	primary matrix function, inverse matrix hyperbolic sine, logarithms and square roots, Padé approximants, matrix exponentials
25	Fabrice Rouillier	Solving Zero-Dimensional Systems Through the Rational Univariate Representation.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Resolution of polynomial systems, Elimination of variables, Real roots
25	Joachim von zur Gathen, Igor E. Shparlinski	Orders of Gauss Periods in Finite Fields.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Primitive roots, Normal bases, Artin's conjecture, Algorithms, Finite fields
25	Jie Wu 0001, Eduardo B. Fernández, Yingquiu Luo	Embedding of binomial trees in hypercubes with link faults.	ICPP	1997	DBLP DOI BibTeX RDF	binomial trees embedding, variable roots, faulty links, n-level binomial tree, spanning binomial trees, fault tolerance property, reduction operations, binomial tree structure, performance, broadcasting, hypercubes, hypercube networks, n-cubes, link faults
25	Michele Elia	Are fifth-degree equations over GF(5m) solvable by radicals?	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	Finite fields of characteristic five, Roots of equations, Quintics
25	Mohan L. Chaudhry, Yiqiang Q. Zhao	First-passage-time and busy-period distributions of discrete-time Markovian queues: Geom(n)/Geom(n)/1/N.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	first passage, Busy period, transient, roots
25	Steven D. Galbraith, Xibin Lin	Computing pairings using x -coordinates only.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 14H52, 14G15, 14Q05, 11T71, 11G20
25	Jörg Wagner 0001, Marc Kuhn, Armin Wittneben	Multihop-enabled orthogonalization in Distributed MIMO Networks.	PIMRC	2008	DBLP DOI BibTeX RDF
25	Andreas Brandstädt, Van Bang Le	Simplicial Powers of Graphs.	COCOA	2008	DBLP DOI BibTeX RDF	simplicial powers, forbidden induced subgraph characterization, block graphs, ptolemaic graphs, strongly chordal graphs, chordal graphs, leaf powers, Graph powers
25	Ayman Abdel-Hamid, Lobna Eslim, Yasser Y. Hanafy	Enhanced mobile node's reachability through anycasting for MIPv6 regional registrations.	AICCSA	2008	DBLP DOI BibTeX RDF
25	Hamid Sarbazi-Azad	The performance of synchronous parallel polynomial root extraction on a ring multicomputer.	Clust. Comput.	2007	DBLP DOI BibTeX RDF	Polynomial root extraction, Ring architecture, Durand-Kerner method, Parallel algorithms, Iterative techniques
25	David Nistér, Richard I. Hartley, Henrik Stewénius	Using Galois Theory to Prove Structure from Motion Algorithms are Optimal.	CVPR	2007	DBLP DOI BibTeX RDF
25	Leonid Gurvits	Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications.	STOC	2006	DBLP DOI BibTeX RDF	hyperbolic polynomials, graph, convex optimization, permanent
25	Tao Xie 0001, David Notkin	Checking Inside the Black Box: Regression Testing by Comparing Value Spectra.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	software testing, empirical studies, software maintenance, regression testing, Program spectra
25	Henrik Stewénius, Frederik Schaffalitzky, David Nistér	How Hard is 3-View Triangulation Really?	ICCV	2005	DBLP DOI BibTeX RDF
25	Hamid Sarbazi-Azad	Parallel Polynomial Root Extraction on A Ring of Processors.	IPDPS	2005	DBLP DOI BibTeX RDF
25	Elisavet Konstantinou, Yannis C. Stamatiou, Christos D. Zaroliagis	On the Use of Weber Polynomials in Elliptic Curve Cryptography.	EuroPKI	2004	DBLP DOI BibTeX RDF
25	Steven Fortune	Polynomial root finding using iterated Eigenvalue computation.	ISSAC	2001	DBLP DOI BibTeX RDF
25	Guo-Hui Lin, Tao Jiang 0001, Paul E. Kearney	Phylogenetic k-Root and Steiner k-Root.	ISAAC	2000	DBLP DOI BibTeX RDF	graph root, tree power, tree root, critical clique, computational biology, efficient algorithm, phylogeny, maximal clique, Graph power
25	Dima Grigoriev, Nicolai N. Vorobjov Jr.	Bounds on numers of vectors of multiplicities for polynomials which are easy to compute.	ISSAC	2000	DBLP DOI BibTeX RDF
25	J. Maurice Rojas	Intrinsic Near Quadratic Complexity Bounds for Real Multivariate Root Counting.	ESA	1998	DBLP DOI BibTeX RDF
25	George C. Caldwell	A Note on the Downhill Method.	J. ACM	1959	DBLP DOI BibTeX RDF
21	Dong-Guk Han, Dooho Choi, Howon Kim 0001	Improved Computation of Square Roots in Specific Finite Fields.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
21	Kurt Mehlhorn, Michael Sagraloff	Isolating real roots of real polynomials.	ISSAC	2009	DBLP DOI BibTeX RDF	bisection algorithm, bitstream coefficient, descartes' rule of sign, real polynomial, root isolation
21	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	Algorithmica	2008	DBLP DOI BibTeX RDF	Modular counting, Polynomials, Reed-Solomon codes
21	Noura Abbas, Andrew M. Gravell, Gary B. Wills	Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?.	XP	2008	DBLP DOI BibTeX RDF	Foundations and Conceptual Studies of Agile Methods, Software Development, Agile Methods
21	Boris S. Verkhovsky	Information Assurance and Secure Streaming Algorithm Based on Cubic Roots of Integers.	ITNG	2008	DBLP DOI BibTeX RDF	cubic root extraction, information recovery, network, information assurance, link failure
21	Jean-Sébastien Coron	Finding Small Roots of Bivariate Integer Polynomial Equations: A Direct Approach.	CRYPTO	2007	DBLP DOI BibTeX RDF	Coppersmith’s theorem, cryptanalysis, lattice reduction
21	Mohanned Momani, Jamil Faraj	A Novel Algorithm to Extract Tri-Literal Arabic Roots.	AICCSA	2007	DBLP DOI BibTeX RDF
21	Paulo S. L. M. Barreto, José Felipe Voloch	Efficient Computation of Roots in Finite Fields.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 11Y16, 12Y05
21	Raffaele Mascella, Luca G. Tallini, Sulaiman Al-Bassam, Bella Bose	On efficient balanced codes over the mth roots of unity.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
21	Lifang Feng, Pingzhi Fan	Generalized Bounds on Partial Aperiodic Correlation of Complex Roots of Unity Sequences.	SETA	2006	DBLP DOI BibTeX RDF
21	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	LATIN	2006	DBLP DOI BibTeX RDF
21	Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama	On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
21	Santos Hernández, Florian Luca	Integer Roots Chromatic Polynomials of Non-Chordal Graphs and the Prouhet-Tarry-Escott Problem.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	Chromatic polynomials of graphs, the Prouhet-Tarry-Escott problem
21	Zhonggang Zeng	Algorithm 835: MultRoot - a Matlab package for computing polynomial roots and multiplicities.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	multiple root, multiple zero, multiplicity identification, polynomial, root-finding
21	Timo von Oertzen	Exact Computation of Polynomial Zeros Expressible by Square Roots.	ISAAC	2004	DBLP DOI BibTeX RDF
21	Vladimir P. Gerdt, D. A. Yanovich	Implementation of the FGLM Algorithm and Finding Roots of Polynomial Involutive Systems.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
21	Eldon R. Hansen, G. William Walster	Sharp Bounds on Interval Polynomial Roots.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
21	J. Maurice Rojas	Additive Complexity and Roots of Polynomials over Number Fields and \mathfrak{p} -adic Fields.	ANTS	2002	DBLP DOI BibTeX RDF
21		The COPRIN Project: Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis.	COCOS	2002	DBLP DOI BibTeX RDF	parametric polynomial, eigenvalues, interval analysis
21	Gonzalo Tornaría	Square Roots Modulo p.	LATIN	2002	DBLP DOI BibTeX RDF
21	Marc Girault, Philippe Toffin, Brigitte Vallée	Computation of Approximate L-th Roots Modulo n and Application to Cryptography.	CRYPTO	1988	DBLP DOI BibTeX RDF
17	Jan E. M. Houben	Panini's Grammar and Its Computerization: A Construction Grammar Approach.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	P??ini’s grammar, (transformative) generative grammar, construction grammar, computerization of P??ini’s grammar, levels of representation in P??ini’s grammar, Dh?tu-p??ha, lists of roots, cognitive linguistics
17	Mathias Herrmann, Alexander May 0001	Solving Linear Equations Modulo Divisors: On Factoring Given Any Bits.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	small roots, factoring with known bits, Lattices
17	Rouwaida Kanj, Zhuo Li 0001, Rajiv V. Joshi, Frank Liu 0001, Sani R. Nassif	A Root-Finding Method for Assessing SRAM Stability.	ISQED	2008	DBLP DOI BibTeX RDF	stability, memory, yield, sram, roots
17	Andreas Brandstädt, Christian Hundt 0001	Ptolemaic Graphs and Interval Graphs Are Leaf Powers.	LATIN	2008	DBLP DOI BibTeX RDF	and Classification Leaf powers, leaf roots, strongly chordal graphs, ptolemaic graphs, graph class inclusions, (unit) interval graphs, clique-width, graph powers
17	Manuel Kauers, Carsten Schneider	Symbolic summation with radical expressions.	ISSAC	2007	DBLP DOI BibTeX RDF	difference fields, square roots, algebraic functions, symbolic summation
17	Antony L. Hosking	Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors.	ISMM	2006	DBLP DOI BibTeX RDF	ambiguous-roots, mostly-concurrent, mostly-copying, concurrent, garbage collection, memory management, portability, incremental, conservative
17	Dimitrios Filippopoulos, Helen D. Karatza	A two-class parallel queue with pure space sharing among rigid jobs and general service times.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	supplementary variable, stability, parallel system, monotonicity, discriminant, partial derivative, real roots
17	Asunción Honrado, Ruben Leon, Ruairi O'Donnell, Duncan Sinclair	A Word Stemming Algorithm for the Spanish Language.	SPIRE	2000	DBLP DOI BibTeX RDF	word stemming algorithm, ad-hoc hand tuned algorithms, Porter style algorithm, grammatical complexity, word roots, Spanish morphology, dictionary look-ups, intermediate reduction rules, natural languages, document retrieval, morphological analysis, inflection, Spanish language, English text
17	Yagati N. Lakshman, B. David Saunders	Sparse shifts for univariate polynomials.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	BCH decoding, Pochhammer basis, Chebyshev basis, Descartes’ rule of signs, Sparse polynomials, Real roots
17	Miodrag S. Petkovic	On Initial Conditions for the Convergence of Simultaneous Root Finding Methods.	Computing	1996	DBLP DOI BibTeX RDF	simultaneous method, inclusion methods, convergence theorems, initial conditions for convergence, Polynomial roots
17	Erik S. Rieger, Gerhard Haßlinger	An analytical solution for the discrete time single server system with semi-Markovian arrivals.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Discrete time analysis, semi-Markovian arrivals, stationary queue size and idle time distribution, polynomial factorization, roots
17	Ilan Adler, Peter A. Beling	Polynomial Algorithms for LP over a Subring of the Algebraic Integers with Applications to LP with Circulant Matrices	FOCS	1991	DBLP DOI BibTeX RDF	algebraic integers, subring, encoding size, bit size, Tardos scheme, strongly polynomial time, linear programming, interior point method, square roots, running time, polynomial algorithms, real numbers, circulant matrices
17	Thomas A. Rice, Leah H. Jamieson	A Highly Parallel Algorithm for Root Extraction.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	highly parallel algorithm, root extraction, roots of a polynomial, arithmetic complexity, parallel algorithms, computational complexity, iterative methods, polynomials, interprocessor communication, SIMD machine, iterative technique
17	Gerd Bohlender	Floating-Point Computation of Functions with Maximum Accuracy.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	multiple-length mantissas, roots of floating-point numbers, Accuracy, errors, rounding, floating-point computations
17	William Knight	Remark on algorithm 343: Eigenvalues and eigenvectors of a real general matrix.	Commun. ACM	1970	DBLP DOI BibTeX RDF	Householder's method, inverse iteration, latent roots, eigenvalues, eigenvectors, QR algorithm
17	William H. Payne, John R. Rabung, T. P. Bogyo	Coding the Lehmer pseudo-random number generator.	Commun. ACM	1969	DBLP DOI BibTeX RDF	prime factorization, primitive roots, uniform frequency function, uniform probability density, simulation, random number, modular arithmetic, pseudo-random number
17	J. Grad, M. A. Brebner	Algorithm 343: eigenvalues and eigenvectors of a real general matrix.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Householder's method, inverse iteration, latent roots, latent vectors, eigenvalues, eigenvectors, QR algorithm
17	Jun Liu 0016, Ying Liu 0041, Pei-Luen Patrick Rau, Hui Li 0058, Xia Wang, Dingjun Li	How socio-economic structure influences rural users' acceptance of mobile entertainment.	CHI	2010	DBLP DOI BibTeX RDF	chinese rural people, explorative factor analysis, socio-economic structure, technology acceptance, mobile entertainment
17	Jen-Yeu Chen, Gopal Pandurangan	Optimal gossip-based aggregate computation.	SPAA	2010	DBLP DOI BibTeX RDF	distributed randomized protocols, lower bounds, probabilistic analysis, gossip-based protocols, aggregate computation
17	Yun Li, Trung Tran Quang, Yoshihiro Kawahara, Tohru Asami, Masanori Kusunoki	Building a spectrum map for future cognitive radio technology.	CoRoNet@MobiCom	2009	DBLP DOI BibTeX RDF	virtual earth map control, cognitive radio, spectrum
17	Nadia El Mrabet, Christophe Nègre	Finite Field Multiplication Combining AMNS and DFT Approach for Pairing Cryptography.	ACISP	2009	DBLP DOI BibTeX RDF	AMNS, discrete Fourrier transform, finite fields, Pairing
17	Michael Kerber	On the Complexity of Reliable Root Approximation.	CASC	2009	DBLP DOI BibTeX RDF
17	Frédéric Bihan, J. Maurice Rojas, Casey E. Stella	Faster real feasibility via circuit discriminants.	ISSAC	2009	DBLP DOI BibTeX RDF	discriminant chamber, linear forms in logarithms, real, polynomial-time, sparse, feasibility
17	Zhonggang Zeng	The approximate irreducible factorization of a univariate polynomial: revisited.	ISSAC	2009	DBLP DOI BibTeX RDF	multiplicity, polynomial factoring, ill-posed problems
17	Martin Reuter 0001, Tarjei S. Mikkelsen, Evan C. Sherbrooke, Takashi Maekawa, Nicholas M. Patrikalakis	Solving nonlinear polynomial systems in the barycentric Bernstein basis.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	CAD, Geometric modeling, Solid modeling, Intersections, Engineering design, CAM, CAGD, Distance computation
17	Naoyuki Kamiyama, Naoki Katoh	The Minimum Weight In-Tree Cover Problem.	MCO	2008	DBLP DOI BibTeX RDF
17	Jonathan W. Sands, Brett A. Tangedal	Functorial Properties of Stark Units in Multiquadratic Extensions.	ANTS	2008	DBLP DOI BibTeX RDF
17	Alexander May 0001, Maike Ritzenhofen	Solving Systems of Modular Equations in One Variable: How Many RSA-Encrypted Messages Does Eve Need to Know?	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Chinese Remaindering, Coppersmith’s method, Håstad’s attack, systems of univariate modular polynomials
17	Matthias Mühlich, Daniel Truhn, Kerstin Nagel, Achim Walter, Hanno Scharr, Til Aach	Measuring Plant Root Growth.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
17	Guénaël Renault, Kazuhiro Yokoyama	Multi-modular algorithm for computing the splitting field of a polynomial.	ISSAC	2008	DBLP DOI BibTeX RDF	splitting field, galois theory
17	Özlem N. Subakan, Bing Jian, Baba C. Vemuri, C. Eduardo Vallejos	Feature Preserving Image Smoothing Using a Continuous Mixture of Tensors.	ICCV	2007	DBLP DOI BibTeX RDF
17	Ronghua Li, Chuankun Wu	An Unconditionally Secure Protocol for Multi-Party Set Intersection.	ACNS	2007	DBLP DOI BibTeX RDF	privacy-preserving set ntersection, Secure multi-party computation, unconditional security
17	Hiroshi Kai, Nanami Nakagawa, Matu-Tarow Noda	A hybrid integral for parametrized rational functions.	SNC	2007	DBLP DOI BibTeX RDF	hybrid integral, symbolic-numeric computation
17	Kent E. Wires, Michael J. Schulte	Reciprocal and Reciprocal Square Root Units with Operand Modification and Multiplication.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	reciprocal square root, Newton-Raphson iteration, computer arithmetic, function approximation, table lookup, reciprocal
17	Charles T. Loop, Jim Blinn	Real-time GPU rendering of piecewise algebraic surfaces.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Bézier tetrahedra, algebraic surface rendering, implicit surface rendering, GPU algorithms
17	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The Range Constraint: Algorithms and Implementation.	CPAIOR	2006	DBLP DOI BibTeX RDF
17	Fabrizio Caruso	The SARAG Library: Some Algorithms in Real Algebraic Geometry.	ICMS	2006	DBLP DOI BibTeX RDF
17	Satyanarayana V. Lokam	Quadratic Lower Bounds on Matrix Rigidity.	TAMC	2006	DBLP DOI BibTeX RDF
17	Wei-Jen Wang, Carlos A. Varela	Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach.	GPC	2006	DBLP DOI BibTeX RDF
17	Suri Pushpa, Prasad Vinod, Carsten Maple	Creating a Forest of Binary Search Trees for a Multiprocessor System.	PARELEC	2006	DBLP DOI BibTeX RDF
17	Fangguo Zhang, Xiaofeng Chen 0001, Willy Susilo, Yi Mu 0001	A New Signature Scheme Without Random Oracles from Bilinear Pairings.	VIETCRYPT	2006	DBLP DOI BibTeX RDF	Bilinear pairings, Standard model, Random oracle, Short signature
17	Adrien Bartoli, Jean-Thierry Lapresté	Triangulation for Points on Lines.	ECCV (3)	2006	DBLP DOI BibTeX RDF
17	Guénaël Renault	Computation of the splitting field of a dihedral polynomial.	ISSAC	2006	DBLP DOI BibTeX RDF	triangular set, splitting field, Galois theory, dihedral group
17	Nathalie Revol, Fabrice Rouillier	Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
17	Xin-Wen Wu, Margreta Kuijper, Parampalli Udaya	A root-finding algorithm for list decoding of Reed-Muller codes.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
17	Raimund Seidel, Nicola Wolpert	On the exact computation of the topology of real algebraic curves.	SCG	2005	DBLP DOI BibTeX RDF	computational geometry, robustness, algebraic curves, exact geometric computation
17	Manindra Agrawal, Nitin Saxena 0001	Automorphisms of Finite Rings and Applications to Complexity of Problems.	STACS	2005	DBLP DOI BibTeX RDF
17	Antti Oulasvirta, Sakari Tamminen, Kristina Höök	Comparing two approaches to context: realism and constructivism.	Critical Computing	2005	DBLP DOI BibTeX RDF	context-awareneness, ubiquitous computing, context, constructivism, social navigation, ethnomethodology, realism
17	Arno Eigenwillig, Lutz Kettner, Werner Krandick, Kurt Mehlhorn, Susanne Schmitt, Nicola Wolpert	A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.	CASC	2005	DBLP DOI BibTeX RDF
17	Manasi Athale, Rahul Athale	Using LaTeX to Typeset a Marathi-English Dictionary.	TEX, XML, and Digital Typography	2004	DBLP DOI BibTeX RDF
17	Stephen Kloder, Sourabh Bhattacharya, Seth Hutchinson 0001	A Configuration Space for Permutation-invariant Multi-robot Formations.	ICRA	2004	DBLP DOI BibTeX RDF
17	Walter Oberschelp	Discrete and Continuous Methods of Demography.	Logic versus Approximation	2004	DBLP DOI BibTeX RDF
17	Da-Zhou Peng, Bugong Xu, Xin-Jun Ma	Regional stability for continuous large-scale interconnected linear system with delays.	ICARCV	2004	DBLP DOI BibTeX RDF
17	Yitzhak Birk, Liran Liss, Assaf Schuster, Ran Wolff 0001	A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion.	DISC	2004	DBLP DOI BibTeX RDF
17	Tao Xie 0001, David Notkin	Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.	ICSM	2004	DBLP DOI BibTeX RDF
17	Tien-Yien Li, J. Maurice Rojas, Xiaoshen Wang	Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF