Search results for "mathematica"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Richard J. Fateman	A Review of Mathematica.	J. Symb. Comput.	1992	DBLP DOI BibTeX RDF
18	Stephan Kaufmann	Mathematica als Werkzeug - eine Einführung mit Anwendungsbeispielen.		1992	RDF
18	Nancy Blachman	Mathematica - quick reference: version 2.		1992	RDF
18	Theodore W. Gray, Jerry Glynn	The beginner's guide to Mathematica - version 2.		1992	RDF
18	James K. Finch, Millianne Lehmann	Exploring calculus with Mathematica.		1992	RDF
18	Arnold O. Allen	Computer Performance Analysis With Mathematica, Academic Press 1992.	Int. CMG Conference	1992	DBLP BibTeX RDF
18	Edmund M. Clarke, Xudong Zhao 0005	Analytica - A Theorem Prover in Mathematica.	CADE	1992	DBLP DOI BibTeX RDF
18	Richard E. Crandall	Mathematica for the sciences.		1991	RDF
18	Theodore W. Gray, Jerry Glynn	Exploring mathematics with Mathematica.		1991	RDF
18	Stephen Wolfram	Mathematica - a system for doing mathematics by computer, 2nd Edition.		1991	RDF
18	Roman E. Mäder	Programming in Mathematica, 2nd Edition.		1991	RDF
18	Ilan Vardi	Computational recreations in Mathematica.		1991	RDF
18	Bruno Buchberger	Gröbner Bases in Mathematica: Enthusiasm and Frustration.	Programming Environments for High-Level Scientific Problem Solving	1991	DBLP BibTeX RDF
18	Paul C. Abbott	Problem Solving Using Mathematica.	Programming Environments for High-Level Scientific Problem Solving	1991	DBLP BibTeX RDF
18	Richard J. Fateman	A lisp-language Mathematica-to-lisp translator.	SIGSAM Bull.	1990	DBLP DOI BibTeX RDF
18	Stephen Wolfram	Mathematica - the student book.		1990	RDF
18	Steven Skiena	Implementing discrete mathematics - combinatorics and graph theory with Mathematica.		1990	RDF
18	Paul O'Rorke	LT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica.	Mach. Learn.	1989	DBLP DOI BibTeX RDF
18	Stephen Wolfram	Mathematica - a system for doing mathematics by computer.		1988	RDF
18	Jordan Howard Sobel	Alternative notations for Principia Mathematica description theory: possible modifications.	Notre Dame J. Formal Log.	1976	DBLP DOI BibTeX RDF
18	Hugues Leblanc	That Principia mathematica, first edition, has a predicative interpretation after all.	J. Philos. Log.	1975	DBLP DOI BibTeX RDF
18	Jordan Howard Sobel	Principia Mathematica description theory: the classical and an alternative notation.	Notre Dame J. Formal Log.	1974	DBLP DOI BibTeX RDF
18	B. A. Bernstein	Remark on Nicod's Reduction of Principia Mathematica.	J. Symb. Log.	1937	DBLP DOI BibTeX RDF
12	Ioannis K. Argyros, Saïd Hilout	On the convergence of Newton-type methods under mild differentiability conditions.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65H10, 65J15, 49M15, 47H17, 65G99
12	Magdy A. El-Tawil	The Average Solution of a Stochastic Nonlinear Schrodinger Equation under Stochastic Complex Non-homogeneity and Complex Initial Conditions.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	Stochastic Nonlinear Schrodinger Equation, Eigenfunction Expansion, WHEP Technique, Wiener-Hermite Expansion, Perturbation
12	Abel João Padrão Gomes, José F. M. Morgado, Edgar S. Pereira	A BSP-based algorithm for dimensionally nonhomogeneous planar implicit curves with topological guarantees.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	numerical algorithms, binary space partitioning, Implicit curves, geometric computing
12	Nicholas P. Karampetakis, Efstathios N. Antoniou, Antonis-Ioannis G. Vardulakis, Stavros Vologiannidis	Symbolic Computations on Rings of Rational Functions and Applications in Control Engineering.	EUROCAST	2009	DBLP DOI BibTeX RDF
12	José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra	Algorithm for Testing the Leibniz Algebra Structure.	EUROCAST	2009	DBLP DOI BibTeX RDF
12	Maris Tõnso, Ülle Kotta	Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach.	EUROCAST	2009	DBLP DOI BibTeX RDF	input-output models, polynomial methods, state space realization, nonlinear control system, continuous-time system
12	Andrey V. Banshchikov	Parametric Analysis of Stability Conditions for a Satellite with Gyrodines.	CASC	2009	DBLP DOI BibTeX RDF
12	Valentin Irtegov, Tatyana Titorenko	On Invariant Manifolds of Dynamical Systems in Lie Algebras.	CASC	2009	DBLP DOI BibTeX RDF
12	Albert D. Rich, David J. Jeffrey	A Knowledge Repository for Indefinite Integration Based on Transformation Rules.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
12	Pascal Maroni, Zélia da Rocha	Connection coefficients between orthogonal polynomials and the canonical sequence: an approach based on symbolic computation.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 33C45, 33F10, 68W30, 42C05
12	A. Y. Vaninsky	Using Graphing Calculators for Teaching Advanced Calculus Courses.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF
12	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Removing useless variables in cost analysis of Java bytecode.	SAC	2008	DBLP DOI BibTeX RDF	cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode
12	Laura Kovács	Reasoning Algebraically About P-Solvable Loops.	TACAS	2008	DBLP DOI BibTeX RDF
12	Manju Agarwal, Kanwar Sen, Pooja Mohan	GERT Analysis of m-Consecutive-k-Out-of-n Systems.	IEEE Trans. Reliab.	2007	DBLP DOI BibTeX RDF
12	Brian K. Guenter	Efficient symbolic differentiation for graphics applications.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	symbolic differentiation
12	Hicham Bensaid, Ricardo Caferra, Nicolas Peltier	Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps.	WoLLIC	2007	DBLP DOI BibTeX RDF
12	Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok	Cache-Aware Timing Analysis of Streaming Applications.	ECRTS	2007	DBLP DOI BibTeX RDF
12	Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar	A symbolic methodology for the verification of analog and mixed signal designs.	DATE	2007	DBLP DOI BibTeX RDF
12	Antonio Sala 0001, Julio C. Ramirez, Bernardo Tormos, Manuel Yago	An Optimization Approach to Fuzzy Diagnosis: Oil Analysis Application.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
12	Elizabeth Goode, William DeLorbe	DNA Splicing Systems.	DNA	2007	DBLP DOI BibTeX RDF	splicing systems, limit languages, differential eqs, DNA
12	Andrés Iglesias 0001, Sinan Kapçak	Symbolic Computation of Petri Nets.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
12	Francisco Botana, Miguel A. Abánades, Jesús Escribano	Computing Locus Equations for Standard Dynamic Geometry Environments.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Interactive geometry, OpenMath, Automated deduction, Locus
12	Levente Kovács, Béla Paláncz	Glucose-Insulin Control of Type1 Diabetic Patients in H2/Hinfinity Space Via Computer Algebra.	AB	2007	DBLP DOI BibTeX RDF
12	Yongquan Wang, Xiaohong Zhang 0001, Zhiqing Shao	Boolean Filters and Prime Filters of Residual Lattices.	FSKD (1)	2007	DBLP DOI BibTeX RDF
12	Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov	Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations.	CASC	2007	DBLP DOI BibTeX RDF
12	Valentin Irtegov, Tatyana Titorenko	On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems.	CASC	2007	DBLP DOI BibTeX RDF
12	Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya	Studying the Stability of the Second Order Non-autonomous Hamiltonian System.	CASC	2007	DBLP DOI BibTeX RDF
12	Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii	Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases.	CASC	2007	DBLP DOI BibTeX RDF
12	Nikita Gogin, Aleksandr Mylläri	On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game.	CASC	2007	DBLP DOI BibTeX RDF
12	Cezary Kaliszyk, Freek Wiedijk	Certified Computer Algebra on Top of an Interactive Theorem Prover.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
12	Miguel A. Abánades, Jesús Escribano, Francisco Botana	First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.	Calculemus/MKM	2007	DBLP DOI BibTeX RDF
12	Ching-Chih Tsai, Meng-Bi Cheng, Shui-Chun Lin	Dynamic Modeling and Tracking Control of a Nonholonomic Wheeled Mobile Manipulator with Dual Arms.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	backstepping control, mobile robot, Lyapunov stability, nonholonomic system
12	Takashi Horiyama, Kazuo Iwama, Jun Kawahara	Finite-State Online Algorithms and Their Automated Competitive Analysis.	ISAAC	2006	DBLP DOI BibTeX RDF
12	Annie A. M. Cuyt, Stefan Becuwe	Towards Reliable Software for the Evaluation of a Class of Special Functions.	ICMS	2006	DBLP DOI BibTeX RDF
12	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	A Genetic Algorithm for Cocyclic Hadamard Matrices.	AAECC	2006	DBLP DOI BibTeX RDF
12	V. Filip, A. Neagu	A Symbolic Computational Method for Dynamic Simulation of Multibody Systems.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
12	António Pereira 0002, Rosália Rodrigues	A Symbolic Approach to Quantum Computation Simulation.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
12	Evgenija D. Popova	Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
12	E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova	Numerical Study of Stability Domains of Hamiltonian Equation Solutions.	CASC	2006	DBLP DOI BibTeX RDF
12	Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya	Numeric-Symbolic Computations in the Study of Central Configurations in the Planar Newtonian Four-Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
12	D. M. Diarova, N. I. Zemtsova	The Instability of the Rhombus-Like Central Configurations in Newton 9-Body Problem.	CASC	2006	DBLP DOI BibTeX RDF
12	Ünal Ufuktepe, Günnur Ufuktepe, Asli Deniz, Veli Dündar	e-Calculus at IZTECH.	Edutainment	2006	DBLP DOI BibTeX RDF
12	Narayanan Raghupathy, Dannie Durand	Individual Gene Cluster Statistics in Noisy Maps.	Comparative Genomics	2005	DBLP DOI BibTeX RDF
12	Nikolaos D. Liveris, Hai Zhou 0001, Prithviraj Banerjee	An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
12	Evgenija D. Popova	Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems.	LSSC	2005	DBLP DOI BibTeX RDF
12	Tarek S. Najdi, Chin-Rang Yang, Bruce E. Shapiro, G. Wesley Hatfield, Eric Mjolsness	Application of a Generalized MWC Model for the Mathematical Simulation of Metabolic Pathways Regulated by Allosteric Enzymes.	CSB	2005	DBLP DOI BibTeX RDF
12	Ali Shaikh Ali, Omer F. Rana, Ian J. Taylor	Web Services Composition for Distributed Data Mining.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
12	Damian Slota, Roman Witula	Three Brick Method of the Partial Fraction Decomposition of Some Type of Rational Expression.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
12	Ciro D'Apice, Giuliano Gargiulo, Rosanna Manzo	Pointwise and Uniform Power Series Convergence.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
12	Ünal Ufuktepe, Goksen Bacak	Applications of Graph Coloring.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
12	Mircea Dragan	Using Excel as a Front-End for MLF.	SYNASC	2005	DBLP DOI BibTeX RDF	Excel Application Object, Front-end
12	Diana Szentiványi, Simin Nadjm-Tehrani, John M. Noble	Optimal Choice of Checkpointing Interval for High Availability.	PRDC	2005	DBLP DOI BibTeX RDF
12	Alexander D. Bruno, Victor F. Edneral	Normal Forms and Integrability of ODE Systems.	CASC	2005	DBLP DOI BibTeX RDF
12	Serguey Zemskov	Approximate Solution of the Dirichlet Problem for Elliptic PDE and Its Error Estimate.	CASC	2005	DBLP DOI BibTeX RDF
12	Valentin Irtegov, Tatyana Titorenko	On Some Results of Investigation of Kirchhoff Equations in Case of a Rigid Body Motion in Fluid.	CASC	2005	DBLP DOI BibTeX RDF
12	Carlo Cattani, Evgenii A. Grebenikov, Alexander N. Prokopenya	Symbolic Calculations in Studying the Stability of Dynamically Symmetric Satellite Motion.	CASC	2005	DBLP DOI BibTeX RDF
12	Bruno Buchberger	A view on the future of symbolic computation.	ISSAC	2005	DBLP DOI BibTeX RDF
12	Siguna Müller	On the Computation of Square Roots in Finite Fields.	Des. Codes Cryptogr.	2004	DBLP DOI BibTeX RDF	complexity, finite fields, square roots, efficient computation
12	Alexander Gusev 0001, Nikolai A. Chekanov, V. A. Rostovtsev, Sergey I. Vinitsky, Yoshio Uwano	A Comparison of Algorithms for the Normalization and Quantization of Polynomial Hamiltonians.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
12	Danny van Noort, John S. McCaskill	Flows in micro fluidic networks: From theory to experiment.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	DNA selection, microtechnolgy, DNA computing, microfluidics, flow simulations
12	Garret Sobczyk, Gordon Erlebacher	Hybrid Matrix Geometric Algebra.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF
12	Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu	Proving and Constraint Solving in Computational Origami.	AISC	2004	DBLP DOI BibTeX RDF
12	Michael Yang, Richard J. Fateman	Extracting mathematical expressions from postscript documents.	ISSAC	2004	DBLP DOI BibTeX RDF	postscript documents, digital library, optical character recognition, document image analysis, mathematics
12	Elena S. Smirnova, Clare M. So, Stephen M. Watt	An Architecture for Distributed Mathematical Web Services.	MKM	2004	DBLP DOI BibTeX RDF
12	Thomas Ellman, Ryan Deak, Jason Fotinatos	Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	specification, program, synthesis, numerical
12	Johan G. F. Belinfante	Reasoning about Iteration in Gödel's Class Theory.	CADE	2003	DBLP DOI BibTeX RDF
12	Iraklis Paraskakis	Rethinking the Teaching of Differential Equations through the Constructivism Paradigm.	ICALT	2003	DBLP DOI BibTeX RDF
12	Giovannina Albano, Bernardo D'Auria, Saverio Salerno	A webMathematica Application for Mathematics Learning.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Francisco Botana	Automatic Determination of Algebraic Surfaces as Loci of Points.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Armando G. M. Neves	Symbolic Computation of High-Order Exact Picard Iterates for Systems of Linear Differential Equations with Time-Periodic Coefficients.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Ünal Ufuktepe	An Application with webMathematica.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Francisco Botana	A Web-Based Intelligent System for Geometric Discovery.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
12	Peter R. Cappello, Ömer Egecioglu	Automatic Processor Lower Bound Formulas for Array Computations.	ISPAN	2002	DBLP DOI BibTeX RDF	Array computation, Diophantine system, lower bound
12	Michael Beeson, Freek Wiedijk	The Meaning of Infinity in Calculus and Computer Algebra Systems.	AISC	2002	DBLP DOI BibTeX RDF
12	Raúl Rojas 0001, Lars Knipping, Ulrich Raffel, Gerald Friedland	Elektronische Kreide: Eine Java-Multimedia-Tafel fuer den Präsenz- und Fernunterricht.	Inform. Forsch. Entwickl.	2001	DBLP DOI BibTeX RDF	Präsenzunterricht, Fernunterricht, rechnerunterstützte Lehre, Handschrifterkennung, Java, Internet, World Wide Web, Multimedia, Streaming, Synchronisation, Whiteboard
12	Kanji Hirabayashi	An Algebraic Approach to Formal Verification of Microprocessors.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	formal verification, microprocessor
12	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	An Algorithm for Computing Cocyclic Matrices Developed over Some Semidirect Products.	AAECC	2001	DBLP DOI BibTeX RDF