Bruce W. Char - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2024

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical LogicBruce W. Char, Jeremy Johnson 0001, Steve Earth. sigcse 2024: 1931 [doi]

2023

The Purpose of ProofBruce W. Char, Peter-Michael Osera, David G. Wonnacott. sigcse 2023: 1256 [doi]

Proof Buddy: A Tool to Aid Students in Proof ConstructionSteve Earth, Jeremy R. Johnson, Bruce W. Char. sigcse 2023: 1259 [doi]

2022

Retention and Transfer of Mathematical Thinking in the CS CurriculumBruce W. Char, Steve Earth. sigcse 2022: 1183 [doi]

Modeling Player Knowledge in a Parallel Programming Educational GamePavan Kantharaju, Katelyn Alderfer, Jichen Zhu, Bruce W. Char, Brian K. Smith, Santiago Ontañón. tciaig, 14(1):64-75, 2022. [doi]

2020

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science CourseSteve Earth, Bruce W. Char, Jeremy R. Johnson. sigcse 2020: 1356 [doi]

2019

Use of Maple and Möbius in an Undergraduate Course on CryptographyBruce W. Char, Jeremy R. Johnson. mc2 2020: 230-244 [doi]

2015

Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only)Bruce W. Char, Jeffrey L. Popyack, Jeremy R. Johnson, William M. Mongan. sigcse 2015: 696 [doi]

2014

A first year common course on computational problem solving and programming (abstract only)Bruce W. Char, Thomas T. Hewett. sigcse 2014: 713 [doi]

2007

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional ApproximationBruce W. Char, Stephen M. Watt. icdar 2007: 1198-1202 [doi]

LinBox and future high performance computer algebraBruce W. Char, B. David Saunders, Bryan Youse. issac 2007: 102-103 [doi]

2004

Assessment of a course redesign: introductory computer programming using online modulesNira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski. sigcse 2004: 66-70 [doi]

2003

The DUPLEX projectChristopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski. iticse 2003: 259 [doi]

High-tech dishonesty: cheating, plagiarism and detectionChristopher D. Cera, Bruce W. Char, Nira Herrmann, Robert N. Lass, Aparna Nanjappa, Jeffrey L. Popyack, Paul Zoski. iticse 2003: 244 [doi]

Redesigning introductory computer programming using multi-level online modules for a mixed audienceNira Herrmann, Jeffrey L. Popyack, Bruce W. Char, Paul Zoski, Christopher D. Cera, Robert N. Lass, Aparna Nanjappa. sigcse 2003: 196-200 [doi]

Tools and techniques for large scale grading using Web-based commercial off-the-shelf softwareRobert N. Lass, Christopher D. Cera, Nathaniel T. Bomberger, Bruce W. Char, Jeffrey L. Popyack, Nira Herrmann, Paul Zoski. iticse 2003: 168-172 [doi]

Academic dishonesty in a high-tech environmentJeffrey L. Popyack, Nira Herrmann, Paul Zoski, Bruce W. Char, Christopher D. Cera, Robert N. Lass. sigcse 2003: 357-358 [doi]

1999

Symbolic Computation in Java: An AppraisementLaurent Bernardin, Bruce W. Char, Erich Kaltofen. issac 1999: 237-244 [doi]

Developing the Soliton Explorer: A problem solving environment for soliton surface investigationBruce W. Char, Anthony Harrison, Thomas T. Hewett, Ron Perline, Muksim Rakhimov. cca, 33(3):22-23, 1999. [doi]

1998

Software Components Using Symbolic Computation for Problem Solving EnvironmentsYagati N. Lakshman, Bruce W. Char, Jeremy R. Johnson. issac 1998: 46-53 [doi]

1997

Symbolic computation tools in scientific problem solving environmentsBruce W. Char, Thomas T. Hewett, Jeremy R. Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner. cca, 31(3):58, 1997. [doi]

1994

Automatic Identification of Time Scales in Enzyme Kinetics ModelsBruce W. Char, Mark F. Russo. issac 1994: 74-83 [doi]

Some Experiments with Parallel Bignum ArithmeticBruce W. Char, Jeremy Johnson 0001, David Saunders 0002, Andrew P. Wack. pasco 1994: 94-103

1992

Ordinary Differential Equation Models: Symbolic ManipulationBruce W. Char. In Derek P. Atherton, Pierre Borne, editors, Concise Encyclopedia of Modelling & Simulation. Volume 5 of Advances in systems control and information engineering, pages 317-319, Pergamon Press / Elsevier, 1992. [doi]

An Approach for Floating-Point Error Analysis Using Computer AlgebraMark P. W. Mutrie, Richard H. Bartels, Bruce W. Char. issac 1992: 284-293 [doi]

1991

Maple V - language reference manualBruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan. Springer, 1991.

Maple V - library reference manualBruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan. Springer, 1991.

1990

Progress Report on a System for General-Purpose Parallel Symbolic Algebraic ComputationBruce W. Char. issac 1990: 96-103 [doi]

Report on the 7th annual maple workshopBruce W. Char. cca, 24(1):18, 1990. [doi]

1989

Automatic Reasoning about Numerical Stability of Rational ExpressionsBruce W. Char. issac 1989: 234-241 [doi]

GCDHEU: Heuristic Polynomial GCD Algorithm Based On Integer GCD ComputationBruce W. Char, Keith O. Geddes, Gaston H. Gonnet. JSC, 7(1):31-48, 1989.

Discovering Inequality Conditions in the Analytic Solution of Optimization ProblemsBruce W. Char, Alan R. Macnaughton, Paul A. Strooper. JAR, 5(3):339-362, 1989.

1988

Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract)Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper. issac 1989: 109-115

1987

Practical aspects of symbolic integration over Q(x)David M. Gillies, Bruce W. Char. eurocal 1989: 463-464

Expression optimization using high-level knowledgeMark P. W. Mutrie, Bruce W. Char, Richard H. Bartels. eurocal 1989: 64-70

1986

Computer algebra in the undergraduate mathematics classroomBruce W. Char, Keith O. Geddes, Gaston H. Gonnet, B. J. Marshman, P. J. Ponzo. issac 1986: 135-140 [doi]

Computer algebra and logic programmingBruce W. Char. integration, 4(3):271-274, 1986. [doi]

A Tutorial Introduction to MapleBruce W. Char, Gregory J. Fee, Keith O. Geddes, Gaston H. Gonnet, Michael B. Monagan. JSC, 2(2):179-200, 1986.

1984

GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD ComputationBruce W. Char, Keith O. Geddes, Gaston H. Gonnet. eurosam 1984: 285-296

1983

The design of maple: A compact, portable and powerful computer algebra systemBruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet. eurocal 1983: 101-115

The maple symbolic computation systemBruce W. Char, Keith O. Geddes, Gaston H. Gonnet. cca, 17(3-4):31-42, 1983. [doi]

Solution of a general system of equationsGaston H. Gonnet, Bruce W. Char, Keith O. Geddes. cca, 17(3-4):48-49, 1983. [doi]

1981

Using Lie transformation groups to find closed form solutions to first order ordinary differential equationsBruce W. Char. issac 1981: 44-50 [doi]

Sign in or sign up to see more results.

runs on WebDSL