Search results for "algebraic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Frederik Armknecht, Claude Carlet, Philippe Gaborit, Simon Künzli 0002, Willi Meier, Olivier Ruatta	Efficient Computation of Algebraic Immunity for Algebraic and Fast Algebraic Attacks.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	Fast Algebraic Attacks, Boolean Functions, Stream Ciphers, Algebraic Attacks, Symmetric Functions, Algebraic Degree
76	Frédéric Didier	Using Wiedemann's Algorithm to Compute the Immunity Against Algebraic and Fast Algebraic Attacks.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	fast algebraic attacks, Wiedemann’s algorithm, algebraic attacks, algebraic immunity
75	Bruno Buchberger	Algebraic Methods for Non-Linear Computational Geometry (Invited Address).	SCG	1988	DBLP DOI BibTeX RDF
72	Enes Pasalic	Almost Fully Optimized Infinite Classes of Boolean Functions Resistant to (Fast) Algebraic Cryptanalysis.	ICISC	2008	DBLP DOI BibTeX RDF	Fast Algebraic attacks, Algebraic Attack Resistant, High Degree Product, Boolean function, Stream ciphers, Algebraic Immunity, Annihilators
71	J. M. Aroca, J. Cano, Ruyong Feng, Xiao-Shan Gao	Algebraic general solutions of algebraic ordinary differential equations.	ISSAC	2005	DBLP DOI BibTeX RDF	Hermite-Padé approximants, algebraic differential equation, algebraic general solution, first order autonomous ODE, algebraic curve
67	Ted Stanion, Carl Sechen	Quasi-algebraic decompositions of switching functions.	ARVLSI	1995	DBLP DOI BibTeX RDF	quasi-algebraic decompositions, algebraic product, binary Boolean operation, canonical manner, SSL testable, logic testing, testability, switching functions, switching functions, state assignment, minimisation of switching nets, benchmark circuits, circuit size
64	Claude Carlet	On the Higher Order Nonlinearities of Algebraic Immune Functions.	CRYPTO	2006	DBLP DOI BibTeX RDF	higher order nonlinearity, Boolean function, stream cipher, block cipher, algebraic attack, algebraic immunity, algebraic degree
61	Ekkart Kindler, Hagen Völzer	Flexibility in Algebraic Nets.	ICATPN	1998	DBLP DOI BibTeX RDF	Algebraic Petri nets, place invariants, verification techniques
59	Xian-Mo Zhang, Josef Pieprzyk, Yuliang Zheng 0001	On Algebraic Immunity and Annihilators.	ICISC	2006	DBLP DOI BibTeX RDF	Hypergraph Theory, Greedy Algorithm, Algebraic Attacks, Algebraic Immunity
56	Claude Carlet, Keqin Feng	An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	Boolean function, Stream cipher, Algebraic attack
55	Chandrajit L. Bajaj	Geometric Computations with Algebraic Varieties of Bounded Degree.	SCG	1990	DBLP DOI BibTeX RDF
55	WenYing Zhang, Chuankun Wu, XiangZhong Liu	Construction and enumeration of Boolean functions with maximum algebraic immunity.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	cryptography, Boolean function, algebraic attack, algebraic immunity
51	Deshuai Dong, Shaojing Fu, Longjiang Qu, Chao Li 0002	A New Construction of Boolean Functions with Maximum Algebraic Immunity.	ISC	2009	DBLP DOI BibTeX RDF	Boolean Function, Algebraic Attacks, Balancedness, Algebraic Immunity
50	Claude Carlet	On Bent and Highly Nonlinear Balanced/Resilient Functions and Their Algebraic Immunities.	AAECC	2006	DBLP DOI BibTeX RDF	Boolean function, stream cipher, resiliency, nonlinearity, algebraic attack, algebraic degree
50	Renaud Rioboo	Towards faster real algebraic numbers.	ISSAC	2002	DBLP DOI BibTeX RDF	algebraic integers, real closure, sub-resultants, fractions, algebraic numbers, real closed fields
49	Sultan Al-Hinai, Ed Dawson, Matthew Henricksen, Leonie Ruth Simpson	On the Security of the LILI Family of Stream Ciphers Against Algebraic Attacks.	ACISP	2007	DBLP DOI BibTeX RDF	filter function, stream ciphers, initialization, algebraic attacks, clock-control
47	Na Li, Wen-Feng Qi 0001	Construction and Analysis of Boolean Functions of 2t+1 Variables with Maximum Algebraic Immunity.	ASIACRYPT	2006	DBLP DOI BibTeX RDF	Boolean functions, resilience, nonlinearity, Algebraic attack, balancedness, algebraic immunity
47	Yassir Nawaz, Guang Gong, Kishan Chand Gupta	Upper Bounds on Algebraic Immunity of Boolean Power Functions.	FSE	2006	DBLP DOI BibTeX RDF	Inverse exponent, Kasami exponent, Niho exponent, Algebraic attacks, Algebraic immunity, Power functions, Polynomial functions
47	An Braeken, Bart Preneel	Probabilistic Algebraic Attacks.	IMACC	2005	DBLP DOI BibTeX RDF	Walsh spectrum, combination and filter generator, Algebraic attack, algebraic immunity, annihilator
47	Manfred Broy, Martin Wirsing	Invited Talk: Algebraic State Machines.	AMAST	2000	DBLP DOI BibTeX RDF
46	Yves Diers	Affine Algebraic Varieties Relative to an Algebraic Theory.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	affine algebraic variety, irreducible algebra, algebraic theory
45	Charles W. Wampler II	Numerical algebraic geometry and kinematics.	SNC	2007	DBLP DOI BibTeX RDF	robotics, kinematics, numerical algebraic geometry, homotopy continuation
45	Shi Shu, Dudu Sun, Jinchao Xu	An Algebraic Multigrid Method for Higher-order Finite Element Discretizations.	Computing	2006	DBLP DOI BibTeX RDF	Algebraic multigrid methods, geometric-based, unstructured grids, high-order finite element
45	Frederik Armknecht, Matthias Krause 0001	Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity.	ICALP (2)	2006	DBLP DOI BibTeX RDF	matroid union algorithm, boolean functions, algebraic attacks, Cryptographic primitives
44	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
43	Jin-San Cheng, Sylvain Lazard, Luis Mariano Peñaranda, Marc Pouget, Fabrice Rouillier, Elias P. Tsigaridas	On the topology of planar algebraic curves.	SCG	2009	DBLP DOI BibTeX RDF	effective algebraic geometry, topology of algebraic curves, exact geometric computation
43	Longjiang Qu, Chao Li 0002	On the 2m-variable symmetric Boolean functions with maximum algebraic immunity.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	algebraic attack, algebraic immunity, symmetric Boolean function
43	Frédéric Didier, Jean-Pierre Tillich	Computing the Algebraic Immunity Efficiently.	FSE	2006	DBLP DOI BibTeX RDF	Low degree multiple, Boolean functions, Stream ciphers, Algebraic attacks, Algebraic immunity, Annihilator
43	Walter Dosch, Sönke Magnussen	Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.	SERA	2003	DBLP DOI BibTeX RDF	Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
43	Venkatesh Mysore, Bud Mishra	Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.	AB	2007	DBLP DOI BibTeX RDF
42	Arno Eigenwillig, Michael Kerber, Nicola Wolpert	Fast and exact geometric analysis of real algebraic plane curves.	ISSAC	2007	DBLP DOI BibTeX RDF	descartes method, sturm-habicht sequence, topology computation, algebraic curves, exact geometric computation, cylindrical algebraic decomposition
42	Ruyong Feng, Xiao-Shan Gao	Rational general solutions of algebraic ordinary differential equations.	ISSAC	2004	DBLP DOI BibTeX RDF	Padé approximants, algebraic differential equation, autonomous first order ODE, rational general solution, rational parametrization, algebraic curve
41	Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra	Results on Algebraic Immunity for Cryptographically Significant Boolean Functions.	INDOCRYPT	2004	DBLP DOI BibTeX RDF	Walsh Spectra, Boolean Functions, Nonlinearity, Algebraic Attacks, Annihilators
41	John Watrous	On Quantum and Classical Space-bounded Processes with Algebraic Transition Amplitudes.	FOCS	1999	DBLP DOI BibTeX RDF	GapL functions, selective quantum processes, computational complexity theory, quantum computation, space-bounded computation, algebraic numbers
41	Sabine Stifter	Algebraic methods for computing inverse kinematics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Gröbner bases, algebraic system solving, Inverse kinematics
41	Chandrajit L. Bajaj, Insung Ihm	Algebraic Surface Design with Hermite Interpolation.	ACM Trans. Graph.	1992	DBLP DOI BibTeX RDF	linear systems, computer-aided geometric design, Hermite interpolation, geometric continuity, Algebraic surface
40	George Voutsadakis	Categorical Abstract Algebraic Logic: (J, N)-Algebraic Systems.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	equivalent deductive systems, algebraizable deductive systems, equivalent institutions, algebraizable institutions, Leibniz congruence, Tarski congruence, algebraizable sentential logics, algebras, institutions, adjunctions, abstract algebraic logic, deductive systems
40	David J. Jeffrey, Pratibha, K. B. Roach	Affine transformations of algebraic numbers.	ISSAC	2005	DBLP DOI BibTeX RDF	rootOf, affine transformation, algebraic numbers
39	Nicolas T. Courtois	Cryptanalysis of Sfinks.	ICISC	2005	DBLP DOI BibTeX RDF	solving systems of multivariate equations, fast algebraic attacks on stream ciphers, Boolean functions, stream ciphers, nonlinear filters, algebraic cryptanalysis
39	Eric Berberich, Michael Kerber, Michael Sagraloff	Exact geometric-topological analysis of algebraic surfaces.	SCG	2008	DBLP DOI BibTeX RDF	topology computation, exact geometric computation, algebraic surfaces, cylindrical algebraic decomposition
39	Na Li, Wen-Feng Qi 0001	Boolean functions of an odd number of variables with maximum algebraic immunity.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	nonlinearity, algebraic attacks, algebraic immunity, correlation immunity
39	Longjiang Qu, Chao Li 0002	Weight Support Technique and the Symmetric Boolean Functions with Maximum Algebraic Immunity on Even Number of Variables.	Inscrypt	2007	DBLP DOI BibTeX RDF	Weight Support, Algebraic Attack, Algebraic Immunity, Symmetric Boolean Function
39	S. Kazem Lellahi	Conceptual Data Modeling: An Algebraic Viewpoint.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	conceptual model, meta-modeling, algebraic specification, algebraic semantics
39	Hirobumi Nishida, Shunji Mori	An Algebraic Approach to Automatic Construction of Structural Models.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	structural model automatic construction, shape prototypes, curve structure, algebraic representation, continuous transformation, learning (artificial intelligence), optical character recognition, character recognition, algebra, inductive learning, handwritten numerals, algebraic approach
39	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
38	Liepa Bikulciené, Zenonas Navickas	Expressions of Solutions of Linear Partial Differential Equations Using Algebraic Operators and Algebraic Convolution.	NAA	2008	DBLP DOI BibTeX RDF	Cauchy problem, perfect operator, algebraic convolution, Appell polynomials, Algebraic operator
37	Joseph A. Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato	Distributed Cooperative Formal Methods Tools.	ASE	1997	DBLP DOI BibTeX RDF	distributed cooperative formal methods tools, distributed cooperative proving, proof editor, remote proof execution, distributed truth protocol, editor generator, algebraic semiotics, interface design, algebraic specification, algebraic specification
37	Feng Liu, Keqin Feng	Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions.	TAMC	2007	DBLP DOI BibTeX RDF	cryptography, algebraic immunity, symmetric boolean function
37	Simon Fischer 0002, Willi Meier	Algebraic Immunity of S-Boxes and Augmented Functions.	FSE	2007	DBLP DOI BibTeX RDF	Augmented Function, Stream Cipher, Algebraic Attack, S-box, Trivium, Filter Generator
37	Artur Boronat, Joaquín Oriente, Abel Gómez 0001, Isidro Ramos, José A. Carsí	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	OCL queries and invariants, MDA, metamodeling, algebraic specification
37	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
37	Mohamed Tajine, Christian Ronse	Hausdorff Discretizations of Algebraic Sets and Diophantine Sets.	DGCI	2000	DBLP DOI BibTeX RDF	Algebraic set, diophantine set, Hausdorff discretization, homogeneous metric
37	Shouqing Zhang, Ling Li 0006, Hock Soon Seah	Recursive algebraic curve fitting and rendering.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Vectorization, Recursive, Curve fitting, Algebraic curve
36	Andrew Chi-Chih Yao	Lower Bounds for Algebraic Computation Trees with Integer Inputs	FOCS	1989	DBLP DOI BibTeX RDF	integer inputs, topological lower bound, algebraic computation tree model, integral-constrained form, element distinctness, set disjointness, integer max gap, Milnor-Thom techniques, lower bounds, upper bounds, convex hull, Betti numbers, algebraic varieties, algebraic computation trees
36	Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara	Solution of algebraic riccati equations using the sum of roots.	ISSAC	2009	DBLP DOI BibTeX RDF	algebraic riccati equation, gröbner basis, polynomial spectral factorization, sum of roots, control theory
36	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
36	Erich L. Kaltofen, Pascal Koiran	Finding small degree factors of multivariate supersparse (lacunary) polynomials over algebraic number fields.	ISSAC	2006	DBLP DOI BibTeX RDF	Lang conjecture, lacunary polynomials, multivariate polynomials, polynomial-time complexity, polynomial factorization, sparse polynomials, height, algebraic numbers
36	Marc Moreno Maza, Renaud Rioboo	Polynomial Gcd Computations over Towers of Algebraic Extensions.	AAECC	1995	DBLP DOI BibTeX RDF	Polynomial gcd, zero dimensional systems, AXIOM, triangular sets, algebraic numbers, subresultants
36	Helmuth Partsch	Algebraic Specification: A Step Towards Future Software Engineering.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
35	Hui Min Wang, Chung-Len Lee 0001, Jwu E. Chen	Factorization of Multi-Valued Logic Functions.	ISMVL	1995	DBLP DOI BibTeX RDF	multi-valued logic function factorization, multi valued logic functions, rectangular covering problem, MVL algebraic factorization algorithm, MVL Boolean properties, purely algebraic factorization algorithm, multilevel implementation, Boolean method, MVL example functions, computational complexity, complexity, Boolean functions, multivalued logic
35	Klaus Denecke, Dara Phusanga	Hyperformulas and Solid Algebraic Systems.	Stud Logica	2008	DBLP DOI BibTeX RDF	AMS subject classification 03B50, 08A46, 08A30
35	A. Jamakovic, Piet Van Mieghem	On the Robustness of Complex Networks by Using the Algebraic Connectivity.	Networking	2008	DBLP DOI BibTeX RDF
35	Huibiao Zhu, Jifeng He 0001, Jonathan P. Bowen	Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.	SEW	2007	DBLP DOI BibTeX RDF
35	Jovan Dj. Golic	Vectorial Boolean functions and induced algebraic equations.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
35	Deepak Kumar Dalai, Kishan Chand Gupta, Subhamoy Maitra	Cryptographically Significant Boolean Functions: Construction and Analysis in Terms of Algebraic Immunity.	FSE	2005	DBLP DOI BibTeX RDF
35	Francois Anton	A Certified Delaunay Graph Conflict Locator for Semi-algebraic Sets.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
35	Wen Chen 0011, Meng Joo Er	Sliding mode observers for a class of uncertain differential-algebraic systems.	ICARCV	2004	DBLP DOI BibTeX RDF
35	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
35	Johannes Henkel, Christoph Reichenbach, Amer Diwan	Developing and debugging algebraic specifications for Java classes.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Algebraic interpretation, specification discovery, algebraic specifications
35	Nicolas T. Courtois, Blandine Debraize	Algebraic Description and Simultaneous Linear Approximations of Addition in Snow 2.0..	ICICS	2008	DBLP DOI BibTeX RDF	Snow 2.0, stream ciphers, algebraic immunity, algebraic cryptanalysis, Modular addition, multivariate quadratic equations
35	Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas	On the complexity of real solving bivariate systems.	ISSAC	2007	DBLP DOI BibTeX RDF	real algebraic number, realsolving, topology of real algebraic curve, maple, polynomial system
35	Claudia I. Horta, José A. Lima	Slicing and non-slicing, unified and rotation independent, algebraic representation of floorplans.	EUROMICRO	1997	DBLP DOI BibTeX RDF	floorplan area optimization problem, rectangle envelope, nonoverlapping basic rectangles, floorplan topology, formal algebraic specification, SETS notation, VLSI physical design layout, module dimensions, arbitrarily complex composite floorplans, rotation-invariant single-expression formalism, generalized wheels floorplans, slicing representation, nonslicing representation, unified representation, topology-dimensionless description, floorplanning problem algorithms, algebraic specification, line segments, relative positioning
35	Wendy MacCaull	Finite Algebraic Models for Residuated Logic.	ISMVL	1995	DBLP DOI BibTeX RDF	finite algebraic models, residuated logic, model pruning, nonclassical logics, combinatorial explosions, structure theorems, residuated algebras, theorem proving, inference mechanisms, search problems, multivalued logic, approximate reasoning, substructural logics, algebraic semantics, automated theorem prover
35	J. Rafael Sendra, Juana Sendra	An algebraic analysis of conchoids to algebraic curves.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF
35	Dima Grigoriev, Anatol Slissenko	Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane.	AAECC	1997	DBLP DOI BibTeX RDF
35	Vladimir P. Gerdt, N. V. Khutornoy, A. Yu. Zharkov	Solving Algebraic Systems which Arise as Necessary Integrability Conditions for Polynomial-Nonlinear Evolution Equations.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE, IBM PC
34	Sonia Pérez-Díaz, J. Rafael Sendra	Partial degree formulae for rational algebraic surfaces.	ISSAC	2005	DBLP DOI BibTeX RDF	partial degrees of an algebraic surface, rational map degree, rational surface parametrization, algebraic surface
34	Huahao Shou, Jie Shen 0009, David Yoon	Robust Plotting of Polar Algebraic Curves, Space Algebraic Curves, and Offsets of Planar Algebraic Curves.	Reliab. Comput.	2006	DBLP DOI BibTeX RDF
34	Richard J. Fateman	Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence.	ISSAC	1989	DBLP DOI BibTeX RDF
34	Ron Weiss, Andrzej Duda, David K. Gifford	Composition and Search with a Video Algebra.	IEEE Multim.	1995	DBLP DOI BibTeX RDF	algebraic video, video algebra, video indexing and searching, content-based retrieval, video databases
33	Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater	Practical Algebraic Attacks on the Hitag2 Stream Cipher.	ISC	2009	DBLP DOI BibTeX RDF	Hitag 2 algorithm, MiFare Crypto-1 cipher, Gröbner bases, Boolean functions, stream ciphers, RFID tags, SAT solvers, algebraic cryptanalysis
33	Guang Gong	Sequences, DFT and Resistance against Fast Algebraic Attacks.	SETA	2008	DBLP DOI BibTeX RDF	fast algebraic attack, bases, trace representations, stream ciphers, Discrete Fourier transform, polynomials, LFSR, m-sequences
33	Eric Berberich, Michael Sagraloff	A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	surface analysis, framework, topology, meshing, generic programming, geometry, algebraic surfaces, quadrics, space curves, lower envelopes
33	Sultan Al-Hinai, Lynn Margaret Batten, Bernard D. Colbert	Mutually Clock-Controlled Feedback Shift Registers Provide Resistance to Algebraic Attacks.	Inscrypt	2007	DBLP DOI BibTeX RDF	stream cipher, algebraic attacks, clock-control
33	Josep Maria Font	Beyond Rasiowa's Algebraic Approach to Non-classical Logics.	Stud Logica	2006	DBLP DOI BibTeX RDF	implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic
33	Shi Shu, Jinchao Xu, Ying Yang 0014, Haiyuan Yu	An algebraic multigrid method for finite element systems on criss-cross grids.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	algebraic multigrid method, criss-cross grids, finite element, convergence analysis
33	Saugata Basu, Richard Pollack, Marie-Françoise Roy	Computing the first Betti number and the connected components of semi-algebraic sets.	STOC	2005	DBLP DOI BibTeX RDF	single exponential algorithms, Betti numbers, homology groups, semi-algebraic sets
33	Jeremy Yermiyahou Kaminski, Amnon Shashua	Multiple View Geometry of General Algebraic Curves.	Int. J. Comput. Vis.	2004	DBLP DOI BibTeX RDF	Kruppa''s equations, 3D reconstruction, structure from motion, epipolar geometry, algebraic curves, multiple-view geometry
33	Joo Yeon Cho, Josef Pieprzyk	Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering.	FSE	2004	DBLP DOI BibTeX RDF	SOBER-t32, SOBER-t16, stream ciphers, linearization, Algebraic attack, NESSIE, modular addition, multivariate equations
33	Jung Hee Cheon, Dong Hoon Lee 0002	Resistance of S-Boxes against Algebraic Attacks.	FSE	2004	DBLP DOI BibTeX RDF	Differential Uniformity, Boolean Functions, Nonlinearity, Algebraic Attack, S-boxes
33	Dong Hoon Lee 0002, Jaeheon Kim, Jin Hong 0001, Jae Woo Han, Dukjae Moon	Algebraic Attacks on Summation Generators.	FSE	2004	DBLP DOI BibTeX RDF	summation generators, stream ciphers, algebraic attacks
33	Falai Chen, Xing Tang	G2 Blending of Corners with Piecewise Algebraic Surfaces.	PG	2003	DBLP DOI BibTeX RDF	Piecewise algebraic surface, blending, geometric continuity
33	Nicolas T. Courtois	Fast Algebraic Attacks on Stream Ciphers with Linear Feedback.	CRYPTO	2003	DBLP DOI BibTeX RDF	combiners with memory, LFSR synthesis, Toyocrypt, Cryptrec, LILI-128, E0, Boolean functions, stream ciphers, Bluetooth, nonlinear filters, Algebraic attacks, Berlekamp-Massey algorithm, Nessie, multivariate equations
33	John V. Tucker, Jeffery I. Zucker	Abstract computability and algebraic specification.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Abstract computability, conditional equations, metric algebras, topological algebras, algebraic specification, computable analysis, equational logic
33	Chandrajit L. Bajaj, Insung Ihm, Joe D. Warren	Higher-Order Interpolation and Least-Squares Approximation Using Implicit Algebraic Surfaces.	ACM Trans. Graph.	1993	DBLP DOI BibTeX RDF	constrained quadratic optimization, distributed geometric-design environment, computer-aided geometric design, geometric continuity, algebraic surface
33	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
32	Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap	Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves.	ISSAC	2008	DBLP DOI BibTeX RDF	complete numerical algorithm, evaluation bound, implicit algebraic curve, root bound, meshing, singularity, subdivision algorithm
32	Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost	Differential equations for algebraic functions.	ISSAC	2007	DBLP DOI BibTeX RDF	algebraic series, creative telescoping, differential resolvents, complexity, computer algebra
32	Miodrag J. Mihaljevic, Marc P. C. Fossorier, Hideki Imai	A General Formulation of Algebraic and Fast Correlation Attacks Based on Dedicated Sample Decimation.	AAECC	2006	DBLP DOI BibTeX RDF	overdefined systems of nonlinear equations, state transition matrix, cryptanalysis, stream ciphers, decoding, LFSRs, algebraic attacks, fast correlation attack, decimation, keystream generators
32	Patrícia D. L. Machado	On Oracles for Interpreting Test Results against Algebraic Specifications.	AMAST	1998	DBLP DOI BibTeX RDF	formal verification, correctness, algebraic specification, specification based-testing, oracle